­č窭čç░ Preh─żad z├íkladn├ęho v├Żskumu spolo─Źnosti Cardano

Preh─żad z├íkladn├ęho v├Żskumu spolo─Źnosti Cardano

Tu je prv├Ż zo s├ęrie blogov├Żch pr├şspevkov, v ktor├Żch sa bli┼ż┼íie pozrieme na v├Żskum, na ktorom je zalo┼żen├ę Cardano

Preh─żad z├íkladn├ęho v├Żskumu spolo─Źnosti Cardano

Projekt Cardano mal od svojho vzniku v roku 2015 jeden jasn├Ż cie─ż: zmeni┼ą sp├┤sob navrhovania a v├Żvoja kryptomien. Namiesto jednej autoritat├şvnej bielej knihy projekt spojil cel├Ż rad vedeck├Żch princ├şpov n├ívrhu a osved─Źen├Żch in┼żinierskych postupov, aby vytvoril sol├şdny, priekopn├şcky, na v├Żskume zalo┼żen├Ż blockchain. K─ż├║─Źov├ę my┼ílienky v├Żvoja Cardano boli predstaven├ę v eseji ÔÇťWhy CardanoÔÇŁ a vo videu ÔÇťCardano whiteboardÔÇŁ, ktor├ę vytvoril Charles Hoskinson. Tento pr├şstup zalo┼żen├Ż na v├Żskume stavia Cardano do jedine─Źnej poz├şcie medzi ostatn├Żmi blockchainov├Żmi platformami.

S├║bor osved─Źen├Żch postupov, n├ípadov a pr├şspevkov vytvoril z├íklad pre vybudovanie bezpe─Źnej, decentralizovanej a ┼ík├ílovate─żnej ├║─Źtovnej knihy Cardano. V s├║─Źasnosti existuje zna─Źn├Ż objem v├Żskumu, ktor├Ż predstavuje rozsiahla kni┼żnica dokumentov spolo─Źnosti Input Output Global, ktor├í v ─Źase p├şsania tohto ─Źl├ínku ─Ź├şta 139 dokumentov. Mnoh├ę z nich boli recenzovan├ę a prijat├ę na ┼ípi─Źkov├Żch akademick├Żch konferenci├ích. Pod─ża Google Scholar bol p├┤vodn├Ż dokument Ouroboros citovan├Ż viac ako 1 200-kr├ít.

V├Żskumn├ę pr├íce

Charles Hoskinson, gener├ílny riadite─ż IOG, povedal:

Decentraliz├ícia kladie pred finan─Źn├ę syst├ęmy na celom svete ve─żk├ę technick├ę v├Żzvy a spolo─Źnos┼ą IOG Research sa zauj├şma o ka┼żd├║ z nich.

V├şziou spolo─Źnosti IOG Research je by┼ą ved├║cou in┼ítit├║ciou v oblasti akademick├ęho ┼ít├║dia blockchainov├Żch infra┼ítrukt├║r a fintech a v ┼íir┼íom zmysle distribuovan├Żch syst├ęmov zabezpe─Źen├Żch kryptografick├Żmi technikami a motivovan├Żch prostredn├şctvom ekonomickej te├│rie hier. IOG si vybudovala reput├íciu v─Ćaka rie┼íeniu n├íro─Źn├Żch v├Żskumn├Żch ot├ízok vo v┼íeobecnosti a najm├Ą v─Ćaka budovaniu form├ílnych a spo─żahliv├Żch z├íkladov pre odvetvie fintech blockchainov├Żch infra┼ítrukt├║r.

V tomto blogovom pr├şspevku sa pozrieme na niektor├ę v├Żskumn├ę pr├íce, ktor├ę polo┼żili z├íklady spolo─Źnosti Cardano.

Ouroboros

Prvotn├Żm dokumentom, ktor├Ż bol hnac├şm motorom v├Żskumu projektu, bol dokument ÔÇťOuroboros: A Provably Secure Proof-of-Stake Blockchain ProtocolÔÇŁ, ktor├Ż bol akademicky recenzovan├Ż a publikovan├Ż na konferencii Crypto 2017.

Z├íkladom blockchainov├Żch siet├ş je konsenzus. Ouroboros je proof-of-stake konsenzu├ílny protokol pre Cardano. N├ízov ÔÇťOuroborosÔÇŁ poch├ídza zo starovek├ęho symbolu, ktor├Ż predstavuje ve─Źnos┼ą a nekone─Źn├Ż n├ívrat. Pre Cardano Ouroboros symbolizuje teoretick├║ ve─Źnos┼ą blockchainu.

