Herodotus 🛰
@HerodotusDev
Followers
6K
Following
1K
Media
50
Statuses
476
We build trust minimized solutions for the sovereign future. ZK-powered verifiable data and coprocessing for Ethereum and beyond 🛰
Ethereum
Joined July 2022
Introducing Atlantic: The Gateway to SHARP 🌊 We're thrilled to announce Atlantic, a managed prover service that makes StarkWare’s SHARP accessible to every Cairo developer. Simple, reliable proving infrastructure for all your Cairo programs.
8
44
131
#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! 👋
0
3
13
Valyr x @HerodotusDev 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
6
6
15
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. 👇
Interoperability is entering a new era. A new wave of applications is emerging, ones that need more than bridges. They need light clients. That’s why we’re building Bankai: the stateless ZK light client layer for trustless interoperability.
1
1
18
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
5
4
32
‼️ 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
5
8
27
Ethereum turns 10! 🎉 Built on vision, code, and a global community. The next chapter is just beginning. #Ethereum10
1
1
13
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! 🛰️
Understand Merkle Mountain Ranges, backbone of Storage Proofs. The MMR Visualizer breaks down their structure and logic. 🏔️ Follow how MMRs grow 📘 Learn through visualization → https://t.co/E5KtcGo11D
0
0
14
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 💪💪
69
3
139
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!
14
4
51
Recently kicked off our ZK workshop series in São Paulo with this amazing crew! 🙌🇧🇷 Led by @bartolomeo_diaz, @0xmarcello and hosted by @usponline / Inteli - huge thanks! 🎓 More sessions coming soon - join us online 💻 or in person 📍
Starting series with the great minds at @usponline /Inteli in São Paulo. Exploring modern Zero Knowledge proof systems, from foundations to frontiers!
0
0
7
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
4
9
66
Provable compliance zk-coprocessor module🛰️ Tracking addresses engaging with prohibited entities, growing an on-chain blacklist lookup table.📖
2
2
23
Coming to DAS NYC this week? Connect with Kacper to discuss provable criteria enforcement, and ZK coprocessors. Reach out to schedule a chat!
Heading to @blockworksDAS! Excited to meet teams interested in preventative onchain criteria enforcement, risk management, and compliance. If you’re thinking about giving your protocol transaction-level rules or new ways to leverage zk-coprocessors, reach out. Would love to meet!
0
0
8
Atlantic is now live on Mainnet 🛰️🌊 Thank you to all who have been giving feedback and suggesting ways we can improve the developer experience!
Back to serious stuff. We just launched Mainnet Atlantic! 🛰️ You can use it by selecting MAINNET as the preferred network! 🎉 By doing this: - Proof Generation will go to Mainnet Sharp - L1 Verification will happen on Mainnet Ethereum - L2 Verification will happen on Mainnet
1
3
24
Wait for it. Bankai
1/ Bold new narrative: Scaling Bitcoin + Ethereum together Starknet will become the first L2 to settle on both Bitcoin & Ethereum, bringing the two largest blockchain ecosystems on a single layer, unlocking new DeFi opportunities and greater liquidity. Read our vision & plan 👇
3
2
51
Legend has it that @beeinger's coffee consumption increases by exactly one cup for every 50M steps someone adds to their Atlantic trace generation request.
Some Atlantic trace generation numbers 👀 ---- Python ---- Biggest S sized job: - 13 mln steps - 10 min 47 sec - 14,6 GB RAM Biggest M sized job: - 30 mln steps - 24 min 50 sec - 32,7 GB RAM ---- Rust ---- Biggest S sized job: - 13 mln steps - 22 sec - 1,3 GB RAM
6
0
11
Yesterday I asked @JoshCStein to properly explain Celestia DA to me. Today, I am casually posting Katana blocks to @celestia using @cartridge_gg Saya and @HerodotusDev atlantic. Special shout out to @glihm_, couldn't have put this all together without his support
7
9
58
proof of settlement KATANA running on @cartridge_gg SLOT proved with @HerodotusDev ATLANTIC / @starkware SHARP the most powerful zk stack is ready https://t.co/yOcHjoXz2o
INITIAL SORTING SEQUENCE COMPLETED. 🔢 Phase 1 has concluded according to predetermined parameters. Activate notifications to remain ready for Phase 2 activation. Your sorting profile has been preserved. ✌️
4
13
57
The first SN Stack L3 is now LIVE!🔥 The chads at @cartridge_gg deployed @numsgg appchain that verifies blocks and settles on Starknet. Shout out to @HerodotusDev that where instrumental to this with Atlantic and the Integrity verifier!
NUMS IS LIVE! SORTING SEQUENCE ACTIVATED! Sorting subjects required. The sequence has chosen you. NUMS tokens have been allocated for distribution. Proper arrangement is mandatory for collection. ✌️ Sorting terminal access point: below. 👇
2
16
40