Naše nové platformy interoperability (devnety) rozšíria dosah Cardana podporou komunít Solidity/Ethereum, ale samozrejme aj iných
(Napísal Tim Harrison z IOHK) - preklad @Martin.M
Prostredie blockchainu nie je statické. Blockchainy sa vyvíjajú s tým, ako sa ich komunity rozvíjajú a učia, Cardano nie je výnimkou.
S každou vývojovou fázou bola základná funkčnosť Cardana rozšírená o nové funkcie: Shelley priniesla delegovanie, stake pooly a decentralizáciu k základnej transakčnej schopnosti éry Byron. Goguen teraz začína prinášať nové možnosti, od metadát po inteligentné zmluvy a natívne tokeny. Voltaire zavádza systém pokladnice a hlasovania. Boli sme svedkami prvých krokov tohto procesu v rámci projektu Catalyst - teda prvým verejným kolom financovania myšlienok komunity Cardano.
V novembri sme predstavili transakčné metadáta, dôležitý prvý prvok pri vytváraní novej užitočnosti a komerčného použitia. Nedávno sme nasadili prvé prostredie v predprodukcii pre natívne tokeny. Nasledovať bude vytváranie tokenov a ERC-20 konverzia. Plutus a Marlowe, natívne jazyky pre inteligentné zmluvy v Cardane sa aktívne vyvíjajú a vyjdú v roku 2021, čím sa vývojárom otvorí platforma pre vytváranie nových riešení a podporu nových zaujímavých prípadov použitia.
Všetky tieto prvky Goguenu hrajú svoju úlohu pri dosahovaní konečného cieľa Cardana: skutočne decentralizovanej a sebestačnej platformy. Stále podporujúc hlbšie zapojenie a rast komunity vytváraním nových príležitostí.
Máme živú a kvalifikovanú komunitu, ktorá je pravdepodobne jednou z najsilnejších a najchytrejších v kryptopriestore. A v súlade s našim, samozrejme nie „maximalistickým“, ale otvoreným prístupom chceme osloviť ďalšie komunity a tiež ich zapojiť.
Ako je uvedené v nedávnom videu Charlesa Hoskinsona, ďalším strategickým krokom Cardana bude pridanie celého radu devnetov, ktoré pritiahnu nové vývojárske komunity do širšieho ekosystému Cardano.
Tieto devnety budú pôsobiť ako „mosty“ medzi komunitami vývojárov a poskytovať vývojové prostredia, virtuálne stroje a sady vývojárskych nástrojov, aby bolo možné testovať nové aplikácie v prostredí čo najbližšom „reálnemu svetu“.
Pochopenie devnetov
Po počiatočných prieskumných prácach v roku 2018 teraz reštartujeme a urýchľujeme program K Ethereum Virtual Machine (KEVM). Nový KEVM devnet je prvý z niekoľkých devnetov, ktoré vybudujeme v priebehu budúceho mesiaca. EVM funguje v rámci K Framework systému na špecifikáciu jazykov a virtuálnych počítačov, kde následne pre tieto jazyky odvodzuje nástroje, ako sú interpretácie, typové kontroly, kontroly ekvivalencie, debuggery atď. (EVM je to, čo prevádzkuje inteligentné zmluvy v sieti Ethereum.)
K uplatňuje formálne uvažovanie a matematickú presnosť pre najvyššiu úroveň istoty. Umožňuje vývojárom intuitívne a modulárne definovať alebo implementovať formálnu sémantiku programovacieho jazyka. K tiež vygeneruje spustiteľný súbor, ktorý je „korektný podľa konštrukcie VM“ z jeho formálnej špecifikácie, ktorý je dostatočne rýchly a výkonný na spustenie skutočných programov a inteligentných kontraktov. To efektívne znamená, že softvér by mal pri všetkých možných vstupoch vykonávať vyžiadané funkcie a nič iné, teda mal by byť overiteľné dôkazy o funkcii.
Našou dlhodobou víziou - v spolupráci s našimi partnermi v Runtime Verification - je vybudovať prostredie K, kde môžeme proste „plug-and-play“ nové virtuálne stroje. Viac o cieľoch K si môžete vypočuť od tímu v Runtime Verification v tomto segment videa z Cardano mesačníka.
Devnet KEVM, ktorý je zameraný na komunitu Solidity/Ethereum, umožní úplnú spätnú kompatibilitu s Ethereum. Pretože Solidity je jazyk vyššej úrovne podobný JavaScriptu a C ++, nemôže ho vykonávať priamo EVM. Solidity programy musia byť najskôr skompilované do assembly jazyka (bytecode EVM), aby následne mohli bežať na KEVM.
KEVM umožní vývojárom písať aplikácie v Solidity, kóde EVM alebo Glow a poskytne im súbory nástrojov na ich kompiláciu a nasadenie na devnete (kvôli testovaniu, približujúcemu sa reálnemu svetu). Plánujeme tiež čoskoro pridať integráciu Truffle, čo ďalej zvýši použiteľnosť pre vývojárov.
Glow
Solidity je zatiaľ najpopulárnejší vyšší programovací jazyk kompilujúci do EVM bytecode, ale zďaleka nie jediný. Jednou z fascinujúcich alternatív k Solidity je Glow, ktorú vyvinul náš partner MuKn.
Glow je jazyk „vyššej úrovne“ (ďalšie príklady jazykov vyššej úrovne zahŕňajú JavaScript, Python atď.), ktorý umožňuje intuitívne písanie vysoko zabezpečených finančných zmlúv. Glow sleduje doktrínu „správnej konštrukcie“, aby sa predišlo bežným nástrahám a potenciálne nákladným chybám. Glow zabezpečí, že zmluvy napísané v tomto jazyku majú určité žiaduce vlastnosti bez ohľadu na to, čo robia alebo poprípade nerobia ostatní účastníci zmluvy.
Glow bol navrhnutý s ohľadom na interoperabilitu. K dispozícii budú prekladače Glow zamerané na mnoho rôznych platforiem a blockchainov, vďaka ktorým bude opätovné použitie kódu oveľa jednoduchšie a praktickejšie.
Toto bude teda ďalší devnet, ktorý bude nasadený. Väčšina základných vývojových prác je teraz hotová a pripravená na konečné zabezpečenie kvality s nasadením v januári 2021.
IELE - základ pre blockchainy tretej generácie
Plná kompatibilita s EVM je pohodlnou a atraktívnou pre mnohých skúsených vývojárov oboznámených s Ethereum, avšak KEVM nevyhnutne zdedí aj slabiny EVM.
Z tohto dôvodu ponúkneme pokročilejšiu a bezpečnejšiu alternatívu v podobe nášho IELE devnetu. Virtuálny stroj IELE (vyslovuje sa yela), ktorý taktiež vyvinul náš partner Runtime Verification je podobný EVM, ale oveľa bezpečnejší. Napríklad používa ľubovoľné presné celé čísla, čím okamžite eliminuje mnohé vektory pre útok v EVM. IELE je tiež založený na registroch, nie na zásobníku ako napríklad EVM, čo vývojárom uľahčuje priame písanie IELE bytecode priamo.
Pojem IELE popisuje dve veci:
- Priamo IELE VM
- IELE assembly jazyk
IELE je ľudsky čitateľný jazyk pre blockchain nižšej úrovne, ktorý má slúžiť ako základ pre blockchainy tretej generácie. IELE bol navrhnutý s využitím najmodernejších formálnych metód na riešenie problémov týkajúcich sa bezpečnosti a správnosti v Ethereum a súčasne umožňuje overenie matematickej správnosti kódu inteligentných zmlúv, ktorý do Ethereum prináša práve K EVM.
IELE predstavuje ďalší krok v evolúcii automaticky generovaných koncepcií implementácie správnej konštrukcie. Je postavený tak, aby sa stal základom celého backendu kompilátora, ktorý umožňuje robustnú optimalizáciu pre gas siete, vrátane zmlúv napísaných v jazyku vyššej úrovne, kde má IELE ako cieľ kompilácie, napríklad ako Solidity alebo Plutus.
Mosty medzi komunitami vývojárov
KEVM, Glow a IELE úzko súvisia s hlavnými cieľmi éry Goguen: priniesť využitie a užitočnosť pre Cardano, vybudovať pevné a trvalé partnerstvá, ktoré prispejú k neustálemu rastu nášho vývojárskeho ekosystému. Naším cieľom je prilákať čo najviac vývojárov z čo najväčšieho počtu disciplín, aby sme podporili všestrannosť a inkluzívnosť.
Dúfame, že spolu s Plutusom a Marlowe tieto devnety predstavujú pre vývojárov (v blockchain-krypto svete i mimo neho) bezkonkurenčnú príležitosť na zoznámenie sa s platformou Cardano, vytvoriť lákavé prípady využitia a prispieť tak k rastu ekosystému.
Napínavá budúcnosť
Dúfame, že poskytneme jasnú cestu k novým príležitostiam pre vývojárov, ktoré si budú vyžadovať úzku spoluprácu s mnohými rôznymi komunitami a v neposlednom rade aj s Cardano. Postupne - krok za krokom.
Momentálne postupne zavádzame stavebné bloky systému. Po úplnom zavedení budú devnety fungovať ako mosty medzi komunitami vývojárov, otvárať nové cesty komunikácie a spolupráce nielen v blockchaine, ale aj v celom vývojárskom ekosystéme. Cardano bude mať trvalú spätnú kompatibilitu so sieťou Ethereum a bude teda držať krok s vývojom na Ethereum blockchaine. Rozšírením vývojárskej základne môže komunita Cardano pomôcť riadiť pokračujúci vývoj inteligentných zmlúv a priestoru decentralizovaných financií (DeFi). Čaká nás ďalší pozoruhodný rok. Vidíme sa na druhej strane.
Pôvodný článok: Devnets: Building bridges to developer communities