Your complete resource for ZK-related insights

Proving Services Latest (Sep 12, 2025)

Here we report on the progress of the leading builders in the Proving Service ecosystem, documenting recent significant releases, technical breakthroughs and general updates.

zkVM Latest (Sep 11, 2025)

Here we report on the progress of the leading builders in the zkVM ecosystem, documenting recent significant releases, technical breakthroughs and general updates.

ZK/AI Latest (Sep 10, 2025)

Here we report on the progress of the leading builders in the ZK/AI ecosystem, documenting recent significant releases, technical breakthroughs and general updates.

Verifying Intelligence in Singapore

House of ZK and Boundless, in partnership with Google Cloud, today announced Verifying Intelligence - a focused program on verifiable AI: proof-carrying inference...

Highlights from the Cryptology ePrint Archive (Sep 08, 2025)

Constraint-Friendly Map-to-Elliptic-Curve-Group Relations and Their Applications by @JensGroth16 of @NexusLabs, Yi-Nuo Zhang of @UCBerkeley, Harjasleen Malvai and...

zkEthereum Latest (Sep 5, 2025)

Here we report on the progress of the leading builders in the ZK @ethereum ecosystem, documenting recent significant releases, technical breakthroughs and general updates.

zk Cross-chain Latest (September 11, 2025)

Here we report on the progress of the leading builders in the ZK Cross-Chain ecosystem

Proof-Carrying Intelligence: A High-Level Case for ZK/AI Convergence

AI can be trusted only when its behavior is verifiable. The core problem is not provenance but correctness.

zkL1 Latest (September 01, 2025)

Here we track the progress of the leading ZK-Layer 1 builders, documenting recent significant releases, technical breakthroughs and general updates.