Contract tooling

Verifiable UBT

ZK circuits & privacy

Enfocado en la privacidad · Verificación

tkmct/go-ethereum/tree/test-ubt-prompt(2 ☆)

Genera pruebas zkVM recursivas que verifican que las actualizaciones de estado del Unified Binary Trie (UBT) y del trie de Merkle Patricia coinciden por bloque de Ethereum. Permite la verificación de estado sin necesidad de confianza para clientes ligeros y la recuperación de información privada.

Related resources

ZK Email

ZK Email proporciona circuitos y SDK para probar hechos sobre transcripciones de correo electrónico redactadas en cadena. Útil cuando desea comprobaciones de identidad o recibos que preserven la privacidad sin revelar (doxxing) las bandejas de entrada.

Railgun

Railgun es un protocolo de privacidad para Ethereum y redes EVM que proporciona transacciones blindadas e interacciones privadas de finanzas descentralizadas (DeFi) con pruebas de conocimiento cero.

snarkjs

snarkjs es un conjunto de herramientas de JavaScript y CLI para generar y verificar pruebas ZK-SNARK, y para ejecutar flujos de trabajo de prueba comunes en Node.js y el navegador.

Noir

Noir es un lenguaje inspirado en Rust para escribir circuitos de conocimiento cero con una sintaxis amigable para el desarrollador y herramientas mantenidas por Aztec.

Circom

Circom es un lenguaje de dominio específico y un compilador para escribir y compilar circuitos aritméticos utilizados en sistemas de pruebas de conocimiento cero.

Aztec

Aztec es un rollup de Ethereum que prioriza la privacidad y una plataforma para desarrolladores para construir aplicaciones con privacidad programable y pruebas de conocimiento cero.