Tama is the Verity toolchain for Ethereum. Write a smart contract, prove what it must do, and ship the same bytecode the proof is about — all from one CLI.

The previous Parquet export format v1 is now deprecated. See the note below. Please follow the instructions for the new v2 format.

Nethermind's Flat DB replaces trie-based state reads with direct key-value lookups, delivering ~20% higher execution throughput on Ethereum.

Explore active and past OP Stack fault proof dispute games.

Miden is the next-generation blockchain protocol engineered to leverage the full potential of ZK technology Alexander Lee | Protocol Engineer Miden Comparing & Benchmarking Post Quantum Digital Signature Schemes EthCC[9] Andrei Ivasko | Independent Developer

tidx indexes Tempo chain data into a hybrid PostgreSQL + ClickHouse architecture for fast point lookups (OLTP) and lightning-fast analytics (OLAP). - tempoxyz/tidx

This is an rough outline of the major contributions to the topic of Account Abstraction over the years. Of course, it is not exhuastive and varies a bit on the exact domains of Account Abstraction (protocol, ERC, wallets, etc) that it touches. I hope you…

Two bugs, one exploit chain: forging arbitrary withdrawal proofs on the Polygon Plasma bridge, ~10 min read.

5 real world oracle mistakes that will wreck your protocol before an attacker even shows up.