An experimental blockchain where compute nodes run model layers in deterministic WASM, back results with Groth16 zkSNARKs, and settle disputes with bisection games — so verification cost stays flat while models grow without bound.
We measured it. Groth16-proving every layer of a 2.7B-parameter model takes about a week per inference. A trillion parameters would take years. So verification here is statistical: stake first, sample op-level SNARK proofs at random after results commit, and pay for a full disputed-layer proof only when a game demands it.
measured extrapolation, docs/ZK_BENCHMARKS.mdk proofs × ~0.1–0.7s each1 − 0.9^22 < 0.1 escape oddsEvery operator below compiles with circom 2, has a bit-exact integer spec mirrored against the WASM runtime by differential tests, and resolves on-chain disputes through the SNARK fast path.
Dense layer core. Output-only commitment halved proof cost versus squaring every witness — inputs are already bound by the arithmetic. Measured up to 64×64 (4,160 constraints, 119 ms native).
Integer sqrt proven by bounds witness, reciprocal proven two-sided, floor semantics locked to the WASM.
Sign via 32-bit decomposition; branch forced by the circuit.
One-hot selection plus dominance proofs; ties resolve canonically.
Mirrors the WAT's hard-max rule exactly. Equality indicators instead of signed-bit tricks.
$ git clone iguha0/ai-chain-network && cd ai-chain-network $ npm install && npm run build $ npm run setup:rapidsnark # native prover (optional, ~5x) # three-node local network $ npm run node1 & $ npm run node2 & $ npm run node3 & # open http://localhost:3001/dashboard $ npm test 98 passing (19 suites)
No vaporware, no inflated claims. Here is exactly where Verinoo stands.
Earn gas fees and block rewards for producing blocks and settling disputes. One command per node; SQLite storage; token-gated admin API.
npm run node1
Register a compute node, claim tasks matching your capacity, submit results with proofs. Reputation compounds; fraud gets slashed.
POST /tx registerNode
Register models, submit inference tasks, stream status from any node’s REST surface — or read the chain straight from SQLite.
GET /status · GET /blocks
Clone it, break it, prove things with it. AGPL-3.0, Rust core, no vaporware.