Od roku 2017 bolo vytvoren├Żch nieko─żko verzi├ş protokolu Ouroboros. Ka┼żd├í ÔÇťpr├şchu┼ąÔÇŁ Ouroboros prid├íva r├┤zne vlastnosti a funkcie na podporu v├Żvoja Cardano. Po─Źn├║c Ouroboros Classic prech├ídza ├║─Źtovn├í kniha pravideln├Żmi aktualiz├íciami. Ouroboros Classic vytvoril z├íklad pre energeticky efekt├şvny konsenzu├ílny protokol proof-of-stake vo federat├şvnom prostred├ş (t├ęma v├Żvoja Cardano Byron). Protokoly Praos, Genesis a Chronos boli navrhnut├ę tak, aby zabezpe─Źili zv├Ż┼íen├║ bezpe─Źnos┼ą v prostred├ş plne bez opr├ívnen├ş. Zatia─ż ─Źo Genesis vylep┼íil protokol Praos, Chronos po implement├ícii urob├ş Genesis e┼íte robustnej┼í├şm. Tento pr├şspevok na blogu podrobnej┼íie opisuje v├Żvoj syst├ęmu Ouroboros.

V spojen├ş s unik├ítnou technol├│giou a matematicky overen├Żmi mechanizmami realizuje Ouroboros ÔÇťkonsenzus v Nakamotovom ┼ít├ŻleÔÇŁ prisp├┤soben├Ż na d├┤kaz kolku. Ouroboros poskytuje z├íruky bezpe─Źnosti a robustnosti, ako ich pozn├íme z konsenzu proof-of-work Bitcoinu, a z├írove┼ł zabezpe─Źuje vy┼í┼íiu efekt├şvnos┼ą z h─żadiska spotreby energie. Namiesto toho, aby sa ├║─Źastn├şci proof-of-stake spoliehali na ban├şkov pri rie┼íen├ş v├Żpo─Źtovo zlo┼żit├Żch probl├ęmov na vytvorenie bloku, vytv├íraj├║ a overuj├║ bloky na z├íklade podielu, ktor├Ż v sieti kontroluj├║.

V pr├şspevku na svojom blogu The Ouroboros path to decentralization profesor Aggelos Kiayias, hlavn├Ż vedeck├Ż pracovn├şk IOG a ved├║ci katedry kybernetickej bezpe─Źnosti a ochrany s├║kromia na Edinburskej univerzite, uv├ídza: "V s├║─Źasnosti je mo┼żn├ę, ┼że sa v tejto oblasti budeme zaobera┼ą aj ot├ízkou, ─Źi je mo┼żn├ę, aby sme sa v bud├║cnosti rozhodli pre tento syst├ęm:

Ouroboros je decentralizovan├Ż protokol ├║─Źtovnej knihy, ktor├Ż je analyzovan├Ż v kontexte byzantsk├ęho aj racion├ílneho spr├ívania. To, ─Źo rob├ş tento protokol jedine─Źn├Żm, je kombin├ícia tak├Żch kon┼ítruk─Źn├Żch prvkov, ako s├║ podiel, dynamick├í dostupnos┼ą, nastavenie bez d├┤very a motiva─Źn├í sch├ęma zdie─żania odmien.

Delegovanie a fondy podielov

Prechod z federat├şvneho nastavenia na ├║pln├║ decentraliz├íciu si vy┼żiadal ur─Źit├ę ├║pravy protokolu. Bolo nevyhnutn├ę poskytn├║┼ą prostriedky na spr├ívnu spr├ívu ├║─Źtov (umo┼żni┼ą techniku delegovania podielov) a motivovan├║ ├║─Źas┼ą.

V dokumente ÔÇťAccount Management in Proof of Stake LedgersÔÇŁ - uverejnenom v roku 2020 - sa sk├║maj├║ sp├┤soby maximaliz├ície ├║─Źasti zainteresovan├Żch str├ín na ─Źinnostiach ├║dr┼żby siete.

