Aplicaciones de conocimiento cero en Leo para Aleo

Creo aplicaciones de conocimiento cero en Leo para la blockchain de Aleo, desde la primera idea hasta un programa desplegado en mainnet o testnet. Leo es un lenguaje inspirado en Rust para escribir aplicaciones de conocimiento cero y contratos inteligentes privados que se compilan a instrucciones de Aleo. Trabajo con él a diario y convierto los requisitos de privacidad en código funcional y demostrable.

Lo que incluye el servicio:

— Programas de Leo limpios y bien estructurados con registros tipados, mapeos y transiciones para tu lógica de negocio;
— Contratos inteligentes privados donde los datos sensibles permanecen ocultos mientras la corrección se prueba en la cadena;
— Lógica en la cadena y fuera de la cadena: estándares de tokens, pagos privados, votación, identificación, juegos y primitivas zk personalizadas;
— Cobertura de pruebas completa, ejecución local a través de la cadena de herramientas de Aleo y esquemas eficientes en restricciones;
— Despliegue en la testnet o mainnet de Aleo, e integración con billetera y frontend si necesitas una dApp completa.

Cómo trabajo: comenzamos con una breve llamada de especificaciones, desgloso tus requisitos en registros y transiciones, luego entrego el programa en etapas comprensibles. Obtienes el código fuente con comentarios, un conjunto de pruebas, scripts de despliegue y una breve guía sobre cómo cada transición prueba la afirmación sin revelar entradas privadas.

Una startup que explora finanzas privadas, un equipo que migra un contrato a Aleo, o un fundador que prueba una idea zk: ayudaré a liberar una base de código segura y lista para auditoría en Leo. Describe tu tarea y estimaré el alcance, las restricciones y el cronograma.