Protocol

The contracts, plainly

Every market shares one on-chain settlement stack on Robinhood Chain (testnet 46630). All source-verified — click any address to copy or open it in the explorer. Two market kinds settle behind a single 5-slot proof layout [init, final, commit, id, dataHash].

Verifier core (shared)6
RoundVerifierEntry
0x191a…B4C2 ⧉↗
StarkVerifier
0xdB6C…66CF ⧉↗
RoundStarkVerifier
0xe36f…e2c4 ⧉↗
BatchVerifierEntry
0x8b1E…757E ⧉↗
BatchStarkVerifier
0xae50…37b7 ⧉↗
ProofRegistry
0xa831…D97b ⧉↗
Optimistic settlement3
RollaSettlementOptimistic
0xe2Ef…a27D ⧉↗
RollaPositions
0xbb34…2774 ⧉↗
RollaFarmPoolETH
0x977f…Fe78 ⧉↗
Batch (eager) settlement3
RollaSettlementBatch
0x018b…68eF ⧉↗
RollaPositions
0x1F8e…AD4E ⧉↗
RollaFarmPoolETH
0x92C4…7C52 ⧉↗
Oracle markets (aggregation) — live6
AggMeanVerifierEntry
0x7077…419f ⧉↗
ChunkedAggMeanVerifier
0xed59…378B ⧉↗
RollaMarketSettlement
0x4d6E…2152 ⧉↗
OracleFeed
0x1dEc…B6b4 ⧉↗
RollaFees
0xb3D1…Ee8e ⧉↗
RollaFarmPoolETH (oracle)
0x73b6…b8dD ⧉↗

Each verifier entry also links 415 auto-generated constraint-library contracts. Internal libraries (StarkProofCodec, GoldilocksField, KeccakTranscript, MerkleVerifier, FriVerifier, FriDeep, ConstraintEval, Poseidon2Goldilocks) are inlined. Unaudited beta; trustless settlement audit in process. FRI num_queries is set low on testnet for gas — production raises it.