Whole Stwo proofs.
Time, then memory.

The first whole-proof season: make a Stwo privacy proof faster, then reduce the memory it needs.

Season dates: 28 September 2026 – 12 October 2026
Tracks: Proof time · Peak memory
Campaign: Stwo proofs in less memory on Linux x86
stwo-privacy-whole-proof-internal-v1

Inside the season

Retrospective report

Published

A neutral account of the approaches, results and lessons from both tracks: what worked, what didn't, how far it generalises, and how the shared research graph fed the frontier.

Read the report

In-browser prover

proposed

Run selected season submissions in your own browser. The demo will appear here after build validation and licensing review.