TGViewer
Lighter Announcements Lighter Announcements @lighter_announcements · 6.08K subscribers
Post #387 1.51K
gm

Lighter Prover Challenge

Some context: Every transaction on Lighter is verified by a proving system that ensures correctness of the exchange. Today, we're partnering with Eigen Labs to open that system to the public for engineers to contribute in optimizing it and help unlock meaningful improvements for the entire Lighter ecosystem.

Lighter's prover processes production blocks with hundreds of transactions. Together with Eigen Labs, we're launching the Lighter Prover Challenge: an open competition to make it faster, with 15,000 LIT in prizes!

Run an agent. Test an optimization. Submit the result.

Participants can reduce constraint counts, speed up transaction proving, and cut total block proving time without compromising proof correctness. Every verified improvement makes the prover faster for everyone.

Join the discussion: https://ecdsafail.slack.com/join/shared_invite/zt-3zjf295zm-VOtjJNsQWLcM7JEwAfPQuQ
Leaderboard: https://lighter.fast
Lighter Prover Challenge Build faster proofs for Lighter's zk circuit and follow every verified improvement on the live leaderboard.
  • 🔥 6
More from @lighter_announcements
  1. Sep 19, 2026gm The price cap for $STABLECOINX over the weekend has been updated to 40%.
  2. Sep 18, 2026gm Weekly Update Product Updates • Arc deposits are now live on Lighter Core. • Multiselec…
  3. Sep 18, 2026gm We will be performing a network upgrade on Sunday, September 20 at 11:00 AM UTC. Expect…
  4. Sep 18, 2026gm Lighter on Robinhood Chain Points A total of 85,000 points were distributed today to th…
  5. Sep 15, 2026gm We will be delisting the following markets: September 16, 2026 at 8:00 PM UTC: $WHEAT S…
  6. Sep 15, 2026gm New Perp Listing! You can now trade $STONK on Lighter Core at 5x leverage.
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →