Skreddersydd zkVM- og nullkunnskapsinfrastruktur
Utvalgt teknisk arbeidVerifisert, utvalgt teknisk arbeid for Rust-basert verifiserbar beregning, personvernbevarende kjøring og zkVM-infrastruktur.
Kontekst
Omfanget omfatter en ZK-nativ virtuell maskin, kjøringsspor, AIR-begrensninger, Plonky3-baserte STARK-bevis og komponenter for distribuerte systemer.
Problem eller formål
Utvikle infrastruktur for verifiserbare beregninger og personvernbevarende kjøring med uttrykkelige grenser for offentlige inndata, tilstand, transaksjoner og validering.
Omfanget av det som ble levert
- Verifiserbar beregning basert på Rust
- Kjøring som ivaretar personvernet
- ZK-nativ virtuell maskin
- Instruksjonssettarkitektur
- Kjøringsspor
- AIR-begrensninger
- Plonky3-baserte STARK-bevis
- Binding til offentlige inndata
- Valideringsmekanismer med fokus på logisk korrekthet
- Deterministisk tilstandsmaskin
- Merkle-bevis
- Transaksjonell bekreftelse og tilbakerulling
- RPC
- libp2p
- GossipSub
- Metoder for tilstandslagring
Ingeniørfag
- Rust
- Kontrollerbar beregning
- Nullkunnskapsinfrastruktur
- Distribuerte systemer
- Tilstands- og transaksjonsdesign
Representative resultater
- ZK-nativ infrastruktur for virtuelle maskiner
- Kjøringsspor og AIR-begrensninger
- Mekanismer for binding og validering av offentlige inndata
- Komponenter for distribuert tilstand og nettverkskommunikasjon
Hva dette viser
- Ingeniørarbeid med verifiserbare beregninger
- Utforming av personvernbevarende kjøring
- Arbeid med distribuerte systemer og tilstandsmaskiner
Virkeområde og offentliggjøring
Dette sammendraget er begrenset til den verifiserte oversikten over teknisk arbeid og fremsetter ingen påstander om sikkerhetsgarantier, universelle egenskaper, ytelsesresultater eller at løsningen er tatt i bruk.
Hold implementeringsdetaljer innenfor den verifiserte infrastrukturfortegnelsen, og legg ikke til påstander om protokoller eller utrullinger som ikke er oppgitt.
Tilknyttede BilgeQor-tjenester
Diskuter omfanget av et beslektet teknisk oppdrag
Bruk denne saken som kontekst og fortell oss hvilket system, hvilken grense eller hvilket leveringsspørsmål som trenger gjennomgang.
Be om et omfang for denne casenTilbake til casestudier om ingeniørarbeid