A tẹsiwaju jara wa nipa Monero blockchain, ati pe nkan oni yoo dojukọ ilana Ilana RingCT (Awọn iṣowo Aṣiri Oruka), eyiti o ṣafihan awọn iṣowo ikọkọ ati awọn ibuwọlu oruka tuntun. Laanu, alaye kekere wa lori Intanẹẹti nipa bi o ṣe n ṣiṣẹ, ati pe a gbiyanju lati kun aafo yii.
A yoo sọrọ nipa bii nẹtiwọọki ṣe tọju awọn iye gbigbe ni lilo ilana yii, idi ti wọn fi kọ awọn ibuwọlu oruka cryptonote Ayebaye, ati bii imọ-ẹrọ yii yoo ṣe dagbasoke siwaju.
Niwọn igba ti ilana yii jẹ ọkan ninu awọn imọ-ẹrọ eka julọ ni Monero, oluka yoo nilo oye ipilẹ ti apẹrẹ ti blockchain yii ati imọ ti o kọja ti cryptography curve elliptic (lati fẹlẹ lori imọ yii, o le ka awọn ipin akọkọ ti wa. ti tẹlẹ article nipa ).
Ilana RingCT
Ọkan ninu awọn ikọlu ti o ṣeeṣe lori awọn owo nina cryptonote jẹ itupalẹ blockchain ti o da lori imọ iye ati akoko ti idunadura ti a firanṣẹ. Eyi gba laaye dín agbegbe wiwa ni pataki fun awọn ijade ti anfani si ikọlu naa. Lati daabobo lodi si iru itupalẹ bẹẹ, Monero ti ṣe imuse ilana iṣowo alailorukọ ti o tọju awọn iye gbigbe lori nẹtiwọọki patapata.
O tọ lati ṣe akiyesi pe imọran ti fifipamọ awọn oye kii ṣe tuntun. Olùgbéejáde Bitcoin Core Greg Maxwell jẹ ọkan ninu akọkọ lati ṣe apejuwe rẹ ninu rẹ . Imuse lọwọlọwọ ti RingCT jẹ iyipada rẹ pẹlu iṣeeṣe ti lilo awọn ibuwọlu oruka (boya laisi wọn), ati pe iyẹn ni bi o ṣe gba orukọ rẹ - Awọn iṣowo Asiri Oruka.
Lara awọn ohun miiran, ilana naa ṣe iranlọwọ lati yọkuro awọn iṣoro pẹlu idapọ awọn abajade eruku - awọn abajade ti iye kekere (nigbagbogbo gba ni irisi iyipada lati awọn iṣowo), eyiti o ṣẹda awọn iṣoro diẹ sii ju ti wọn tọ.
Ni Oṣu Kini ọdun 2017, orita lile ti nẹtiwọọki Monero waye, ti o fun laaye ni yiyan ti awọn iṣowo igbekele. Ati tẹlẹ ni Oṣu Kẹsan ti ọdun kanna, pẹlu ẹya 6 lile orita, iru awọn iṣowo di awọn nikan laaye lori nẹtiwọki.
RingCT nlo awọn ọna ṣiṣe pupọ ni ẹẹkan: awọn ibuwọlu ẹgbẹ alaimọkan ti a ti sopọ mọra pupọ (Ibuwọlu Ẹgbẹ Alailowaya Alailowaya Alailẹgbẹ, lẹhinna tọka si MLSAG), ero ifaramo kan (Awọn ifaramo Pedersen) ati awọn ẹri ibiti (ọrọ yii ko ni itumọ ti iṣeto si Russian) .
Ilana RingCT ṣafihan awọn oriṣi meji ti awọn iṣowo ailorukọ: rọrun ati kikun. Apamọwọ ṣe ipilẹṣẹ akọkọ nigbati idunadura kan nlo diẹ sii ju ọkan lọ, keji - ni ipo idakeji. Wọn yatọ ni afọwọsi ti awọn iye owo idunadura ati data ti o fowo si pẹlu ibuwọlu MLSAG (a yoo sọrọ diẹ sii nipa eyi ni isalẹ). Pẹlupẹlu, awọn iṣowo ti iru kikun le ṣe ipilẹṣẹ pẹlu nọmba eyikeyi ti awọn igbewọle, ko si iyatọ ipilẹ. Ninu iwe Ni eyi, o sọ pe ipinnu lati ṣe idinwo awọn iṣowo ni kikun si titẹ sii kan ni a ṣe ni iyara ati pe o le yipada ni ojo iwaju.
Ibuwọlu MLSAG
Jẹ ki a ranti kini awọn igbewọle idunadura fowo si jẹ. Idunadura kọọkan n lo ati ṣe ipilẹṣẹ diẹ ninu awọn owo. Iran ti awọn owo waye nipa ṣiṣẹda awọn igbejade idunadura (afọwọṣe taara jẹ awọn owo-owo), ati abajade ti iṣowo naa na (lẹhinna, ni igbesi aye gidi a lo awọn iwe ifowopamọ) di titẹ sii (ṣọra, o rọrun pupọ lati ni idamu Nibi).
Iṣagbewọle kan n tọka si ọpọlọpọ awọn abajade, ṣugbọn n na ẹyọ kan, nitorinaa ṣiṣẹda “iboju ẹfin” lati jẹ ki o nira lati ṣe itupalẹ itan-akọọlẹ itumọ. Ti idunadura kan ba ni titẹ sii ju ọkan lọ, lẹhinna iru eto le jẹ aṣoju bi matrix, nibiti awọn ori ila jẹ awọn igbewọle ati awọn ọwọn jẹ awọn abajade ti o dapọ. Lati jẹri si nẹtiwọọki pe idunadura naa na ni deede awọn abajade rẹ (mọ awọn bọtini aṣiri wọn), awọn igbewọle ti fowo si pẹlu ibuwọlu oruka kan. Iru ibuwọlu bẹ ṣe iṣeduro pe olufọwọsi mọ awọn bọtini aṣiri fun gbogbo awọn eroja ti eyikeyi awọn ọwọn.
Asiri lẹkọ ko si ohun to lo Ayebaye awọn ibuwọlu oruka, wọn rọpo nipasẹ MLSAG - ẹya ti iru awọn ibuwọlu oruka-Layer kan ti o baamu fun awọn igbewọle lọpọlọpọ, .
Wọn pe wọn ni multilayer nitori wọn fowo si ọpọlọpọ awọn igbewọle ni ẹẹkan, ọkọọkan eyiti o dapọ pẹlu ọpọlọpọ awọn miiran, ie matrix kan ti fowo si, kii ṣe ila kan. Bi a yoo rii nigbamii, eyi ṣe iranlọwọ lati fipamọ sori iwọn Ibuwọlu.
Jẹ ká wo bi a oruka Ibuwọlu ti wa ni akoso, lilo awọn apẹẹrẹ ti a idunadura ti o na 2 gidi àbájade ati lilo m - 1 ID lati blockchain fun dapọ. Jẹ ki a ṣe afihan awọn bọtini gbangba ti awọn abajade ti a na bi
, ati awọn aworan bọtini fun wọn gẹgẹbi: Bayi, a gba matrix ti iwọn 2 x m. Ni akọkọ, a nilo lati ṣe iṣiro awọn ohun ti a pe ni awọn italaya fun bata meji ti awọn abajade:
A bẹrẹ awọn iṣiro pẹlu awọn abajade, eyiti a lo nipa lilo awọn bọtini gbangba wọn:ati ID awọn nọmbaBi abajade, a gba awọn iye wọnyi:
, eyi ti a lo lati ṣe iṣiro ipenija
bata ti atẹle (lati jẹ ki o rọrun lati ni oye ohun ti a n rọpo nibiti, a ti ṣe afihan awọn iye wọnyi ni awọn awọ oriṣiriṣi). Gbogbo awọn iye wọnyi ni iṣiro ni Circle kan nipa lilo awọn agbekalẹ ti a fun ni apejuwe akọkọ. Ohun ikẹhin lati ṣe iṣiro ni ipenija fun bata ti awọn abajade gidi.
Gẹgẹbi a ti le rii, gbogbo awọn ọwọn ayafi ọkan ti o ni awọn abajade gidi ninu lo awọn nọmba ti ipilẹṣẹ laileto. Fun π- ọwọn a yoo tun nilo wọn. Jẹ ki a yipadaninu s:
Ibuwọlu funrararẹ jẹ itupọ ti gbogbo awọn iye wọnyi:
Lẹhinna a kọ data yii sinu idunadura kan.
Gẹgẹbi a ti le rii, MLSAG ni ipenija kan ṣoṣo c0, eyiti o fun ọ laaye lati fipamọ sori iwọn ibuwọlu (eyiti o nilo aaye pupọ tẹlẹ). Siwaju si, eyikeyi olubẹwo, lilo awọn data, mu pada awọn iye c1,…, cm ati ṣayẹwo iyẹn. Nitorinaa, oruka wa ti wa ni pipade ati pe o ti jẹri ibuwọlu naa.
Fun awọn iṣowo RingCT ti iru kikun, laini kan ni afikun si matrix pẹlu awọn abajade ti o dapọ, ṣugbọn a yoo sọrọ nipa eyi ni isalẹ.
Pedersen ifaramo
(awọn ifaramọ ọrọ Gẹẹsi ni igbagbogbo lo) ni a lo ki ẹgbẹ kan le fi idi rẹ mulẹ pe wọn mọ aṣiri kan (nọmba) laisi ṣiṣafihan gangan. Fun apẹẹrẹ, o yipo nọmba kan lori awọn ṣẹ, ro ifaramo ati firanṣẹ si ẹgbẹ ti o rii daju. Nitorinaa, ni akoko sisọ nọmba aṣiri naa, oludaniloju ṣe iṣiro ifaramọ ni ominira, nitorinaa rii daju pe o ko tan anjẹ.
Awọn ifaramo Monero ni a lo lati tọju iye awọn gbigbe ati lo aṣayan ti o wọpọ julọ - awọn adehun Pedersen. Nipa ọna, otitọ ti o nifẹ - ni akọkọ awọn olupilẹṣẹ dabaa fifipamọ awọn oye nipasẹ dapọ lasan, iyẹn ni, fifi awọn abajade kun fun awọn iye lainidii lati ṣafihan aidaniloju, ṣugbọn lẹhinna wọn yipada si awọn adehun (kii ṣe otitọ pe wọn fipamọ sori iwọn idunadura, bi a yoo rii ni isalẹ).
Ni gbogbogbo, ifaramo dabi eyi:
Nibo C - itumo ifaramo funrararẹ, a - iye ti o farasin, H ni a ti o wa titi ojuami lori elliptic ti tẹ (afikun monomono), ati x - diẹ ninu awọn iru ti lainidii boju, nọmbafoonu ifosiwewe ti ipilẹṣẹ laileto. A nilo iboju-boju nibi ki ẹnikẹta ko le laroye iye ifaramo lasan.
Nigbati iṣelọpọ tuntun ba ti ipilẹṣẹ, apamọwọ ṣe iṣiro ifaramo fun rẹ, ati nigbati o ba lo, o gba boya iye ti a ṣe iṣiro lakoko iran tabi ṣe atunto rẹ, da lori iru idunadura naa.
RingCT rọrun
Ninu ọran ti awọn iṣowo RingCT ti o rọrun, lati rii daju pe iṣowo ti o ṣẹda awọn abajade ti o dọgba si iye awọn igbewọle (ko gbe owo jade ninu afẹfẹ tinrin), o jẹ dandan pe apapọ awọn adehun ti akọkọ ati awọn keji jẹ kanna, iyẹn:
Awọn igbimọ ifaramọ ro o ni iyatọ diẹ - laisi iboju-boju:
nibo a - iye ti igbimọ naa, o wa ni gbangba.
Ọna yii gba wa laaye lati jẹrisi si ẹgbẹ ti o gbẹkẹle pe a nlo iye kanna laisi sisọ wọn.
Lati jẹ ki awọn nkan ṣe kedere, jẹ ki a wo apẹẹrẹ kan. Jẹ ki a sọ pe idunadura kan na awọn ọnajade meji (itumọ pe wọn di awọn igbewọle) ti 10 ati 5 XMR ati pe o ṣe agbejade awọn abajade mẹta ti o tọ 12 XMR: 3, 4 ati 5 XMR. Ni akoko kanna, o sanwo igbimọ ti 3 XMR. Nitorinaa, iye owo ti o lo pẹlu iye ti ipilẹṣẹ ati igbimọ naa jẹ dogba si 15 XMR. Jẹ ki a gbiyanju lati ṣe iṣiro awọn adehun ati wo iyatọ ninu iye wọn (ranti mathematiki):
Nibi a rii pe fun idogba lati ṣajọpọ, a nilo awọn akopọ ti igbewọle ati awọn iboju iparada lati jẹ kanna. Lati ṣe eyi, apamọwọ n ṣe ipilẹṣẹ laileto x1, y1, y2 ati y3, ati awọn iyokù x2 ṣe iṣiro bi eyi:
Lilo awọn iboju iparada, a le jẹri si eyikeyi oludaniloju pe a ko ṣe ina awọn owo diẹ sii ju ti a lo, laisi ṣiṣafihan iye naa. Atilẹba, otun?
RingCT ni kikun
Ni awọn iṣowo RingCT ni kikun, ṣiṣayẹwo awọn iye gbigbe jẹ inira diẹ sii. Ninu awọn iṣowo wọnyi, apamọwọ ko ṣe atunto awọn adehun fun awọn igbewọle, ṣugbọn nlo awọn ti a ṣe iṣiro nigbati wọn ṣe ipilẹṣẹ. Ni idi eyi, a gbọdọ ro pe a ko ni gba iyatọ ninu awọn akopọ ti o dọgba si odo, ṣugbọn dipo:
o ti wa ni z - iyatọ laarin titẹ sii ati awọn iboju iparada. Ti a ba ro zG bi bọtini gbangba (eyiti o jẹ de facto), lẹhinna z jẹ bọtini ikọkọ. Nitorinaa, a mọ gbogbo eniyan ati awọn bọtini ikọkọ ti o baamu. Pẹlu data yii ni ọwọ, a le lo ni ibuwọlu oruka MLSAG pẹlu awọn bọtini gbangba ti awọn abajade ti o dapọ:
Bayi, a wulo oruka Ibuwọlu yoo rii daju wipe a mọ gbogbo awọn ikọkọ bọtini ti ọkan ninu awọn ọwọn, ati awọn ti a le nikan mọ awọn ikọkọ bọtini ni awọn ti o kẹhin kana ti o ba ti idunadura ko ni ina diẹ owo ju o na. Nipa ọna, eyi ni idahun si ibeere naa “kilode ti iyatọ ninu awọn iye ti awọn adehun ko yorisi odo” - ti o ba jẹ pe. zG = 0, lẹhinna a yoo faagun ọwọn pẹlu awọn abajade gidi.
Bawo ni ẹni ti o gba owo naa ṣe mọ iye owo ti a fi ranṣẹ si i? Ohun gbogbo rọrun nibi - olufiranṣẹ ti idunadura naa ati awọn bọtini paṣipaarọ olugba ni lilo ilana Diffie-Hellman, lilo bọtini idunadura ati bọtini wiwo olugba ati iṣiro aṣiri ti a pin. Olufiranṣẹ naa kọ data nipa awọn iye ti o jade, ti paroko pẹlu bọtini pinpin yii, ni awọn aaye pataki ti idunadura naa.
Awọn ẹri ibiti
Kini yoo ṣẹlẹ ti o ba lo nọmba odi bi iye ninu awọn adehun? Eyi le ja si iran ti awọn owó afikun! Abajade yii jẹ itẹwẹgba, nitorinaa a nilo lati ṣe iṣeduro pe awọn oye ti a lo kii ṣe odi (laisi sisọ awọn oye wọnyi, nitorinaa, bibẹẹkọ, iṣẹ pupọ wa ati gbogbo asan). Ni awọn ọrọ miiran, a gbọdọ fi mule pe apao wa ni aarin [0, 2n - 1].
Lati ṣe eyi, apao ti abajade kọọkan ti pin si awọn nọmba alakomeji ati ifaramo naa jẹ iṣiro fun nọmba kọọkan lọtọ. O dara lati wo bi eyi ṣe ṣẹlẹ pẹlu apẹẹrẹ.
Jẹ ki a ro pe awọn oye wa kere ati pe o baamu si awọn iwọn 4 (ni iṣe eyi jẹ awọn bit 64), ati pe a ṣẹda abajade ti o tọ 5 XMR. A ṣe iṣiro awọn adehun fun ẹka kọọkan ati ifaramo lapapọ fun gbogbo iye:
Nigbamii ti, ifaramọ kọọkan jẹ adalu pẹlu alabọgbẹ kan (Ci-2iH) ati pe o jẹ ami-meji pẹlu Ibuwọlu oruka Borromeo (Ibuwọlu oruka miiran), ti a dabaa nipasẹ Greg Maxwell ni ọdun 2015 (o le ka diẹ sii nipa rẹ ):
Ti a mu papọ, eyi ni a pe ni ẹri iwọn ati gba ọ laaye lati rii daju pe awọn adehun lo awọn oye ni sakani [0, 2n - 1].
Ohun ti ni tókàn?
Ninu imuse lọwọlọwọ, awọn ẹri ibiti o gba aaye pupọ - 6176 awọn baiti fun abajade. Eyi nyorisi awọn iṣowo nla ati nitorina awọn idiyele ti o ga julọ. Lati dinku iwọn idunadura Monero kan, awọn olupilẹṣẹ n ṣafihan awọn idiwọ ọta ibọn dipo awọn ibuwọlu Borromeo - ilana ẹri ibiti laisi awọn adehun bitwise. , wọn ni anfani lati dinku iwọn ti ẹri ibiti o to 94%. Nipa ọna, ni aarin Oṣu Keje imọ-ẹrọ ti kọja lati Kudelski Aabo, eyiti ko ṣe afihan eyikeyi awọn ailagbara pataki boya ninu imọ-ẹrọ funrararẹ tabi ni imuse rẹ. Imọ-ẹrọ ti lo tẹlẹ ninu nẹtiwọọki idanwo, ati pẹlu orita lile tuntun, o le ṣee gbe si nẹtiwọọki akọkọ.
Beere awọn ibeere rẹ, daba awọn akọle fun awọn nkan tuntun nipa awọn imọ-ẹrọ ni aaye cryptocurrency, ati tun ṣe alabapin si ẹgbẹ wa ninu lati tọju imudojuiwọn pẹlu awọn iṣẹlẹ ati awọn atẹjade wa.
orisun: www.habr.com