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.

What is a Base Account and how the Base Account SDK lets you add universal sign-in and one-tap USDC payments to any app.

In this experimental paper, we will dive into EVM bytecode and examine distinct patterns and markers left by different major EVM compilers. We'll also explore the potential for using these patterns to identify the compiler used to generate a given contract's…

Learn about Stake-Weighted Quality of Service (SWQoS), how Solana processes transactions, and the growing importance of validators and stake