Introducing Achronyme — a language for zero-knowledge proofs. Read the announcement

Installation

How to install and build Achronyme.

Quick Install

Install the latest release with a single command:

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

This downloads the ach binary to ~/.local/bin. Requires Linux or macOS (x86_64 or aarch64).

Verify the installation:

ach --version

From Source

Achronyme is written in Rust. You need a recent Rust toolchain (1.77+).

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

The binary is at target/release/ach.

Verify the build

cargo test --workspace     # 2,543 unit tests
bash test/run_tests.sh     # 162 E2E integration tests

Optional: snarkjs Compatibility

Achronyme includes native Groth16 (ark-groth16) and PlonK (halo2-KZG) backends — no external tools needed. Proofs are generated in-process.

The output .r1cs and .wtns files are also compatible with snarkjs for external workflows:

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