Em ji mêj ve bi mijara nenasîna di pereyên krîptoyê de eleqedar bûne û hewl didin ku pêşveçûna teknolojiyên di vî warî de bişopînin. Di gotarên xwe de me berê bi hûrgulî prensîbên operasyonê nîqaş kir li Monero, û her weha pêk anîn teknolojiyên ku di vê qadê de hene. Lêbelê, îro hemî diravên krîpto yên nenas li ser modela daneyê ya ku ji hêla Bitcoin ve hatî pêşniyar kirin - Hilbera Danûstendina Neserfkirî (li vir UTXO) têne çêkirin. Ji bo blokên-bingehan ên wekî Ethereum, çareseriyên heyî yên ji bo pêkanîna nenasî û nepenîtiyê (mînak, an ) hewl da ku modela UTXO di peymanên hişmend de dubare bike.
Di Sibata 2019-an de, komek lêkolîner ji Zanîngeha Stanford û Lêkolîna Visa berdan "Zether: Ber bi nepenîtiyê di cîhana peymanên jîr de." Nivîskar yekem bûn ku nêzîkatiyek ji bo misogerkirina nenasiyê di zincîrên blokên-bingehan de pêşniyar kirin û du guhertoyên peymanek jîr pêşkêş kirin: ji bo danûstendinên nepenî (veşartina hevseng û mîqdarên veguheztinê) û nenas (veşartina wergir û şander). Em teknolojiya pêşniyarkirî balkêş dibînin û dixwazin sêwirana wê parve bikin, û her weha biaxivin ka çima pirsgirêka nenasnameyê di blokên-bingehan de hesabek pir dijwar tê hesibandin û gelo nivîskaran karîbûn wê bi tevahî çareser bikin.
Li ser avahiya van modelên daneyê
Di modela UTXO de, danûstendinek ji "vedan" û "derketinan" pêk tê. Analoga rasterast a "derketan" fatûreyên di berîka we de ne: her "derketin" xwedan mezhebek e. Gava ku hûn drav didin kesek (danûstandinek çêdikin) hûn yek an çend "derketan" xerc dikin, di vê rewşê de ew dibin "derketinan" danûstendinê, û zincîra blokê wan wekî xerckirî nîşan dide. Di vê rewşê de, wergirê dravê we (an jî hûn bi xwe, ger hewcedariya we bi guheztinê hebe) "derketinên" yên nû hatine çêkirin distîne. Ev dikare bi awayekî şematîkî wiha were temsîl kirin:
Blockchains-based account pir mîna hesabê weya bankê têne saz kirin. Ew tenê bi mîqdara hesabê we û mîqdara veguheztinê re mijûl dibin. Dema ku hûn ji hesabê xwe hin mîqdar vediguhezînin, hûn "derketan" naşewitînin, tor ne hewce ye ku ji bîr bike ka kîjan drav hatine xerckirin û kîjan ne. Di rewşek herî hêsan de, verastkirina danûstendinê bi kontrolkirina îmzeya şanderê û mîqdara li ser balansa wî tê:
Analîza teknolojiyê
Dûv re, em ê biaxivin ka Zether çawa mîqdara danûstendinê, wergir û şanderê vedişêre. Gava ku em prensîbên xebata wê vedibêjin, em ê cûdahiyên di guhertoyên nepenî û nenas de destnîşan bikin. Ji ber ku ewlekirina nepenîtiyê di zincîra blokên-bingeha hesaban de pir hêsantir e, hin qedexeyên ku ji hêla anonîmîzekirinê ve têne danîn dê ji bo guhertoya nepenî ya teknolojiyê ne têkildar bin.
Veşartina hevseng û mîqdarên veguheztinê
Ji bo şîfrekirina hevsengiyan û veguheztina mîqdarên di Zether de nexşeyek şîfrekirinê tê bikar anîn . Bi vî awayî dixebite. Dema ku Alice dixwaze Bob bişîne b zîv li gorî navnîşanê (mifteya wê ya giştî) Y, ew hejmareke rasthatî hildibijêre r û mîqdarê şîfre dike:
ko C - mîqdara şîfrekirî, D - nirxa alîkar a ku ji bo deşîfrekirina vê mîqdarê hewce ye, G - xaleke sabît li ser keviya elîptîk, dema ku bi mifteya veşartî were zêdekirin, mifteya giştî tê bidestxistin.
Dema ku Bob van nirxan distîne, ew bi heman rengî wan bi heman rengî li hevsengiya xweya şîfrekirî zêde dike, ji ber vê yekê ev plan hêsan e.
Bi heman rengî, Alice heman nirxan ji hevsengiya xwe derdixe, tenê wekî Y mifteya weya giştî bikar tîne.
Veşartina wergir û şander
Tevlihevkirina "derketinan" di UTXO de vedigere rojên destpêkê yên diravên krîptoyê û dibe alîkar ku şander veşêre. Ji bo kirina vê yekê, şander bixwe, dema ku veguheztinê çêdike, di zincîra blokê de "derketinan" rasthatî berhev dike û wan bi yên xwe re tevlihev dike. Dûv re, ew "derketinan" bi îmzeyek zengilê îmze dike - mekanîzmayek krîptografî ya ku dihêle ew verastker qanî bike ku pereyên şanderê di nav "derketinan" yên têkildar de hene. Ji xwe pereyên têkel, bê guman, nayên xerckirin.
Lêbelê, em ê nikaribin encamên sexte biafirînin da ku wergir veşêrin. Ji ber vê yekê, di UTXO de, her "derketin" navnîşana xweya yekta ye, û ew bi şîfrekirinê bi navnîşana wergirê van drav ve girêdayî ye. Heya nuha, rêyek tune ku meriv pêwendiya di navbera navnîşana derketinê ya yekta û navnîşana wergir de bêyî zanîna kilîtên wê yên veşartî nas bike.
Di modela bingeh-hesab de, em nikarin navnîşanên yek-car bikar bînin (wek din ew ê jixwe modelek "derketin" be). Ji ber vê yekê, wergir û şander pêdivî ye ku di nav hesabên din ên blokê de bêne tevlihev kirin. Di vê rewşê de, 0 zîvên şîfrekirî ji hesabên tevlihev têne derxistin (an jî 0 têne zêdekirin heke wergir tevlihev be), bêyî ku bi rastî hevsengiya xweya rastîn biguhezîne.
Ji ber ku hem şander û hem jî wergir her gav navnîşek daîmî heye, pêdivî ye ku dema ku li heman navnîşanan têne veguheztin heman koman ji bo tevlihevkirinê bikar bînin. Meriv bi mînakek li vê yekê hêsantir e.
Em bibêjin Alice biryar dide ku beşdarî xêrxwaziya Bob bike, lê tercîh dike ku veguheztin ji çavdêrek derveyî re nenas bimîne. Dûre, ji bo ku xwe di qada şandinê de veşêre, ew jî dikeve hesabên Adem û Adele. Û ji bo veşartina Bob, hesabên Ben û Bill li qada wergir zêde bikin. Alice biryar da ku li kêleka wê Alex û Amanda, û li kêleka Bob Bruce û Benjen binivîsîne. Di vê rewşê de, dema ku zincîra blokê tê analîz kirin, di van her du danûstendinan de tenê cotek beşdaran a hevberdanê heye - Alice û Bob, ku van danûstendinan jinavbirine.
pêşbaziyên Transaction
Wekî ku me berê jî behs kir, ji bo ku hevsengiya we di pergalên bingeh-hesabê de veşêre, bikarhêner hevsengiya xwe û mîqdara veguheztinê şîfre dike. Di heman demê de, divê ew îspat bike ku hevsengiya li ser hesabê wî ne-neyînî dimîne. Pirsgirêk ev e ku dema ku danûstendinek diafirîne, bikarhêner di derbarê rewşa hesabê xweya heyî de delîlek ava dike. Ger Bob danûstendinek ji Alice re bişîne, û ew berî ya ku ji hêla Alice ve hatî şandin were pejirandin çi dibe? Dûv re danûstendina Alice dê nederbasdar were hesibandin, ji ber ku delîla hevsengiyê beriya ku danûstendina Bob were pejirandin hate çêkirin.
Yekemîn biryara ku di rewşek weha de tê ew e ku heya ku kiryar neyê kirin hesab were girtin. Lê ev nêzîkatî ne guncaw e, ji ber ku ji bilî tevliheviya çareserkirina pirsgirêkek weha di pergalek belavkirî de, di nexşeyek nenas de dê ne diyar be ku hesabê kê asteng bike.
Ji bo çareserkirina vê pirsgirêkê, teknolojî danûstendinên hatin û derketinê ji hev vediqetîne: lêçûn bandorek tavilê li ser bîlançoyê dike, dema ku wergirtin bandorek dereng heye. Ji bo vê yekê, têgeha "serdem" tête destnîşan kirin - komek blokên bi pîvanek sabît. "Serdem"a heyî bi dabeşkirina bilindahiya blokê bi mezinahiya komê ve tê destnîşankirin. Dema ku pêvajoyek danûstendinê çêdike, torê tavilê balansa şanderê nûve dike û fonên wergir di depoyek hilanînê de hilîne. Pereyên berhevkirî tenê dema ku "serdemek" nû dest pê dike ji mûçegir re têne peyda kirin.
Wekî encamek, bikarhêner dikare danûstandinan bişîne bêyî ku çend caran drav têne wergirtin (bê guman heya ku balansa wî destûrê dide). Mezinahiya serdemê li ser bingeha çiqas zû blokan di nav torê de belav dibin û danûstendinek çiqas zû dikeve blokê tê destnîşankirin.
Ev çareserî ji bo veguheztinên nepenî baş dixebite, lê digel danûstendinên nenas, wekî ku em ê paşê bibînin, ew pirsgirêkên cidî diafirîne.
Parastina li dijî êrîşên dubarekirinê
Di zincîreyên bloka-bingeha hesabê de, her danûstendin ji hêla mifteya taybet a şanderê ve tê îmze kirin, ku verastkerê îqna dike ku danûstendin nehatiye guhertin û ji hêla xwediyê vê mifteyê ve hatî çêkirin. Lê heke êrîşkarek ku li kanala veguheztinê guhdarî dikir, vê peyamê bigire û tam heman ya duyemîn bişîne? Verastker dê îmzeya danûstendinê verast bike û dê ji nivîskariya wê piştrast be, û tor dê dîsa heman mîqdarê ji balansa şanderê binivîsîne.
Ji vê êrîşê re dibêjin êrîşa dubare. Di modela UTXO de, êrîşên bi vî rengî ne têkildar in, ji ber ku êrîşkar dê hewl bide ku encamên xerckirî bikar bîne, ku bi serê xwe ne derbasdar e û ji hêla torê ve tê red kirin.
Ji bo pêşîlêgirtina vê yekê, zeviyek bi daneyên rasthatî di nav danûstendinê de tê çêkirin, ku jê re nonce an bi tenê "xwê" tê gotin. Dema ku ji nû ve danûstendinek bi xwê re şandin, verastker dinihêre ka ew nonce berê hatî bikar anîn an na, ger na, danûstendinê derbasdar dihesibîne. Ji bo ku tevahiya dîroka nenasên bikarhêner di zincîra blokê de neyê hilanîn, bi gelemperî di danûstendina yekem de ew bi sifir tê danîn, û dûv re yek zêde dibe. Tora tenê dikare kontrol bike ku nebûna danûstendina nû ji ya berê bi yek cûda dibe.
Di pilana veguheztina nenas de, pirsgirêka pejirandina nesaxên danûstendinê derdikeve. Em nekarin bi eşkereyî nonceyê bi navnîşana şanderê ve girêbidin, ji ber ku, eşkere, ev veguheztinê bênavber dike. Di heman demê de em nekarin yek li nav hesabên hemî beşdaran zêde bikin, ji ber ku ev dibe ku bi veguheztinên din ên ku têne pêvajo kirin re nakokî.
Nivîskarên Zether pêşniyar dikin ku li ser "serdemê" ve girêdayî, nonce bi krîptografî çêbikin. Bo nimûne:
Ev e x mifteya veşartî ya şanderê ye, û Gepoch - jeneratorek pêvek ji bo serdemê, ku bi pelçiqandina rêzek ji forma 'Zether +' tê wergirtin. Naha pirsgirêk dixuye ku çareser bûye - em neqeba şanderê eşkere nakin û ne midaxeleyî nefsên beşdarên bêbandor nakin. Lê ev nêzîkatî sînorkirinek cidî ferz dike: yek hesab dikare ji her "serdemê" ji yek danûstendinê bêtir bişîne. Ev pirsgirêk, mixabin, bêçareser dimîne, û naha guhertoya nenas a Zether, li gorî me, ji bo karanîna ne maqûl dike.
Tevliheviya Zero Delîlên Zanînê
Di UTXO de, şander divê ji torê re îspat bike ku ew mîqdarek neyînî xerc nake, wekî din gengaz e ku meriv ji hewayê zêrên nû çêbike (çima ev gengaz e, me di yek ji yên berê de nivîsand ). Û di heman demê de "têketinê" bi îmzeyek zengilê îmze bikin da ku îspat bike ku di nav pereyên ku têne tevlihev kirin de fonên wî hene.
Di guhertoya nenas a bloka-based hesabê de, îfadeyên ji bo delîlan pir tevlihevtir in. Şandkar îsbat dike ku:
- Mîqdara şandin erênî ye;
- Hevsengî ne-neyînî dimîne;
- Şandkar mîqdarên veguheztinê rast şîfre kiriye (tevî sifir);
- Hevsengiya li ser hevsengiyê tenê ji bo şander û wergir diguhere;
- Şandkar xwediyê mifteya taybet a hesabê xwe ye û ew bi rastî di navnîşa şanderan de ye (di nav wan de;
- Nonce ya ku di danûstendinê de hatî bikar anîn rast hatî çêkirin.
Ji bo delîlek wusa tevlihev, nivîskar tevliheviyek bikar tînin (yek ji nivîskaran, bi awayê, di afirandina wê de cih girtiye) û , ku jê re Sigma-gule tê gotin. Îspatkirina fermî ya gotinek wusa karek pir dijwar e, û ew jimara kesên ku dixwazin teknolojiyê bicîh bikin pir sînordar dike.
Di dawiyê de çi ye?
Li gorî me, beşa Zether-ê ku nepenîtiyê tîne zincîra blokên-based hesab dikare niha were bikar anîn. Lê di vê gavê de, guhertoya nenas a teknolojiyê li ser karanîna wê, û tevliheviya wê li ser pêkanîna wê sînorkirinên cidî ferz dike. Lêbelê, divê neyê kêm kirin ku nivîskaran ew tenê çend meh berê derxistiye, û dibe ku kesek din çareseriyek ji pirsgirêkên ku îro hene re bibîne. Jixwe, zanist bi vî awayî tê kirin.
Source: www.habr.com