Crypto Briefing· Estefano Gomez·· 2 小时前AI 评分38
开放数学挑战赛寻求更紧的界以缩小 STARK 证明
Open math challenge seeks tighter bounds to shrink STARK proofs
AI brief
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.provab…
Source: Crypto Briefing · cryptobriefing.com