TokenPost topic

provably.fast

1 TokenPost story is tagged provably.fast. The newest appear first.

Latest provably.fast stories

• Open Math Challenge Seeks Tighter Bounds for Smaller STARK Proofs

  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.

  Oct 28, 2026, 6:29 PM EDT · Technology