Diseño de lenguaje - Achronyme

Demostrar que un cómputo ocurrió sin revelar sus datos exigía frameworks pesados y conocimiento criptográfico profundo. Achronyme lo reduce a escribir código: un lenguaje con tres máquinas virtuales de bytecode que ejecutan, atestiguan y traducen el mismo programa a una prueba zero-knowledge. Three machines. One language. Zero trust.

Escribes el programa una vez. Akron lo ejecuta como cualquier runtime; Artik re-ejecuta el cómputo para producir el witness; Lysis traduce la misma lógica a un circuito aritmético. El resultado: una prueba criptográfica de que el cómputo ocurrió — sin exponer los datos de entrada y sin confiar en terceros.

El proyecto comenzó en C++, pero la gestión de memoria manual se convirtió en un cuello de botella para la seguridad. La reescritura total en Rust implicó rediseñar la VM de una arquitectura de pila a una de registros — y esa base es la que hoy sostiene a las tres máquinas que generan pruebas zero-knowledge.