Herodotus 🛰

How do you prove a massive computation without a massive machine? Break it into chunks, prove them in parallel, stitch them back together. We wrote up how we're doing this inside @StarkwareLtd's S-two prover: @herodotusdev/cairo-continuations-proving-at-scale-1a7a6b728242" target="_blank" rel="nofollow noopener">medium.com/@herodotusdev/…

Any chain. Any block. Any storage slot. Verified with zero-knowledge proofs. That's Herodotus.

Notes: → Current focus is S-two Cairo; other AIRs can be added over time → Audit pending, use at your own risk → Contributions welcome! Repo: github.com/HerodotusDev/s…

Coming soon: → Direct integration into Atlantic for seamless EVM settlement → More benchmarks, including GPU-accelerated proving

1/6 Since we added S-two support to Atlantic, one question has come up more than any other: “When EVM verification?” Today we’re sharing the answer. Introducing stwo-gnark-verifier: an open-source gnark circuit for verifying S-two STARK proofs on EVM (Apache 2.0).

4/4 📖 Full announcement: herodotusdev.medium.com/atlantic-integ…

3/4Ready to access SHARP with S-two power? ✅ Start in 5 min: herodotus.cloud/en/atlantic

1/4 🛰️Atlantic × S-two is LIVE! Our managed ZK prover service that makes SHARP integration accessible to all developers now supports @StarkWareLtd's next-gen S-two prover. Every developer using Atlantic to access SHARP is now able to leverage S-two in their projects! 👇

#Devconnect is here! 🇦🇷 Building a zk-coprocessor use case? Hacking with Storage Proofs? Or maybe you're ready to submit your first Cairo job to our Atlantic Prover Service (proven by SHARP)? Our team will be there, and we'd love to chat about all things ZK. See you there! 👋

What started as an internal research doc is now @bankaihq, a Herodotus incubation building the future of light clients and trustless interop. Using our Herodotus zk-coprocessor and proving with Atlantic / @StarkWareLtd's S-two, their mission starts today. 👇

Props to @bartolomeo_diaz for leading a deep dive on FFTs, AIRs & STARKs at the first Core Program Brasil 2025 meeting. 🇧🇷 Incredible community energy and a fantastic initiative for the ZK ecosystem from @ERC55_ and @ethereumfndn

‼️ MOST BRIDGE TECH IS EVOLVING ‼️ Over the past 2 months, our team has kept our heads down to make an exciting shift in our (future) proof tech stack 🌉 Most Bridge is a fast, trust-minimized bridge connecting chains using zk-powered intents 🌉 TLDR; “PROOF OR IT DIDN’T HAPPEN” 🔍 Let’s dive into the alpha 👀

Ethereum turns 10! 🎉 Built on vision, code, and a global community. The next chapter is just beginning. #Ethereum10

Curious how our zk-coprocessor uses Storage Proofs to access arbitrary onchain data trustlessly? Merkle Mountain Ranges make it possible. Explore the visualizer to see how MMRs grow and build your intuition from the ground up! 🛰️

Cairo continuations already working and it looks very promising!! Soon: proving long computations with Stwo with limited memory footprint, thanks to @bartolomeo_diaz and @HerodotusDev 💪💪

Today @bartolomeo_diaz takes the stage at #ETHCC [8]! As part of the ZK & Cryptography track, he'll dive into the design of our ZK coprocessor, highlight some use cases, and run a live demo. If you're in Cannes, come by 👋🇫🇷 and stay tuned for the recording if you're not!