Týden jsem byl mučen paměťovým modelem virtuálního stroje Piecrust, pojďme si promluvit o technických ambicích Dusk
Nedávno, abych pochopil virtuální stroj Dusk, jsem prozkoumal dokumentaci k Rustu. Na rovinu, tato architektura založená na WASM je v současné době v ZK sektoru opravdu alternativní. Podívejte se na dnešní soukromé veřejné blockchainy, ať už je to Iron Fish nebo Aleo, většina z nich si vytváří vlastní specializované jazyky, aby prokázala efektivitu na úkor univerzálnosti pro vývojáře, ale tahle Duskova strategie je dost riskantní, chce, aby běžný kód měl přímo soukromé vlastnosti. Během testování jsem na svém místním prostředí spustil jeho model paměti s nulovými kopiemi a ta rkyv serializace je opravdu neuvěřitelně rychlá, zatímco logika Ethereum, kde je třeba se potýkat s ukládáním stavových slotů, je zcela jiný živočišný druh.
Toto přináší velký problém, stávající Solidity smlouvy se téměř nedají převést, vývojáři se musí znovu přizpůsobit této logice přístupu k stavům. Je to jako kdyby člověk zvyklý na automatickou převodovku byl najednou vhozen do F1 auta, i když má obrovský potenciál, je to natolik náročné, že vás to může přimět k tomu, abyste bouchnuli do klávesnice. Včera, když jsem ladil smlouvu, několik jednoduchých generací stavových důkazů přímo přetížilo mou paměť, což ukazuje, že je ještě daleko k skutečné inženýrské realizaci.
Ve srovnání s Aztec, který dělá soukromé rollupy na L2, je ambice Dusk integrovat ZK přímo na L1 očividně větší. Sází na to, že budoucí DeFi nebude jen jednoduchou výměnou tokenů, ale bude zahrnovat složité obchodní logiky v dark pool obchodování. Pokud Piecrust opravdu dokáže vyřešit úzká místa v generování a ověřování důkazů, pak to, co buduje, není jen soukromá kniha, ale černá skříňka výpočetní vrstvy, která dokáže provádět složitou logiku. Ale tyto pasti se pravděpodobně budou muset zaplnit ještě několik let. I když je nyní ekologie opuštěná, to je také pravda, ale technologie často musí být skryty v těchto opuštěných chvílích.
