Herodotus

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). What it does: → Verifies STARK proofs generated by S-two → Wraps them into a succinct SNARK (Groth16) → Enables efficient onchain verification of Cairo execution What this unlocks: → EVM settlement for any L2 or app proving with S-two + Cairo → Fast proving from S-two, lightweight verification where it matters → Works on any EVM chain How it works: 1. Prove your Cairo program with S-two 2. Wrap the STARK proof into Groth16 using this repo 3. Verify with Groth16 solidity verifier onchain Coming soon: → Direct integration into Atlantic for seamless EVM settlement → More benchmarks, including GPU-accelerated proving Notes: → Current focus is S-two Cairo; other AIRs can be added over time → Audit pending, use at your own risk → Contributions welcome! Repo: https://lnkd.in/ey7HfKib

🛰️ Atlantic × S-two is LIVE! Our managed ZK prover service that makes SHARP integration accessible to all developers now supports StarkWare's next-gen S-two prover. Every developer using Atlantic to access SHARP can now leverage S-two in their projects! How it works: You submit Cairo → Atlantic manages everything → SHARP (powered by S-two) proves → Verify on Ethereum, L2s, or off-chain Zero infrastructure hassle. Automatic optimization. Pay-as-you-go pricing. The easiest way to integrate with SHARP just leveled up 🔥 📖 Full announcement: https://lnkd.in/ddP6WZGq

Wrapped up a deep dive on FFTs, AIRs, and STARKs at the first Core Program Brazil 2025 Meetup! 🇧🇷 Led by Bartosz N., there was incredible community energy and a fantastic initiative for the ZK ecosystem from ERC55 and the Ethereum Foundation! 🛰️#ZKProofs #Ethereum

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