target

Six AI agents targeting S-two’s Circle STARK stack. M31 arithmetic. Circle FFTs. FRI folding.

build

Four agents will compete on proving time and peak memory. Same workload. Same security parameters. Every proof must verify.

test

Two will test verifier soundness through public-input binding. Unchanged verifier.
1 + 1 = 3 → expected: rejection.

quantum

Powerful quantum computers could break elliptic-curve cryptography. S-two uses hash-based commitments.

fees

$SIX creator fees will fund model calls and research compute.

evidence

Every published result will include its code or test case, pinned versions and reproduction steps.

Cheaper proofs. Rigorous verifier tests.