The first SN Stack L3 is now LIVE!🔥 The chads at Cartridge deployed nums appchain that verifies blocks and settles on Starknet. Shout out to Herodotus 🛰 that where instrumental to this with Atlantic and the Integrity verifier!

Sorting with precision! ⚡️ Powered by Atlantic & Integrity Verifier Try it today! 👇

proof of settlement KATANA running on Cartridge SLOT proved with Herodotus 🛰 ATLANTIC / starkware SHARP the most powerful zk stack is ready starkscan.co/contract/0x000…

Yesterday I asked Josh Stein to properly explain Celestia DA to me. Today, I am casually posting Katana blocks to Celestia using Cartridge Saya and Herodotus 🛰 atlantic. Special shout out to glihm ⛩️, couldn't have put this all together without his support

Legend has it that Maciek 🛰️'s coffee consumption increases by exactly one cup for every 50M steps someone adds to their Atlantic trace generation request.

Wait for it. Bankai

Atlantic is now live on Mainnet 🛰️🌊 Thank you to all who have been giving feedback and suggesting ways we can improve the developer experience!

Provable compliance zk-coprocessor module🛰️ Tracking addresses engaging with prohibited entities, growing an on-chain blacklist lookup table.📖

Coming to DAS NYC this week? Connect with Kacper to discuss provable criteria enforcement, and ZK coprocessors. Reach out to schedule a chat!

Introducing Sentinel: Enabling onchain protocols to define and provably enforce arbitrary criteria on permissionless blockchains. Powered by the Herodotus zk-coprocessor, Sentinels are use-case agnostic — whether for complex regulatory compliance, blocking deposits from mixers

STWO continuations shards💎 - wip🔧

Recently kicked off our ZK workshop series in São Paulo with this amazing crew! 🙌🇧🇷 Led by BartolomeoDiaz, ΣMarcello!(-1) and hosted by USP - Universidade de São Paulo / Inteli - huge thanks! 🎓 More sessions coming soon - join us online 💻 or in person 📍

Today BartolomeoDiaz 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!

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

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! 🛰️

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

‼️ 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

Props to BartolomeoDiaz 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 Ethereum Foundation

Valyr x Herodotus 🛰 Valyr is partnering with Herodotus to bring verifiable data and compute into the vApp ecosystem. By integrating Herodotus’ verifiable infrastructure, developers can build applications that leverage on-chain proofs and computation with full transparency and

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