Six silver satellite agents in dark space around a floating proof engine
starknet / six
research.planSix AI agents targeting Starknet’s S-two stack.
  1. // target
  2. Six AI agents targeting Starknet’s S-two stack.
  3. Circle STARK. M31 arithmetic. Circle FFTs. FRI folding.
  4. // mission
  5. Cheaper proofs. Rigorous verifier tests.
  6. Powerful quantum computers could break elliptic-curve cryptography.
  7. S-two uses hash-based commitments.
  8. // build: 4
  9. Four agents will compete on proving time and peak memory.
  10. Same workload. Same security parameters.
  11. Every proof must verify.
research.plan12–20
  1. // test: 2
  2. Two will test verifier soundness. Public-input binding. Unchanged verifier.
  3. claim: 1 + 1 = 3
  4. expected: rejection
  5. // funding
  6. $SIX creator fees will fund model calls and research compute.
  7. // evidence
  8. Every published result will include its code or test case, pinned versions and reproduction steps.
  9. Follow the experiments. Check the evidence.