Acerca del servicio
TraducidoDesarrollo esquemas y pruebas industriales de conocimiento cero en Noir, el lenguaje ZK de Aztec con sintaxis inspirada en Rust. Noir te permite describir lógica privada en código limpio y legible mientras se mantiene independiente del backend: el esquema se compila a ACIR (Representación Intermedia de Circuito Abstracto) y puede trabajar con diferentes sistemas de prueba, incluyendo Barretenberg para pruebas UltraHonk y UltraPlonk.
Lo que obtienes:
— Esquemas personalizados en Noir para identificación, pruebas de pertenencia a conjuntos, votación privada, verificación de credenciales, mezcladores y transferencias confidenciales.
— Diseño de restricciones eficiente que reduce el conteo de puertas y el tiempo de generación de pruebas.
— Bibliotecas y módulos reutilizables de Noir con interfaces claras, pruebas unitarias a través de nargo y entradas públicas y privadas documentadas.
— Integración de verificador: generación de Solidity o verificadores de contratos para verificación de pruebas en cadena, así como generación de pruebas fuera de la cadena.
— Pruebas de inclusión de árbol de Merkle, compromisos de hash (Pedersen, Poseidon, Keccak), verificaciones de rango y verificación de firmas dentro del circuito.
— Integración completa con la capa de JavaScript o TypeScript (Node o navegador) para la construcción de testigos y generación de pruebas.
Proceso: Comienzo desde tus requisitos de privacidad, identifico entradas públicas y privadas, modelo las restricciones y refino el esquema para robustez y rendimiento. Cada esquema viene con un conjunto de pruebas, descripción de supuestos de confianza e instrucciones para prueba y verificación.
Describe tu tarea — Evaluaré los costos basados en las restricciones y propondré la solución Noir más limpia.
Lo que obtienes:
— Esquemas personalizados en Noir para identificación, pruebas de pertenencia a conjuntos, votación privada, verificación de credenciales, mezcladores y transferencias confidenciales.
— Diseño de restricciones eficiente que reduce el conteo de puertas y el tiempo de generación de pruebas.
— Bibliotecas y módulos reutilizables de Noir con interfaces claras, pruebas unitarias a través de nargo y entradas públicas y privadas documentadas.
— Integración de verificador: generación de Solidity o verificadores de contratos para verificación de pruebas en cadena, así como generación de pruebas fuera de la cadena.
— Pruebas de inclusión de árbol de Merkle, compromisos de hash (Pedersen, Poseidon, Keccak), verificaciones de rango y verificación de firmas dentro del circuito.
— Integración completa con la capa de JavaScript o TypeScript (Node o navegador) para la construcción de testigos y generación de pruebas.
Proceso: Comienzo desde tus requisitos de privacidad, identifico entradas públicas y privadas, modelo las restricciones y refino el esquema para robustez y rendimiento. Cada esquema viene con un conjunto de pruebas, descripción de supuestos de confianza e instrucciones para prueba y verificación.
Describe tu tarea — Evaluaré los costos basados en las restricciones y propondré la solución Noir más limpia.
