Custom zkVM e infrastruttura zero-knowledge
Lavori di ingegneria selezionatiLavoro di ingegneria selezionato verificato per il calcolo verificabile basato su Rust, l'esecuzione che preserva la privacy e l'infrastruttura zkVM.
Contesto
L'ambito include una macchina virtuale nativa ZK, tracce di esecuzione, vincoli AIR, prove STARK basate su Plonky3 e componenti di sistemi distribuiti.
Problema o obiettivo
Sviluppa un'infrastruttura di esecuzione di calcolo verificabile e di conservazione della privacy con limiti espliciti di input pubblico, stato, transazione e convalida.
Ambito consegnato
- Calcolo verificabile basato su Rust
- Esecuzione che preserva la privacy
- Macchina virtuale nativa ZK
- Architettura del set di istruzioni
- Tracce di esecuzione
- Vincoli AIR
- Prove STARK basate su Plonky3
- Binding dell'input pubblico
- Meccanismi di convalida incentrati sulla soundness
- Macchina a stati deterministica
- Prove Merkle
- Commit transazionale e rollback
- RPC
- libp2p
- GossipSub
- Approcci di state-storage
Domini di ingegneria
- Rust
- Calcolo verificabile
- Infrastruttura a conoscenza zero
- Sistemi distribuiti
- Progettazione dello stato e delle transazioni
Output rappresentativi
- Infrastruttura di macchina virtuale nativa ZK
- Execution trace e vincoli AIR
- Meccanismi di associazione e convalida dell'input pubblico
- Stato distribuito e componenti di rete
Ciò che questo dimostra
- Ingegneria del calcolo verificabile
- Progettazione dell'esecuzione che preserva la privacy
- Sistemi distribuiti e lavoro su state machine
Ambito e divulgazione
Questo riepilogo è limitato all'inventario ingegneristico verificato e non rivendica assurance, proprietà universali, risultati di performance o adozione.
Mantieni i dettagli dell'implementazione all'interno dell'inventario dell'infrastruttura verificata e non aggiungere affermazioni non dichiarate su protocollo o deployment.
Servizi BilgeQor correlati
Discutere un ambito ingegneristico correlato
Usa questo caso come contesto e dicci quale sistema, confine o domanda di consegna deve essere rivisto.
Richiedi ambito per questo casoTorna ai casi di ingegneria