Blokov├ę re┼ąazce proof-of-stake zvy─Źajne z├ívisia - zo svojej podstaty - od akt├şvnej ├║─Źasti zainteresovan├Żch str├ín. Zainteresovan├ę strany musia by┼ą neust├íle online, aby mohli overova┼ą sie┼ąov├ę transakcie a vytv├íra┼ą nov├ę bloky. Nie ka┼żd├í zainteresovan├í strana v┼íak m├í mo┼żnos┼ą alebo chu┼ą by┼ą neust├íle online. Aby sa zabezpe─Źila robustnos┼ą syst├ęmu a jeho bezpe─Źnos┼ą aj za tak├Żchto podmienok, je d├┤le┼żit├ę umo┼żni┼ą r├┤zne typy ├║─Źasti zainteresovan├Żch str├ín.

Delegovanie podielov rie┼íi tento probl├ęm a umo┼ż┼łuje pou┼ż├şvate─żovi z├║─Źast┼łova┼ą sa na ─Źinnostiach siete delegovan├şm svojho podielu na in├Żch ├║─Źastn├şkov. Delegovanie podielov vedie k vzniku stake pools - serverov├Żch uzlov, ktor├ę maj├║ pr├íva na podiely viacer├Żch zainteresovan├Żch str├ín. V ─Źl├ínku sa matematicky analyzuje a definuje technika delegovania a implementuj├║ sa aj z├íkladn├ę vlastnosti pe┼ła┼żenky na spracovanie bezpe─Źn├Żch platieb.

V dokumente ÔÇťReward Sharing Schemes for Stake PoolsÔÇŁ, ktor├Ż bol tie┼ż uverejnen├Ż v roku 2020, sa uv├ídzaj├║ mechanizmy na motiv├íciu zainteresovan├Żch str├ín za ich aktivity.

Sila poolu podielov poch├ídza z akumul├ície podielov, ktor├ę s├║ na┼ł delegovan├ę. Aby sa predi┼ílo monopoliz├ícii ─Źinnost├ş overovania siete jedin├Żm zdru┼żen├şm, je nevyhnutn├ę, aby boli ├║─Źastn├şci siete motivovan├ş delegova┼ą na ve─żk├Ż s├║bor r├┤znych zdru┼żen├ş.

Sch├ęma zdie─żania odmien opisuje sp├┤sob vhodnej motiv├ície prev├ídzkovate─żov poolov podielov (SPO) a deleg├ítov za ich ─Źinnosti, ako je overovanie transakci├ş, vytv├íranie blokov at─Ć. V├Żskum ukazuje, ┼że navrhovan├Ż mechanizmus odme┼łovania usmer┼łuje sie┼ą na po┼żadovan├║ ├║rove┼ł decentraliz├ície a najm├Ą pon├║ka ochranu pred Sybilov├Żmi ├║tokmi. Umo┼ż┼łuje to tzv. mechanizmus pledging mechanism, ktor├Ż v├Żrazne demotivuje vytv├íranie viacer├Żch stake poolov kontrolovan├Żch jedn├Żm re├ílnym subjektom.

Motiva─Źn├Ż model Cardano vytvoril ekosyst├ęm, v ktorom racion├ílni ├║─Źastn├şci profituj├║ z dodr┼żiavania protokolu, ─Ź├şm umo┼ż┼łuje bezpe─Źn├ę a efekt├şvne fungovanie blockchainu Cardano. V├Żsledkom je spo─żahlivo funguj├║ca decentralizovan├í ├║─Źtovn├í kniha zabezpe─Źen├í kryptografick├Żmi technikami a herno-teoretick├Żmi mechanizmami odme┼łovania.

Zost├ívajte naladen├ş! V ─Ćal┼í├şch pr├şspevkoch sa bli┼ż┼íie pozrieme na niektor├ę v├Żskumn├ę pr├íce, ktor├ę vytvorili z├íklady funk─Źnej platformy inteligentn├Żch zml├║v. Konkr├ętne za─Źneme v├Żskumom, ktor├Ż umo┼żnil roz┼í├şren├Ż model UTxO, vysvetl├şme, ─Źo to vlastne znamen├í a ako to umo┼ż┼łuje ├║─Źtovnej knihe spracova┼ą viacero akt├şv a poplatkov s r├┤znymi v├Żhodami pre pou┼ż├şvate─żov.


(Nap├şsala Olga Hryniuk) - preklad @Martin.M
P├┤vodn├Ż ─Źl├ínok: CardanoÔÇÖs foundational research overview - IOHK Blog