Skræddersyet zkVM- og zero-knowledge-infrastruktur
Udvalgt engineeringarbejdeVerificeret udvalgt ingeniørarbejde med Rust-baseret verificerbar beregning, privatlivsbevarende udførelse og zkVM-infrastruktur.
Sammenhæng
Omfanget omfatter en ZK-native virtuel maskine, udførelsesspor, AIR-begrænsninger, Plonky3-baserede STARK-beviser og komponenter til distribuerede systemer.
Problem eller formål
Udvikl infrastruktur til verificerbar beregning og privatlivsbevarende udførelse med udtrykkelige grænser for offentlige input, tilstand, transaktioner og validering.
Leveret omfang
- Rustbaseret kontrollerbar beregning
- Udførelse med beskyttelse af privatlivet
- ZK-native virtuel maskine
- Instruktionssætarkitektur
- Udførelsesspor
- AIR-begrænsninger
- Plonky3-baserede STARK-beviser
- Binding af offentlige input
- Valideringsmekanismer med fokus på soundness
- Deterministisk tilstandsmaskine
- Merkle-beviser
- Transaktionel commit og rollback
- RPC
- libp2p
- GossipSub
- Metoder til lagring af tilstand
Engineeringområder
- Rust
- Verificerbare beregninger
- Zero-knowledge-infrastruktur
- Fordelte systemer
- Design af tilstand og transaktioner
Repræsentative output
- ZK-native virtuel maskininfrastruktur
- Udførelsesspor og AIR-begrænsninger
- Mekanismer til binding og validering af offentlige input
- Komponenter til distribueret tilstand og netværk
Hvad dette viser
- Ingeniørarbejde med verificerbar beregning
- Design af udførelse, der beskytter privatlivet
- Distribuerede systemer og statsmaskinarbejde
Omfang og oplysning
Dette resumé er begrænset til det verificerede engineeringregister og fremsætter ikke udsagn om assurance, universelle egenskaber, ydelsesresultater eller anvendelse.
Hold implementeringsoplysninger inden for det verificerede infrastrukturregister, og tilføj ikke udokumenterede udsagn om protokol eller implementering.
Relaterede BilgeQor-tjenester
Drøft et relateret engineeringomfang
Brug denne case som kontekst, og fortæl os, hvilket system, hvilken grænse eller hvilket leveringsspørgsmål der skal gennemgås.
Anmod om omfang for denne caseTilbage til engineering-cases