Quickstart

Run Atrum locally and place a private bet on testnet.

Prerequisites

• Node 22+
• Monad Foundry — the standard foundryup will not give you Monad’s gas schedule, and every gas number in this project depends on it
• circom 2.1.9+

Build

git clone https://github.com/atrummarkets/atrum-core
cd atrum-core
make circuits    # compile, Groth16 setup, export Solidity verifiers
make fixtures    # real proofs for the test suite to replay
make verifiers   # copy generated verifiers into contracts/
make test

Always run make fixtures, never the individual generators. They are coupled: the settlement fixtures prove a statement about the ciphertext the action fixtures produce, so regenerating one alone leaves a proof bound to a ciphertext that no longer exists.

Deploy to testnet

cp contracts/.env.example contracts/.env   # add a throwaway PRIVATE_KEY
make testnet-preflight                     # checks the key is set and funded
make testnet-deploy

The deployment verifies itself before reporting. If any invariant fails — an unbound exit path, a stale committee key, a miswired component — it reverts rather than printing addresses.

Verify a deployment

make verify-deployment POOL=0x...   # every on-chain invariant
make verify-mirror POOL=0x...       # sequencer's tree matches the chain

Run both after any deploy. Two of the worst bugs this project has shipped were deployments that looked fine and could never pay anyone out.

Run the services

cd sequencer
npm ci
npm run start:sequencer   # batches commitments, serves Merkle paths
npm run start:publisher   # decrypts the total, publishes coarse odds

Run them in separate environments. The sequencer is trusted for liveness only; the publisher holds the committee key, and anyone who obtains it can decrypt every bet.