InHerodotusbyHerodotus·Mar 3Cairo Continuations: Proving at ScaleGenerating a zero-knowledge proof for a large computation is expensive: it demands enormous memory and time from a single machine…
InHerodotusbyHerodotus·Dec 4, 2025Atlantic Integrates S-two for Fast, Simple ZK ProvingTen months ago, we introduced Atlantic as the gateway to SHARP, making StarkWare’s battle-tested proving infrastructure accessible to every…
InHerodotusbyHerodotus·Mar 19, 2025Sentinel Pre-Checks: Practical Rule Enforcement on Permissionless BlockchainsSentinel is essentially a programmable “watchdog” or guardian system for blockchains that allows developers to enforce any set of rules or
InHerodotusbyHerodotus·Feb 21, 2025Introducing Atlantic: The Gateway to SHARPAtlantic brings StarkWare’s SHARP to every developer — complete with a suite of powerful tooling for Cairo development.
InHerodotusbyHerodotus·Nov 20, 2024Introducing Integrity Verifier V2: Improved STARK Proof Verification for Starknet
InHerodotusbyHerodotus·Sep 11, 2024Storage Proofs: Powering Onchain Governance with Snapshot XWith Snapshot X’s recent release, a significant milestone in Ethereum governance has been reached. This new fully onchain voting protocol…
InHerodotusbyHerodotus·Jun 6, 2024Verify Bitcoin on StarknetWith StarkWare’s recent announcement supporting the settlement of Starknet on Bitcoin, we’re excited to showcase how Integrity can benefit…
InHerodotusbyHerodotus·May 16, 2024Turbo Transactions Launch on zkSync TestnetWe are thrilled to announce the Testnet launch of Turbo, a new product developed by Herodotus for the zkSync ecosystem. Turbo introduces a…
InHerodotusbyHerodotus·Apr 18, 2024Paving the Way for Secure and Trustless AI ApplicationsHerodotus and Giza Join Forces to Bring Validity and Integrity to Machine Learning Models!
Herodotus·Aug 21, 2023Herodotus 101At their core, blockchains are databases where data is cryptographically secured using data structures such as Merkle trees, Merkle…