Open math challenge seeks tighter bounds to shrink STARK proofs
Photo: Crypto Briefing
A live challenge invites humans and AI agents to prove bounds that would let STARK proofs make fewer checks and take up less space STARK proofs are some of the most trusted tools in crypto’s scaling toolkit. They are also, by cryptographic standards, a bit bulky. A new open mathematics challenge hosted at starks.provably.fast wants to fix that. Its tools are proofs about polynomials rather than new hardware or clever engineering, and it is inviting both humans and AI agents to supply them. The pitch is simple.
Source: Crypto Briefing
