zkVM personalizado e infraestrutura de conhecimento zero
Trabalho de Engenharia SelecionadoTrabalho de engenharia selecionado verificado para computação verificável baseada em Rust, execução de preservação de privacidade e infraestrutura zkVM.
Contexto
O escopo inclui uma máquina virtual nativa de ZK, traços de execução, restrições AIR, provas STARK baseadas em Plonky3 e componentes de sistemas distribuídos.
Problema ou objetivo
Desenvolva uma infraestrutura de execução de computação verificável e preservação da privacidade com limites explícitos de entrada pública, estado, transação e validação.
Escopo entregue
- Computação verificável baseada em Rust
- Execução de preservação da privacidade
- Máquina virtual nativa de ZK
- Arquitetura do conjunto de instruções
- Traços de execução
- Restrições da AIR
- Provas STARK baseadas em Plonky3
- Ligação de entrada pública
- Mecanismos de validação focados na solidez das provas
- Máquina de estados determinística
- Provas Merkle
- Confirmação e reversão transacionais
- RPC
- libp2p
- GossipSub
- Abordagens de armazenamento de estado
Domínios de engenharia
- Rust
- Computação verificável
- Infraestrutura de conhecimento zero
- Sistemas distribuídos
- Projeto de estado e transação
Resultados representativos
- Infraestrutura de máquina virtual nativa de ZK
- Traços de execução e restrições AIR
- Mecanismos de vinculação e validação de entrada pública
- Estado distribuído e componentes de rede
O que isso demonstra
- Engenharia de computação verificável
- Projeto de execução que preserva a privacidade
- Sistemas distribuídos e trabalho de máquina de estado
Escopo e divulgação
Este resumo é limitado ao inventário de engenharia verificado e não reivindica garantia, propriedades universais, resultados de desempenho ou adoção.
Mantenha os detalhes de implementação dentro do inventário de infraestrutura verificado e não adicione reivindicações de protocolo ou implantação não declaradas.
Serviços BilgeQor relacionados
Discuta um escopo de engenharia relacionado
Use este caso como contexto e diga-nos qual sistema, limite ou pergunta de entrega precisa ser revisado.
Escopo de solicitação para este casoVoltar para casos de Engenharia