hekate-math v0.12.1 — Formally verified binary tower fields (F(2^k) to F(2^256)), constant-time by default, with hardware carry-less multiplication. For Sumcheck, GKR-based provers, and Binius protoco

Sign in to join the discussion — your thebay.events account works here.