zkVM personalizada e infraestrutura de coñecemento cero

Contexto

O ámbito inclúe unha máquina virtual ZK-native, rastros de execución, restricións AIR, probas STARK Plonky3-based e compoñentes de sistemas distribuídos.

Problema ou obxectivo

Desenvolver infraestrutura de computación verificable e de execución que preserve a privacidade, con límites explícitos de entrada pública, estado, transacción e validación.

Alcance entregado

• Computación verificable baseada en Rust
• Execución que protexe a privacidade
• máquina virtual ZK-native
• Arquitectura do conxunto de instrucións
• Trazas de execución
• Restricións de AIR
• Probas STARK Plonky3-based
• Vinculación da entrada pública
• Mecanismos de validación centrados na solidez
• Máquina de estado determinista
• Probas de Merkle
• Confirmación e reversión de transaccións
• RPC
• libp2p
• GossipSub
• Enfoques de almacenamento do estado

Dominios de enxeñaría

• Rust
• Computación verificable
• Infraestrutura de coñecemento cero
• Sistemas distribuídos
• Deseño do estado e das transaccións

Resultados representativos

• Infraestrutura de máquina virtual ZK-native
• Trazas de execución e restricións AIR
• Mecanismos de vinculación e validación de entrada pública
• Componentes de estado distribuído e redes

O que isto demostra

• Enxeñería de computación verificable
• Deseño de execución que preserva a privacidade
• Sistemas distribuídos e traballo de máquinas de estado

Ámbito de aplicación e divulgación

Servizos relacionados BilgeQor