Eigendefinert zkVM- og null-kunnskapsinfrastruktur
Valt ingeniørarbeidVerifisert utvalt ingeniørarbeid for Rust-basert verifiserbar utrekning, personvernbevarande køyring og zkVM-infrastruktur.
Samanheng
Omfanget omfattar ein ZK-nativ virtuell maskin, køyringsspor, AIR-avgrensingar, Plonky3-baserte STARK-bevis og komponentar i distribuerte system.
Problem eller mål
Utvikle infrastruktur for verifiserbare utrekningar og personvernbevarande køyring med uttrykkelege grenser for offentlege inndata, tilstand, transaksjonar og validering.
Levert arbeidsomfang
- Rustbasert kontrollerbar utrekning
- Køyring som tek vare på personvernet
- ZK-nativ virtuell maskin
- Instruksjonssettarkitektur
- Køyringsspor
- AIR-avgrensingar
- Plonky3-baserte STARK-bevis
- Offentleg inndatabinding
- Valideringsmekanismar med fokus på at ugyldige påstandar ikkje blir godtekne
- Deterministisk tilstandsmaskin
- Merkle-bevis
- Stadfesting og tilbakerulling av transaksjonar
- RPC
- libp2p
- GossipSub
- Tilnærmingar til lagring av tilstand
Ingeniørfagdomene
- Rust
- Kontrollerbar utrekning
- Nullkunnskapsinfrastruktur
- Distribuerte system
- Utforming av tilstandar og transaksjonar
Representative utdata
- ZK-nativ infrastruktur for virtuelle maskiner
- Køyringsspor og AIR-avgrensingar
- Mekanismar for binding og validering av offentlege inndata
- Distribuerte tilstands- og nettverkskomponentar
Kva dette viser
- Ingeniørarbeid med verifiserbare utrekningar
- Utforming av køyring som vernar personvernet
- Arbeid med distribuerte system og tilstandsmaskiner
Omfang og offentleggjering
Dette samandraget er avgrensa til den verifiserte oversikta over ingeniørarbeidet og gjer ikkje krav på tryggleiksgarantiar, universelle eigenskapar, ytingsresultat eller at løysinga er teken i bruk.
Hald implementeringsdetaljane innanfor den verifiserte infrastrukturoversikta, og ikkje legg til påstandar om protokollar eller utrulling som ikkje er oppgjevne.
Relaterte BilgeQor-tenester
Diskuter omfanget av eit relatert teknisk utviklingsarbeid
Bruk denne saka som kontekst, og fortel oss kva spørsmål om system, grenser eller levering som treng vurdering.
Be om omfang for denne sakaTilbake til ingeniørfaglege casestudiar