First article from the series about modern lending protoocls about technical design, key featuers and implementation of Euler V2 protoocol.

Smart Transactions is a framework for executing transactions asynchronously. Explore our docs and examples to quickly learn, develop & integrate with Smart Transactions.

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

Using CRDTs and blockchains to build a decentralized social network

Formally verify smart contracts using the tools you already know

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

Thematic Analysis #12

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

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

One click magically working Foundry + Medusa + Echidna Starter - Recon-Fuzz/create-chimera-app

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

SQL API for Ethereum

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…

An introduction to MEV on Solana.

EVM Object Format

Live data for AVSs including TVLs and largest operators