Live data for AVSs including TVLs and largest operators

EVM Object Format

An introduction to MEV on Solana.

About two years ago, I switched teams at Google to focus on fully homomorphic encryption (abbreviated FHE, or sometimes HE). Since then I’ve got to work on a lot of interesting projects, learning along the way about post-quantum cryptography, compiler design…

SQL API for Ethereum

A symbolic execution engine for EVM smart contract binaries. - ucsb-seclab/greed

Solidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos. - Recon-Fuzz/create-chimera-app

Searchers make Ethereum worse for everyone, but with just a few tweaks they could contribute to the ecosystem instead

Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler. - Zellic/solidity-parser

Thematic Analysis #12

Today, we’re releasing shadow-reth – an open source shadow node built on Reth.

Kontrol your smart contracts with formal verification made simple

Using CRDTs and blockchains to build a decentralized social network

Source code for "Building Cryptographic Proofs from Hash Functions" - hash-based-snargs-book/hash-based-snargs-book

The first article in the series on modern lending protocols focuses on the technical design, key features, and implementation of the Euler V2 protocol.

A Windows 95 themed UI for interacting with Ethereum smart contracts.