Recibos reales, no promesas. Hitos versionados, commits enviados, y lo que sigue.
El circuito de referencia mas pesado de circomlib ahora compila, genera witness y prueba de extremo a extremo. El R1CS optimizado llega a ~1.49M restricciones — por debajo del propio conteo de circom — el witness verifica, y Groth16 prove + verify estan medidos. 162 tests E2E cross-curva siguen en verde.
Plantillas de circuito pre-compiladas serializadas en bytecode. Los bloques prove {} son valores first-class.
Exporta contratos verificadores Groth16 para verificacion on-chain en Ethereum.
Heuristica de frecuencia, eliminacion de lineales tautologicas, eliminacion gaussiana, plegado de constantes BN254. EscalarMulAny 3.6x mas rapido.
Importa templates .circom y circomlib (Poseidon, MiMCSponge, EdDSA, BabyJubjub) directamente. Conteos de restricciones igualan circom O2 o lo superan — Num2Bits 9 vs 17, LessThan 10 vs 20.
// import circomlib directly
use circom "poseidon.circom"
let hash = Poseidon(2)
.compute([secret, salt])
prove(hash: Public) {
assert_eq(
Poseidon(2).hash([secret, salt]),
hash
)
}
// 240 constraints — matches O2Tests que intentan forjar pruebas demuestran que las reducciones de restricciones son ganancias reales de plegado LC, no bugs de under-constraining.
El WASM en el navegador impulsa la inteligencia del editor — diagnosticos nivel LSP, hover y autocompletado instantaneos mientras escribes. La compilacion, ejecucion y generacion de pruebas corren en el servidor, con proyectos por sesion en el navegador. Escribe y prueba circuitos online — sin instalar.
Runtime de la VM parametrizado sobre FieldBackend. Los bloques prove {} usan aritmetica nativa del campo para cualquier curva.
Backend de restricciones AIR usando Plonky3 para pruebas STARK transparentes sobre el campo Goldilocks — sin trusted setup.
Importa programas Noir como modulos ProveIR. Usa circuitos Noir existentes dentro de Achronyme junto con Circom.
Embebe el runtime de Achronyme en apps Rust via crate. Proc-macros, interop completa. Apunta a devs Rust, no solo a ingenieros ZK.
Congelamiento de especificacion del lenguaje, garantias de compatibilidad hacia atras y formato de bytecode estable.