{"id":95846,"date":"2020-10-04T01:42:23","date_gmt":"2020-10-03T23:42:23","guid":{"rendered":"https:\/\/prohoster.info\/blog\/administrirovanie\/mozhno-li-generirovat-sluchajnye-chisla-esli-my-ne-doveryaem-drug-drugu-chast-2"},"modified":"2020-10-04T01:42:23","modified_gmt":"2020-10-03T23:42:23","slug":"mozhno-li-generirovat-sluchajnye-chisla-esli-my-ne-doveryaem-drug-drugu-chast-2","status":"publish","type":"post","link":"https:\/\/prohoster.info\/pl\/blog\/administrirovanie\/mozhno-li-generirovat-sluchajnye-chisla-esli-my-ne-doveryaem-drug-drugu-chast-2","title":{"rendered":"Czy mo\u017cna generowa\u0107 liczby przypadkowe, je\u015bli sobie nie ufamy? Cz\u0119\u015b\u0107 2","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p><img decoding=\"async\" alt=\"Czy mo\u017cna generowa\u0107 liczby przypadkowe, je\u015bli sobie nie ufamy? Cz\u0119\u015b\u0107 2\" src=\"\/wp-content\/uploads\/2020\/10\/fc42fe5e99ce4412a0ce99eb63629a42.png\" style=\"display:block;margin: 0 auto;\" \/><\/p>\n<p>Cze\u015b\u0107, Habr!<\/p>\n<p>W <noindex><a rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/company\/near\/blog\/521090\/\">pierwszej cz\u0119\u015bci<\/a><\/noindex> W artykule om\u00f3wili\u015bmy, dlaczego generowanie liczb losowych mo\u017ce by\u0107 konieczne dla uczestnik\u00f3w, kt\u00f3rzy sobie nie ufaj\u0105, jakie wymagania s\u0105 stawiane takim generatorom losowym oraz rozwa\u017cyli\u015bmy dwa podej\u015bcia do ich implementacji.<\/p>\n<p>W tej cz\u0119\u015bci artyku\u0142u szczeg\u00f3\u0142owo przyjrzymy si\u0119 jeszcze jednemu podej\u015bciu, kt\u00f3re wykorzystuje podpisy progu.<\/p>\n<h3>Troch\u0119 kryptografii<\/h3>\n<p>Aby zrozumie\u0107, jak dzia\u0142aj\u0105 podpisy progu, trzeba zna\u0107 troch\u0119 podstawowej kryptografii. B\u0119dziemy u\u017cywa\u0107 dw\u00f3ch koncepcji: skalar\u00f3w, czyli po prostu liczb, kt\u00f3re b\u0119dziemy oznacza\u0107 ma\u0142ymi literami (<em>x, y<\/em>) oraz punkt\u00f3w na krzywej eliptycznej, kt\u00f3re b\u0119dziemy oznacza\u0107 wielkimi literami.<\/p>\n<p>Do zrozumienia podstaw podpis\u00f3w progowych nie trzeba zna\u0107, jak dzia\u0142aj\u0105 krzywe eliptyczne, poza kilkoma podstawowymi rzeczami:<\/p>\n<ol>\n<li>\n<p>Punkty na krzywej eliptycznej mo\u017cna dodawa\u0107 i mno\u017cy\u0107 przez skalar (mno\u017cenie przez skalar b\u0119dziemy oznacza\u0107 jako <em>xG<\/em>, chocia\u017c notacja <em>Gx<\/em> cz\u0119sto u\u017cywany w literaturze). Wynik dodawania i mno\u017cenia przez skalar \u2014 to punkt na krzywej eliptycznej.<\/p>\n<\/li>\n<li>\n<p>Znaj\u0105c tylko punkt <em>G<\/em> i jego iloczyn ze skalarem <em>xG<\/em> nie mo\u017cna obliczy\u0107 <em>x<\/em>.<\/p>\n<\/li>\n<\/ol>\n<p>B\u0119dziemy r\u00f3wnie\u017c korzysta\u0107 z koncepcji wielomianu <em>p(x)<\/em> o stopniu <em>k<\/em>-1. W szczeg\u00f3lno\u015bci b\u0119dziemy u\u017cywa\u0107 nast\u0119puj\u0105cej w\u0142a\u015bciwo\u015bci wielomian\u00f3w: je\u015bli znamy warto\u015b\u0107 <em>p(x) <\/em>dla dowolnych <em>k <\/em>r\u00f3\u017cnych <em>x <\/em>(i nie mamy wi\u0119cej \u017cadnych informacji o <em>p(x)<\/em>), mo\u017cemy obliczy\u0107 <em>p(x) <\/em>dla dowolnego innego <em>x<\/em>.<\/p>\n<p>Ciekawe, \u017ce dla dowolnego wielomianu <em>p(x)<\/em> i pewnego punktu na krzywej <em>G<\/em>, znaj\u0105c warto\u015b\u0107 <em>p(x)G<\/em> dla dowolnych <em>k<\/em> r\u00f3\u017cnych warto\u015bci <em>x<\/em>, mo\u017cna tak\u017ce obliczy\u0107 <em>p(x)G<\/em> dla dowolnego <em>x<\/em>.<\/p>\n<p>Te informacje wystarcz\u0105, aby zag\u0142\u0119bi\u0107 si\u0119 w szczeg\u00f3\u0142y dzia\u0142ania podpis\u00f3w progowych i ich wykorzystania do generowania liczb losowych.<\/p>\n<h3>Generator liczb losowych oparty na podpisach progowych<\/h3>\n<p>Za\u0142\u00f3\u017cmy, \u017ce <em>n<\/em> uczestnicy chc\u0105 wygenerowa\u0107 liczb\u0119 losow\u0105, a my chcemy, aby udzia\u0142 dowolnych <em>k<\/em> z nich by\u0142 wystarczaj\u0105cy do wygenerowania liczby, ale aby intruzi, kt\u00f3rzy kontroluj\u0105 <em>k<\/em>-1 lub mniej uczestnik\u00f3w, nie mogli przewidzie\u0107 ani wp\u0142yn\u0105\u0107 na wygenerowan\u0105 liczb\u0119.<\/p>\n<p><img decoding=\"async\" alt=\"Czy mo\u017cna generowa\u0107 liczby przypadkowe, je\u015bli sobie nie ufamy? Cz\u0119\u015b\u0107 2\" src=\"\/wp-content\/uploads\/2020\/10\/00d54b3b0ca237a1551cdbdc35688099.png\" style=\"display:block;margin: 0 auto;\" \/><\/p>\n<p>Za\u0142\u00f3\u017cmy, \u017ce istnieje taki wielomian <em>p(x)<\/em> o stopniu <em>k<\/em>-1, \u017ce pierwszy uczestnik zna <em>p(1)<\/em>, drugi zna <em>p(2), <\/em>i tak dalej (<em>n<\/em>-ty zna <em>p(n)<\/em>). Za\u0142\u00f3\u017cmy r\u00f3wnie\u017c, \u017ce dla pewnego wcze\u015bniej okre\u015blonego punktu <em>G<\/em> wszyscy znaj\u0105 <em>p(x)G <\/em>dla wszystkich warto\u015bci <em>x<\/em>. B\u0119dziemy nazywa\u0107 <em>p(i)<\/em> \u201eprywatnym komponentem\u201d <em>i<\/em>-go uczestnika (bo tylko <em>i<\/em>-y uczestnik zna go), i <em>p(i)G<\/em> \u201epublicznym komponentem\u201d <em>i<\/em>-go uczestnika (bo wszyscy uczestnicy go znaj\u0105). Jak pami\u0119tacie, wiedza <em>p(i)G <\/em>nie wystarcza do odtworzenia <em>p(i).<\/em><\/p>\n<p>Stworzenie takiego wielomianu w taki spos\u00f3b, aby tylko <em>i-<\/em>-y uczestnik zna\u0142 swoj\u0105 prywatn\u0105 komponent\u0119 \u2013 to najtrudniejsza i najciekawsza cz\u0119\u015b\u0107 protoko\u0142u, i om\u00f3wimy to poni\u017cej. Na razie przyjmijmy, \u017ce taki wielomian istnieje, a wszyscy uczestnicy znaj\u0105 swoje prywatne komponenty.<\/p>\n<p>Jak mo\u017cemy wykorzysta\u0107 taki wielomian do wygenerowania liczby losowej? Na pocz\u0105tek potrzebujemy jakiego\u015b ci\u0105gu, kt\u00f3ry wcze\u015bniej nie by\u0142 u\u017cywany jako wej\u015bcie dla generatora. W przypadku blockchaina hash ostatniego bloku <em>h<\/em> \u2014 dobry kandydat na taki ci\u0105g. Niech uczestnicy chc\u0105 stworzy\u0107 losow\u0105 liczb\u0119, u\u017cywaj\u0105c <em>h <\/em>jako nasion. Najpierw uczestnicy konwertuj\u0105 <em>h<\/em> na punkt na krzywej, korzystaj\u0105c z dowolnej z g\u00f3ry okre\u015blonej funkcji:<\/p>\n<p><em>H = scalarToPoint(h)<\/em><\/p>\n<p>Nast\u0119pnie ka\u017cdy uczestnik <em>i<\/em> oblicza i publikuje <em>Hi = p(i)H, <\/em>co mog\u0105 zrobi\u0107, poniewa\u017c znaj\u0105<em> p(i) i H. <\/em>Ujawnienie<em> H<\/em>i nie pozwala innym uczestnikom odtworzy\u0107 prywatnej komponenty <em>i<\/em>-go uczestnika, i dlatego jeden zestaw prywatnych komponent\u00f3w mo\u017cna u\u017cywa\u0107 od bloku do bloku. W ten spos\u00f3b drogi algorytm tworzenia wielomianu, opisany poni\u017cej, nale\u017cy wykona\u0107 tylko raz.<\/p>\n<p>Kiedy <em>k<\/em> uczestnicy ujawnili <em>Hi = p(i)H, <\/em>wszyscy mog\u0105 obliczy\u0107<em> H<\/em>x = <em>p(x)H<\/em> dla wszystkich <em>x<\/em> dzi\u0119ki w\u0142a\u015bciwo\u015bciom wielomian\u00f3w, kt\u00f3re om\u00f3wili\u015bmy w poprzedniej sekcji. W tym momencie wszyscy uczestnicy obliczaj\u0105 <em>H0 = p(0)H, <\/em>i to jest wynikowa liczba losowa. Zauwa\u017c, \u017ce nikt nie zna<em> p(0), <\/em>a zatem jedynym sposobem na obliczenie<em> p(0)H \u2013 <\/em>jest interpolacja<em> p(x)H, <\/em>co jest mo\u017cliwe tylko wtedy, gdy<em> k <\/em>warto\u015bci<em> p(i)H <\/em>s\u0105 znane. Ujawnienie jakiejkolwiek mniejszej liczby<em> p(i)H <\/em>nie daje \u017cadnych informacji o<em> p(0)H.<\/em><\/p>\n<p><img decoding=\"async\" alt=\"Czy mo\u017cna generowa\u0107 liczby przypadkowe, je\u015bli sobie nie ufamy? Cz\u0119\u015b\u0107 2\" src=\"\/wp-content\/uploads\/2020\/10\/a91219381018f90f73b0a92976c92c79.png\" style=\"display:block;margin: 0 auto;\" \/><\/p>\n<p>Generator powy\u017cej ma wszystkie w\u0142a\u015bciwo\u015bci, kt\u00f3rych chcemy: napastnicy, kontroluj\u0105cy tylko <em>k-<\/em>1 uczestnik\u00f3w, lub mniej, nie maj\u0105 \u017cadnych informacji ani wp\u0142ywu na wynik, podczas gdy jakiekolwiek <em>k<\/em> uczestnik\u00f3w mog\u0105 obliczy\u0107 wynikow\u0105 liczb\u0119, a dowolny podzbi\u00f3r z <em>k<\/em> uczestnik\u00f3w zawsze dojdzie do tego samego wyniku dla tego samego nasiona.<\/p>\n<p>Jest jeden problem, kt\u00f3ry subtelnie pomin\u0119li\u015bmy powy\u017cej. Aby interpolacja dzia\u0142a\u0142a, wa\u017cne jest, aby warto\u015b\u0107<em> H<\/em>i opublikowana przez ka\u017cdego uczestnika <em>i<\/em> rzeczywi\u015bcie by\u0142a r\u00f3wna <em>p(i)H.<\/em> Poniewa\u017c nikt opr\u00f3cz <em>i<\/em>-go uczestnika nie wie <em>p(i), <\/em>nikt opr\u00f3cz <em>i-<\/em>-go uczestnika nie mo\u017ce zweryfikowa\u0107, \u017ce <em>Cze\u015b\u0107 <\/em>rzeczywi\u015bcie zosta\u0142o policzone poprawnie, a bez jakiego\u015b kryptograficznego dowodu poprawno\u015bci<em> H<\/em>i haker mo\u017ce opublikowa\u0107 dowoln\u0105 warto\u015b\u0107 jako <em>Cze\u015b\u0107, <\/em>i dowolnie wp\u0142ywa\u0107 na wynik generatora liczb losowych<em>:<\/em><\/p>\n<p><img decoding=\"async\" alt=\"Czy mo\u017cna generowa\u0107 liczby przypadkowe, je\u015bli sobie nie ufamy? Cz\u0119\u015b\u0107 2\" src=\"\/wp-content\/uploads\/2020\/10\/694a86666806c49edb6e44dd9ec26b0f.png\" style=\"display:block;margin: 0 auto;\" \/>R\u00f3\u017cne warto\u015bci H_1 przesy\u0142ane przez pierwszego uczestnika prowadz\u0105 do r\u00f3\u017cnych wynikowych H_0<\/p>\n<p>Istniej\u0105 co najmniej dwa sposoby udowodnienia poprawno\u015bci<em> H<\/em>i, om\u00f3wimy je po om\u00f3wieniu generacji wielomianu.<\/p>\n<h3>Generacja wielomianu<\/h3>\n<p>W poprzedniej sekcji przyj\u0119li\u015bmy, \u017ce mamy taki wielomian <em>p(x)<\/em> o stopniu <em>k<\/em>-1, \u017ce uczestnik <em>i<\/em> wie <em>p(i)<\/em>, a nikt inny nie ma \u017cadnej informacji o tej warto\u015bci. W nast\u0119pnej sekcji b\u0119dziemy r\u00f3wnie\u017c musieli, aby dla pewnego z g\u00f3ry ustalonego punktu <em>G<\/em> wszyscy wiedzieli <em>p(x)G <\/em>dla wszystkich<em> x<\/em>.<\/p>\n<p>W tej sekcji b\u0119dziemy zak\u0142ada\u0107, \u017ce ka\u017cdy uczestnik ma lokalnie pewien prywatny klucz <em>xi, <\/em>taki, \u017ce wszystkim znany jest odpowiadaj\u0105cy mu klucz publiczny<em> X<\/em>i.<\/p>\n<p>Jeden z mo\u017cliwych protoko\u0142\u00f3w generowania wielomianu jest nast\u0119puj\u0105cy:<\/p>\n<p><img decoding=\"async\" alt=\"Czy mo\u017cna generowa\u0107 liczby przypadkowe, je\u015bli sobie nie ufamy? Cz\u0119\u015b\u0107 2\" src=\"\/wp-content\/uploads\/2020\/10\/ccd8afbc3c88a7f5a03714aeb6593361.png\" style=\"display:block;margin: 0 auto;\" \/><\/p>\n<ol>\n<li>\n<p>Ka\u017cdy uczestnik <em>i<\/em> lokalnie tworzy losowy wielomian <em>pi(x) stopnia k-1. <\/em>Nast\u0119pnie wysy\u0142aj\u0105 ka\u017cdemu uczestnikowi<em> j <\/em>warto\u015b\u0107<em> p<\/em>i(j), zaszyfrowane kluczem publicznym <em>Xj. <\/em>W ten spos\u00f3b tylko<em> i-<\/em>y<em> <\/em>i<em> j-<\/em>y<em> <\/em>uczestnik wie<em> p<\/em>i(j). Uczestnik <em>i<\/em> r\u00f3wnie\u017c publicznie og\u0142asza <em>pi(j)G <\/em>dla wszystkich<em> j <\/em>od<em> 1 <\/em>do<em> k <\/em>\u0142\u0105cznie.<\/p>\n<\/li>\n<li>\n<p>Wszyscy uczestnicy korzystaj\u0105 z pewnego konsensusu, aby wybra\u0107<em> k <\/em>uczestnik\u00f3w, kt\u00f3rych wielomiany b\u0119d\u0105 u\u017cywane. Poniewa\u017c niekt\u00f3rzy uczestnicy mog\u0105 by\u0107 offline, nie mo\u017cemy czeka\u0107, a\u017c wszyscy<em> n <\/em>uczestnicy opublikuj\u0105 wielomiany. Wynikiem tego kroku jest zbi\u00f3r<em> <\/em><strong><em>Z<\/em><\/strong><em> <\/em>sk\u0142adaj\u0105cy si\u0119 z co najmniej<em> k <\/em>wielomian\u00f3w utworzonych w kroku (1)<em>.<\/em><\/p>\n<\/li>\n<li>\n<p>Uczestnicy upewniaj\u0105 si\u0119, \u017ce znane im warto\u015bci<em> p<\/em>i(j) odpowiadaj\u0105 publicznie og\u0142oszonym <em>pi(j)G. <\/em>Po tym kroku w<em> <\/em><strong><em>Z <\/em><\/strong>powinny pozosta\u0107 tylko wielomiany, dla kt\u00f3rych prywatnie przekazane<em> p<\/em>i(j) odpowiadaj\u0105 publicznie og\u0142oszonym <em>pi(j)G.<\/em><\/p>\n<\/li>\n<li>\n<p>Ka\u017cdy uczestnik<em> j <\/em>oblicza swoj\u0105 prywatn\u0105 komponent\u0119<em> p(j) <\/em>jako sum\u0119<em> p<\/em>i(j) dla wszystkich <em>i<\/em> do <strong><em>Z<\/em><\/strong>. Ka\u017cdy uczestnik tak\u017ce oblicza wszystkie warto\u015bci <em>p(x)G <\/em>jako sum\u0119 <em>pi(x)G dla wszystkich i <\/em>do<em> <\/em><strong><em>Z<\/em><\/strong><em>.<\/em><\/p>\n<\/li>\n<\/ol>\n<p><img decoding=\"async\" alt=\"Czy mo\u017cna generowa\u0107 liczby przypadkowe, je\u015bli sobie nie ufamy? Cz\u0119\u015b\u0107 2\" src=\"\/wp-content\/uploads\/2020\/10\/a7a92dba3b9de7a376c415fc6c330c46.png\" style=\"display:block;margin: 0 auto;\" \/><\/p>\n<p>Zauwa\u017c, \u017ce<em> p(x) \u2013 <\/em>to rzeczywi\u015bcie wielomian stopnia<em> k-1, <\/em>poniewa\u017c jest to suma poszczeg\u00f3lnych<em> p<\/em>i(x), z kt\u00f3rych ka\u017cda jest wielomianem stopnia <em>k<\/em>-1. Nast\u0119pnie zwr\u00f3\u0107 uwag\u0119, \u017ce chocia\u017c ka\u017cdy uczestnik <em>j<\/em> wie <em>p(j), <\/em>nie maj\u0105 \u017cadnych informacji o <em>p(x)<\/em> do <em>x \u2260 j<\/em>. Rzeczywi\u015bcie, aby obliczy\u0107 t\u0119 warto\u015b\u0107, musz\u0105 zna\u0107 wszystkie <em>pi(x), <\/em>i dop\u00f3ki uczestnik<em> j <\/em>nie zna przynajmniej jednego z wybranych wielomian\u00f3w, nie maj\u0105 wystarczaj\u0105cych informacji o<em> p(x).<\/em><\/p>\n<p>To ca\u0142y proces generowania wielomianu, kt\u00f3ry by\u0142 niezb\u0119dny w poprzedniej sekcji. Kroki 1, 2 i 4 powy\u017cej maj\u0105 do\u015b\u0107 oczywist\u0105 realizacj\u0119. Natomiast krok 3 nie jest taki trywialny.<\/p>\n<p>Konkretnie, musimy by\u0107 w stanie udowodni\u0107, \u017ce zaszyfrowane<em> p<\/em>i(j) rzeczywi\u015bcie odpowiadaj\u0105 opublikowanym <em>pi(j)G. <\/em>Je\u015bli nie mo\u017cemy tego udowodni\u0107, napastnik<em> i <\/em>mo\u017ce wys\u0142a\u0107 \u015bmieci zamiast<em> p<\/em>i(j) uczestnikowi <em>j<\/em>, a uczestnik <em>j <\/em>nie b\u0119dzie w stanie uzyska\u0107 rzeczywistej warto\u015bci <em>pi(j), <\/em>i nie b\u0119dzie m\u00f3g\u0142 obliczy\u0107 swojego prywatnego komponentu<em>.<\/em><\/p>\n<p>Istnieje protok\u00f3\u0142 kryptograficzny, kt\u00f3ry pozwala na stworzenie dodatkowej wiadomo\u015bci<em> proof<\/em>i(j), tak \u017ce ka\u017cdy uczestnik, maj\u0105c pewn\u0105 warto\u015b\u0107 <em>e, <\/em>a tak\u017ce<em> proofi(j) <\/em>i<em> p<\/em>i(j)G, mo\u017ce lokalnie upewni\u0107 si\u0119, \u017ce <em>e<\/em> \u2013 to rzeczywi\u015bcie <em>pi(j), <\/em>zaszyfrowany kluczem uczestnika<em> j. <\/em>Niestety, rozmiar takiego dowodu jest niesamowicie du\u017cy i bior\u0105c pod uwag\u0119, \u017ce trzeba opublikowa\u0107<em> O(nk) <\/em>takich dowod\u00f3w, nie da si\u0119 ich wykorzysta\u0107 do tego celu.<\/p>\n<p>Zamiast udowadnia\u0107, \u017ce <em>pi(j) <\/em>-the node, and the other \u2014<em> p<\/em>i(j)G mo\u017cemy w protokole generowania wielomianu po\u015bwi\u0119ci\u0107 bardzo d\u0142ugi czas, podczas kt\u00f3rego wszyscy uczestnicy sprawdzaj\u0105 otrzymane zaszyfrowane <em>pi(j), <\/em>i je\u015bli odszyfrowana wiadomo\u015b\u0107 nie odpowiada publicznemu<em> p<\/em>i(j)G, publikuj\u0105 kryptograficzny dow\u00f3d tego, \u017ce otrzymana przez nich zaszyfrowana wiadomo\u015b\u0107 jest nieprawid\u0142owa. Udowodnienie, \u017ce wiadomo\u015b\u0107 <em>nie <\/em>-the node, and the other \u2014 <em>pi(G)<\/em> jest znacznie prostsze ni\u017c udowodnienie, \u017ce odpowiada. Nale\u017cy zauwa\u017cy\u0107, \u017ce to wymaga, aby ka\u017cdy uczestnik pojawi\u0142 si\u0119 w sieci przynajmniej raz w czasie przeznaczonym na tworzenie takich dowod\u00f3w i polega na za\u0142o\u017ceniu, \u017ce je\u015bli opublikowali taki dow\u00f3d, dotrze on do wszystkich pozosta\u0142ych uczestnik\u00f3w w tym samym czasie.<\/p>\n<p><img decoding=\"async\" alt=\"Czy mo\u017cna generowa\u0107 liczby przypadkowe, je\u015bli sobie nie ufamy? Cz\u0119\u015b\u0107 2\" src=\"\/wp-content\/uploads\/2020\/10\/f7d92f18c75aa6161a9e3f1724b57426.png\" style=\"display:block;margin: 0 auto;\" \/><\/p>\n<p>Je\u015bli uczestnik nie pojawi si\u0119 w sieci w tym czasie, a na pewno mia\u0142 przynajmniej jeden nieprawid\u0142owy komponent, to ten konkretny uczestnik nie b\u0119dzie m\u00f3g\u0142 uczestniczy\u0107 w dalszej generacji liczb. Protok\u00f3\u0142 jednak nadal b\u0119dzie dzia\u0142a\u0107, je\u015bli przynajmniej <em>k<\/em> uczestnik\u00f3w, kt\u00f3rzy albo w\u0142a\u015bnie otrzymali poprawne komponenty, albo zd\u0105\u017cyli pozostawi\u0107 dowody niepoprawno\u015bci w wyznaczonym czasie.<\/p>\n<h3>Dowody poprawno\u015bci H_i<\/h3>\n<p>Ostatnia cz\u0119\u015b\u0107, kt\u00f3r\u0105 trzeba om\u00f3wi\u0107, to jak udowodni\u0107 poprawno\u015b\u0107 opublikowanych<em> H<\/em>i, a mianowicie \u017ce <em>Hi = p(i)H, <\/em>bez ujawniania<em> p(i).<\/em><\/p>\n<p>Przypomnijmy, \u017ce warto\u015bci<em> H, G, p(i)G <\/em>s\u0105 publiczne i znane wszystkim.<em> <\/em>Operacja otrzymywania<em> p(i) <\/em>znaj\u0105c<em> p(i)G <\/em>i<em> G <\/em>nazywana jest dyskretnym logarytmem, lub<em> dlog, <\/em>i chcemy udowodni\u0107, \u017ce:<\/p>\n<p><em>dlog(p(i)G, G) = dlog(H<\/em>i, <em>H<\/em>)<\/p>\n<p>bez ujawniania <em>p(i)<\/em>. Konstrukcje dla takich dowod\u00f3w istniej\u0105, na przyk\u0142ad<noindex><a rel=\"nofollow\" href=\"https:\/\/en.wikipedia.org\/wiki\/Proof_of_knowledge#Schnorr_protocol\"> <u>Schnorr Protocol<\/u><\/a><\/noindex>.<\/p>\n<p>Z tak\u0105 konstrukcj\u0105 ka\u017cdy uczestnik wsp\u00f3lnie z <em>Cze\u015b\u0107 <\/em>wysy\u0142a dow\u00f3d poprawno\u015bci zgodnie z konstrukcj\u0105.<\/p>\n<p>Kiedy losowa liczba jest generowana, cz\u0119sto musi by\u0107 u\u017cywana przez uczestnik\u00f3w innych ni\u017c ci, kt\u00f3rzy j\u0105 wygenerowali. Takim uczestnikom wraz z liczb\u0105 nale\u017cy wys\u0142a\u0107 wszystkie <em>Cze\u015b\u0107<\/em> i towarzysz\u0105ce dowody.<\/p>\n<p>Dociekliwy czytelnik mo\u017ce zapyta\u0107: dlaczego ko\u0144cowa losowa liczba to<em> H<\/em>0, a <em>p(0)G \u2013 <\/em>to publiczna informacja, dlaczego potrzebny jest dow\u00f3d dla ka\u017cdego pojedynczego<em> H<\/em>i, dlaczego zamiast tego nie wys\u0142a\u0107 dowodu, \u017ce<\/p>\n<p>dlog(<em>p(0)G, G) = dlog(H<\/em>0, <em>H<\/em>)<\/p>\n<p>Problem polega na tym, \u017ce za pomoc\u0105 Schnorr Protocol nie mo\u017cna stworzy\u0107 takiego dowodu, poniewa\u017c nikt nie zna warto\u015bci <em>p(0)<\/em>, niezb\u0119dnej do stworzenia dowodu, a co wi\u0119cej, ca\u0142y generator losowych liczb oparty jest na tym, \u017ce nikt nie zna tej warto\u015bci. Dlatego nale\u017cy mie\u0107 wszystkie warto\u015bci <em>Cze\u015b\u0107 <\/em>i ich indywidualne dowody, aby udowodni\u0107 poprawno\u015b\u0107.<em> H<\/em>0.<\/p>\n<p>Jednak, gdyby na punktach na krzywych eliptycznych istnia\u0142a jaka\u015b operacja, kt\u00f3ra semantycznie przypomina\u0142aby mno\u017cenie, dow\u00f3d poprawno\u015bci <em>H0 <\/em>by\u0142by trywialny, po prostu upewniliby\u015bmy si\u0119, \u017ce<\/p>\n<p><em>H<\/em>0 \u00d7 <em>G<\/em> = <em>p(0)G \u00d7 H<\/em><\/p>\n<p>Je\u015bli wybrana krzywa wspiera <noindex><a rel=\"nofollow\" href=\"https:\/\/medium.com\/@VitalikButerin\/exploring-elliptic-curve-pairings-c73c1864e627\"><u>elleptic curve pairings<\/u><\/a><\/noindex>, taki dow\u00f3d dzia\u0142a. W takim przypadku<em> H<\/em>0 \u2013 to nie tylko wynik generatora losowych liczb, kt\u00f3ry mo\u017ce sprawdzi\u0107 ka\u017cdy uczestnik, kt\u00f3ry zna <em>G, H<\/em> i <em>p(0)G. H<\/em>0 \u2013 to tak\u017ce podpis na wiadomo\u015bci, kt\u00f3ra zosta\u0142a u\u017cyta jako seed, potwierdzaj\u0105ca, \u017ce <em>k<\/em> i <em>n <\/em>uczestnicy podpisali t\u0119 wiadomo\u015b\u0107. Tak wi\u0119c, je\u015bli <em>seed \u2013 <\/em>to hash bloku w protokole blockchain, to <em>H0<\/em> \u2013 to jednocze\u015bnie multi-podpis na bloku, i bardzo dobry losowy numer.<\/p>\n<h4>Na zako\u0144czenie<\/h4>\n<p>Ten artyku\u0142 jest cz\u0119\u015bci\u0105 serii artyku\u0142\u00f3w technicznych na blogu <noindex><a rel=\"nofollow\" href=\"https:\/\/near.org\">NEAR<\/a><\/noindex>. NEAR \u2013 to protok\u00f3\u0142 blockchain i platforma do tworzenia zdecentralizowanych aplikacji, z naciskiem na prostot\u0119 rozwoju i \u0142atwo\u015b\u0107 u\u017cytkowania dla ko\u0144cowych u\u017cytkownik\u00f3w.<\/p>\n<p>Kod protoko\u0142u jest otwarty, nasza implementacja jest napisana w Rust, mo\u017cna j\u0105 znale\u017a\u0107 <noindex><a rel=\"nofollow\" href=\"https:\/\/github.com\/nearprotocol\/nearcore\">tutaj<\/a><\/noindex>.<\/p>\n<p>Mo\u017cna zobaczy\u0107, jak wygl\u0105da rozw\u00f3j na platformie NEAR oraz wypr\u00f3bowa\u0107 w online-IDE <noindex><a rel=\"nofollow\" href=\"https:\/\/examples.near.org\">tutaj<\/a><\/noindex>.<\/p>\n<p>\u015aledzi\u0107 wszystkie wiadomo\u015bci w j\u0119zyku rosyjskim mo\u017cna w <noindex><a rel=\"nofollow\" href=\"https:\/\/t.me\/near_protocol\">grupie na Telegramie<\/a><\/noindex> i w <noindex><a rel=\"nofollow\" href=\"https:\/\/vk.com\/nearprotocol\">grupie na VKontakte<\/a><\/noindex>, a po angielsku na oficjalnym <noindex><a rel=\"nofollow\" href=\"https:\/\/twitter.com\/NEARProtocol\">Twitterze<\/a><\/noindex>.<\/p>\n<p>Do zobaczenia wkr\u00f3tce!<\/p>\n<p>\u0179r\u00f3d\u0142o: <a content=\"nofollow\" rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/company\/near\/blog\/521700\/\">habr.com<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"<p>\u041f\u0440\u0438\u0432\u0435\u0442, \u0425\u0430\u0431\u0440! \u0412 \u043f\u0435\u0440\u0432\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 \u0441\u0442\u0430\u0442\u044c\u0438 \u043c\u044b \u043e\u0431\u0441\u0443\u0434\u0438\u043b\u0438, \u0437\u0430\u0447\u0435\u043c \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0435 \u0447\u0438\u0441\u043b\u0430 \u0443\u0447\u0430\u0441\u0442\u043d\u0438\u043a\u0430\u043c, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0435 \u0434\u043e\u0432\u0435\u0440\u044f\u044e\u0442 \u0434\u0440\u0443\u0433 \u0434\u0440\u0443\u0433\u0443, \u043a\u0430\u043a\u0438\u0435 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u044f \u0432\u044b\u0434\u0432\u0438\u0433\u0430\u044e\u0442\u0441\u044f \u043a \u0442\u0430\u043a\u0438\u043c \u0433\u0435\u043d\u0435\u0440\u0430\u0442\u043e\u0440\u0430\u043c \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0445 \u0447\u0438\u0441\u0435\u043b, \u0438 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u043b\u0438 \u0434\u0432\u0430 \u043f\u043e\u0434\u0445\u043e\u0434\u0430 \u043a \u0438\u0445 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438. \u0412 \u044d\u0442\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 \u0441\u0442\u0430\u0442\u044c\u0438 \u043c\u044b \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u043e \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0435\u0449\u0435 \u043e\u0434\u0438\u043d \u043f\u043e\u0434\u0445\u043e\u0434, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u043f\u043e\u0440\u043e\u0433\u043e\u0432\u044b\u0435 \u043f\u043e\u0434\u043f\u0438\u0441\u0438. \u041d\u0435\u043c\u043d\u043e\u0433\u043e \u043a\u0440\u0438\u043f\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u0438 \u0414\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b [&hellip;]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":95847,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[688],"tags":[],"class_list":["post-95846","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-administrirovanie"],"aioseo_notices":[],"aioseo_head":"\n\t\t<!-- All in One SEO 5.0.1.1 - aioseo.com -->\n\t<meta name=\"robots\" content=\"max-image-preview:large\" \/>\n\t<meta name=\"author\" content=\"Yuri Gagarin\"\/>\n\t<link rel=\"canonical\" href=\"https:\/\/prohoster.info\/pl\/blog\/administrirovanie\/mozhno-li-generirovat-sluchajnye-chisla-esli-my-ne-doveryaem-drug-drugu-chast-2\" \/>\n\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.1.1\" \/>\n\t\t<meta property=\"og:locale\" content=\"pl_PL\" \/>\n\t\t<meta property=\"og:site_name\" content=\"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b\" \/>\n\t\t<meta property=\"og:type\" content=\"article\" \/>\n\t\t<meta property=\"og:title\" content=\"\ud83e\udd47\u041c\u043e\u0436\u043d\u043e \u043b\u0438 \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0435 \u0447\u0438\u0441\u043b\u0430, \u0435\u0441\u043b\u0438 \u043c\u044b \u043d\u0435 \u0434\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u0434\u0440\u0443\u0433 \u0434\u0440\u0443\u0433\u0443? \u0427\u0430\u0441\u0442\u044c 2 | ProHoster\" \/>\n\t\t<meta property=\"og:url\" content=\"https:\/\/prohoster.info\/pl\/blog\/administrirovanie\/mozhno-li-generirovat-sluchajnye-chisla-esli-my-ne-doveryaem-drug-drugu-chast-2\" \/>\n\t\t<meta property=\"og:image\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:secure_url\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:width\" content=\"350\" \/>\n\t\t<meta property=\"og:image:height\" content=\"350\" \/>\n\t\t<meta property=\"article:published_time\" content=\"2020-10-03T23:42:23+00:00\" \/>\n\t\t<meta property=\"article:modified_time\" content=\"2020-10-03T23:42:23+00:00\" \/>\n\t\t<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<meta property=\"article:author\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<!-- All in One SEO -->\n\n","aioseo_head_json":{"title":"\ud83e\udd47Czy mo\u017cna generowa\u0107 liczby losowe, je\u015bli sobie nie ufamy? Cz\u0119\u015b\u0107 2 | ProHoster","description":"","canonical_url":"https:\/\/prohoster.info\/pl\/blog\/administrirovanie\/mozhno-li-generirovat-sluchajnye-chisla-esli-my-ne-doveryaem-drug-drugu-chast-2","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"pl_PL","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47\u041c\u043e\u0436\u043d\u043e \u043b\u0438 \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0435 \u0447\u0438\u0441\u043b\u0430, \u0435\u0441\u043b\u0438 \u043c\u044b \u043d\u0435 \u0434\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u0434\u0440\u0443\u0433 \u0434\u0440\u0443\u0433\u0443? \u0427\u0430\u0441\u0442\u044c 2 | ProHoster","og:url":"https:\/\/prohoster.info\/pl\/blog\/administrirovanie\/mozhno-li-generirovat-sluchajnye-chisla-esli-my-ne-doveryaem-drug-drugu-chast-2","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2020-10-03T23:42:23+00:00","article:modified_time":"2020-10-03T23:42:23+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":{"post_id":"95846","title":null,"description":null,"keywords":null,"keyphrases":null,"primary_term":null,"canonical_url":null,"og_title":null,"og_description":null,"og_object_type":"default","og_image_type":"default","og_image_url":null,"og_image_width":null,"og_image_height":null,"og_image_custom_url":null,"og_image_custom_fields":null,"og_video":null,"og_custom_url":null,"og_article_section":null,"og_article_tags":null,"twitter_use_og":false,"twitter_card":"default","twitter_image_type":"default","twitter_image_url":null,"twitter_image_custom_url":null,"twitter_image_custom_fields":null,"twitter_title":null,"twitter_description":null,"schema":{"blockGraphs":[],"customGraphs":[],"default":{"data":{"Article":[],"Course":[],"Dataset":[],"FAQPage":[],"Movie":[],"Person":[],"Product":[],"ProductReview":[],"Car":[],"Recipe":[],"Service":[],"SoftwareApplication":[],"WebPage":[]},"graphName":"","isEnabled":true},"graphs":[]},"schema_type":null,"schema_type_options":null,"pillar_content":false,"robots_default":true,"robots_noindex":false,"robots_noarchive":false,"robots_nosnippet":false,"robots_nofollow":false,"robots_noimageindex":false,"robots_noodp":false,"robots_notranslate":false,"robots_max_snippet":null,"robots_max_videopreview":null,"robots_max_imagepreview":"large","priority":null,"frequency":null,"local_seo":null,"seo_analyzer_scan_date":null,"breadcrumb_settings":null,"limit_modified_date":false,"reviewed_by":null,"ai":null,"created":"2021-02-28 10:56:24","updated":"2022-09-30 13:54:48","focus_keyword":null,"additional_keywords":null,"truseo_locale":null},"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/posts\/95846","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/comments?post=95846"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/posts\/95846\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/media\/95847"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/media?parent=95846"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/categories?post=95846"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/tags?post=95846"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}