Vlastní zkVM a infrastruktura s nulovou znalostí

Vybrané práce v oblasti technického vývoje

Ověřené vybrané technické práce v oblasti ověřitelných výpočtů založených na Rustu, provádění zachovávajícího soukromí a infrastruktury zkVM.

Kontext

Rozsah zahrnuje virtuální stroj navržený pro ZK, stopy vykonávání, omezení AIR, důkazy STARK založené na Plonky3 a komponenty distribuovaných systémů.

Problém nebo cíl

Vyvinout infrastrukturu pro ověřitelné výpočty a provádění zachovávající soukromí s výslovně vymezenými hranicemi veřejných vstupů, stavu, transakcí a ověřování.

Poskytnutý rozsah

Ověřitelné výpočty založené na jazyce Rust
Provádění výpočtů se zachováním soukromí
Virtuální stroj s nativní podporou ZK
Architektura instrukční sady
Stopy provádění výpočtů
Omezení AIR
Důkazy STARK založené na Plonky3
Vazba na veřejný vstup
Ověřovací mechanismy zaměřené na korektnost důkazů
Deterministický stavový automat
Merkleovy důkazy
Transakční potvrzení a vrácení změn
RPC
libp2p
GossipSub
Přístupy k ukládání stavu

Oblasti technického vývoje

Rust
Ověřitelné výpočty
Infrastruktura s nulovou znalostí
Distribuované systémy
Návrh stavu a transakcí

Reprezentativní výstupy

Infrastruktura virtuálního stroje s nativní podporou ZK
Stopy provádění a omezení AIR
Mechanismy pro vazbu a validaci veřejných vstupů
Komponenty distribuovaného stavu a síťové komunikace

Co to ukazuje?

Vývoj systémů pro ověřitelné výpočty
Návrh provádění výpočtů se zachováním soukromí
Distribuované systémy a práce na stavových strojích

Rozsah a zveřejnění informací

Tento souhrn je omezen na ověřený soupis technických prací a nečiní tvrzení o zárukách, univerzálních vlastnostech, výkonnostních výsledcích ani zavedení do praxe.

Podrobnosti implementace ponechte v mezích ověřeného soupisu infrastruktury a nepřidávejte neuvedená tvrzení o protokolech nebo nasazení.

Související služby společnosti BilgeQor

Probrat související rozsah vývojových prací

Použijte tuto případovou studii jako kontext a sdělte nám, který systém je třeba přezkoumat nebo jaké hranice či otázky týkající se dodávky je třeba posoudit.

Vyžádat si rozsah pro tento případ Zpět na případové studie technického vývoje