Toward full unbiasability for on-chain outcomes.
We built the real circuit — a Wesolowski VDF verified inside a Groth16 SNARK — and measured it ourselves instead of guessing from a back-of-envelope.
~14.5M constraints. Proof generated once per draw, off-chain. On-chain verify stays cheap. No oracles.
Measure the gate, then build.