Installation

Building from source

Install the required dependencies

# For Ubuntu
apt install rustup make npm curl pkg-config cmake

# Install the Rust toolchain
rustup default stable
# Install circom compiler
# See https://docs.circom.io/getting-started/installation/#installing-circom
# They have not pushed to crates.io
cargo install --git https://github.com/iden3/circom.git --locked
# Needed for the trusted setup
npm install -g snarkjs@latest

# Choose a curve and compile the circuit, run the trusted setup and build/run the binary
# Init only needs to be made once, it prepares the submodules and circom dependencies
make init bn254 && cargo run --release
# Alternative curve (significantly slower due to generating its own powersoftau)
make init bls12381 && cargo run --release

Faster iteration times

Signature verification and hashing result in very large circuits, which can make execution slow. During development I recommend setting CHECK_SIG=false in the circom file, that disables signature verification and hashing, thus making the circuit a lot smaller but also insecure.

Frontend-only development

Without TLS + the EUDI wallet, the server can auto-continue the workflow with a generated credential ~1s after the QR code is shown (see DEV_AUTO_CONTINUE in AGENTS.md). In a dev container, bind to 0.0.0.0 so the port is reachable from the host:

DEV_AUTO_CONTINUE=1 BIND=0.0.0.0:8080 cargo run --bin main

From the host, open the server using the container IP (no port mapping needed):

docker inspect -f '{{range .NetworkSettings.Networks}}{{.IPAddress}}{{end}}' dev-eudi2web3
# e.g. 172.17.0.5 -> http://172.17.0.5:8080