My blog 🌸

Contact: 0xteddav

Solidity / EVM

Playing with Yul (Assembly)

Solving the Ethernaut with Yul

Open source

Open Source: Foundry PR

Zero Knowledge

Halo2

Tornado Cash with Halo2 - part 1

Math

Easy Sagemath setup

Binius

From 0 to Bi(ge)nius: Field extensions

Reed-Solomon Codes

FRI: Folding Polynomials and Catching Cheaters

Sum-Check: The Backbone of ZK Proofs

GKR: Sumcheck's best friend