Presentamos Achronyme — un lenguaje para pruebas zero-knowledge. Lee el anuncio

Instalación

Cómo instalar y compilar Achronyme.

Instalación Rápida

Instala la última versión con un solo comando:

curl -fsSL https://achrony.me/install.sh | sh

Esto descarga el binario ach a ~/.local/bin. Requiere Linux o macOS (x86_64 o aarch64).

Verifica la instalación:

ach --version

Desde el Código Fuente

Achronyme está escrito en Rust. Necesitas un toolchain de Rust reciente (1.77+).

git clone https://github.com/achronyme/achronyme.git
cd achronyme
cargo build --release

El binario se encuentra en target/release/ach.

Verificar la compilación

cargo test --workspace     # 2,543 pruebas unitarias
bash test/run_tests.sh     # 162 pruebas E2E de integración

Opcional: Compatibilidad con snarkjs

Achronyme incluye backends nativos de Groth16 (ark-groth16) y PlonK (halo2-KZG) — no se necesitan herramientas externas. Las pruebas se generan en proceso.

Los archivos .r1cs y .wtns generados también son compatibles con snarkjs para flujos de trabajo externos:

snarkjs groth16 setup circuit.r1cs pot12_final.ptau circuit.zkey
snarkjs groth16 prove circuit.zkey witness.wtns proof.json public.json
snarkjs groth16 verify verification_key.json public.json proof.json
Navigation