{"id":"tp-43019","type":"article-newspaper","title":"Open Math Challenge Seeks Tighter Bounds for Smaller STARK Proofs","author":"Simon Yoon","publisher":"TOKENPOST Inc.","url":"https://www.tokenpost.com/news/technology/43019","datePublished":"2026-10-28T22:29:09.000Z","dateModified":"2026-10-28T22:29:09.000Z","language":"en","abstract":"Among three targets are replacing a known quadratic bound with a linear one and extending a quadratic bound to a wider range. Proofs require independent review in Lean.","section":"Technology","references":[]}