What is true?

Authentication

Prove facts against that anchor instead of accepting them. A balance you cannot check is a balance someone told you.

In this track

  • Binary Trie An EIP-7864-enabled Ethereum execution client whose state is a binary trie, with zkVM proofs of equivalence to mainnet at every block.

What we build here

  • Binary trie clientsPaused

    EIP-7864-ready execution clients, proven equivalent to mainnet inside a zkVM, which is what makes proofs small enough for a light client to check. A mainnet binary-trie node was built in Q2; the work is on hold since Q3 2026 following a team change, pending re-scoping.