Anpassad zkVM- och nollkunskapsinfrastruktur

Utvalt teknikutvecklingsarbete

Verifierat, utvalt utvecklingsarbete för Rust-baserade verifierbara beräkningar, integritetsbevarande körning och zkVM-infrastruktur.

Kontext

Omfattningen inkluderar en virtuell maskin byggd för ZK, exekveringsspår, AIR-villkor, Plonky3-baserade STARK-bevis och komponenter för distribuerade system.

Problem eller mål

Utveckla infrastruktur för verifierbara beräkningar och integritetsbevarande exekvering med uttryckliga gränser för offentliga indata, tillstånd, transaktioner och validering.

Levererad omfattning

Rustbaserad verifierbar beräkning
Sekretessbevarande utförande
Virtuell maskin byggd för ZK från grunden
Instruktionsuppsättningsarkitektur
Exekveringsspår
AIR-begränsningar
Plonky3-baserade STARK-bevis
Bindning av offentliga indata
Valideringsmekanismer med fokus på bevissystemets sundhet
Deterministisk tillståndsmaskin
Merkle-bevis
Transaktionell bekräftelse och återgång
RPC
libp2p
GossipSub
Metoder för lagring av tillstånd

Teknikområden

Rust
Verifierbar beräkning
Infrastruktur för zero-knowledge
Distribuerade system
Utformning av tillstånd och transaktioner

Representativa leveranser

Infrastruktur för virtuella maskiner med inbyggt stöd för ZK
Exekveringsspår och AIR-begränsningar
Mekanismer för bindning och validering av offentliga indata
Komponenter för distribuerat tillstånd och nätverk

Vad detta visar

Teknisk utveckling för verifierbara beräkningar
Integritetsbevarande exekveringsdesign
Arbete med distribuerade system och tillståndsmaskiner

Omfattning och redovisning

Denna sammanfattning är begränsad till den verifierade sammanställningen av tekniskt arbete och gör inga påståenden om säkerhetsförsäkran, universella egenskaper, prestandaresultat eller användning.

Håll implementeringsdetaljer inom den verifierade infrastrukturförteckningen och lägg inte till påståenden om protokoll eller driftsättning som inte har angetts.

Relaterade BilgeQor-tjänster

Diskutera omfattningen av ett relaterat utvecklingsuppdrag

Använd detta fall som bakgrund och berätta vilket system, vilken gräns eller vilken leveransfråga som behöver granskas.

Begär omfattning för detta fall Tillbaka till tekniska fall