Contract tooling

Halo2

ZK circuits & privacy

Enfocado en la privacidad · Escalabilidad · Experiencia del desarrollador · Verificación

privacy-scaling-explorations/halo2(250 ☆)

Bifurcación rediseñada por PSE del sistema de pruebas Halo2 PLONK de Zcash, que presenta un backend KZG con verificador de Solidity para una verificación económica en la capa 1 (l1), soporte para múltiples curvas elípticas y una arquitectura frontend/backend desacoplada.

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.