zkVM sur mesure et infrastructure à divulgation nulle de connaissance

Travaux d'ingénierie sélectionnés

Sélection vérifiée de travaux d'ingénierie sur le calcul vérifiable fondé sur Rust, l'exécution préservant la confidentialité et l'infrastructure zkVM.

Contexte

Le périmètre comprend une machine virtuelle native ZK, des traces d'exécution, des contraintes AIR, des preuves STARK fondées sur Plonky3 et des composants de systèmes distribués.

Problème ou objectif

Développer une infrastructure d'exécution de calcul vérifiable et de préservation de la confidentialité avec des limites explicites d'entrée publique, d'état, de transaction et de validation.

Périmètre livré

Calcul vérifiable fondé sur Rust
Exécution respectueuse de la confidentialité
Machine virtuelle native ZK
Architecture du jeu d'instructions
Traces d'exécution
Contraintes AIR
Preuves STARK basées sur Plonky3
Liaison des entrées publiques
Mécanismes de validation axés sur la solidité
Machine d'état déterministe
Preuves Merkle
Validation et retour en arrière transactionnels
RPC
libp2p
GossipSub
Approches de stockage de l'état

Domaines d'ingénierie

Rust
Calcul vérifiable
Infrastructure à divulgation nulle de connaissance
Systèmes distribués
Conception de l'état et des transactions

Livrables représentatifs

Infrastructure de machine virtuelle native ZK
Traces d'exécution et contraintes AIR
Mécanismes de liaison et de validation des données saisies publiquement
Composants de gestion de l'état distribué et du réseau

Ce que cela démontre

Ingénierie de calcul vérifiable
Conception d'exécution préservant la confidentialité
Travaux sur les systèmes distribués et les machines à états

Périmètre et informations divulguées

Ce résumé se limite à l'inventaire d'ingénierie vérifié et n'affirme ni une assurance, ni des propriétés universelles, ni des résultats de performance, ni une adoption.

Limiter les détails de mise en œuvre à l'inventaire d'infrastructure vérifié et ne pas ajouter d'affirmations non établies sur les protocoles ou les déploiements.

Services BilgeQor associés

Discuter d'un périmètre d'ingénierie connexe

Utilisez cette étude de cas comme contexte et indiquez-nous quel système, quel périmètre ou quelle question relative à la prestation doit être examiné.

Demander un périmètre pour ce cas Retour aux cas d'ingénierie