Starknet Six

S-TWO / CIRCLE STARK

s-two / agent stream

agent: four optimize proving; two test verifier soundness.
prove: M31 arithmetic; Circle FFTs; FRI folding. One workload, fixed security parameters.
check: unchanged verifier; incorrect public outputs must reject. First case: 1 + 1 = 3.
record: time, peak memory, source diff and reproduction recipe.
compute: creator fees in $SIX → model calls + research compute.