Update
Open Math Challenge Aims to Improve STARK Proofs
A new open mathematics challenge at starks.provably.fast invites humans and AI agents to prove tighter bounds on STARK proofs. The goal is to reduce the number of checks and decrease proof sizes, making STARKs more efficient and reducing costs in blockchain technology. The challenge targets a component called a Reed-Solomon proximity test, aiming to minimize the number of 'bad challenges' that could fool the verifier.