wborgeaud

ecfft-bn254. ECFFT in Rust

python-bulletproofs. Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup.

python-pippenger. Python3 implementation of the Pippenger algorithm for fast multi-exponentiation

rust-wasm-react-native. Use Rust in React Native through WebAssembly

eth-proof. Prove historical Ethereum L1 blocks using the plonky2 zkEVM

tspy. An optimization package for the traveling salesman problem

adventofcode2019-rust-python. Solutions for the Advent of Code 2019 written in Rust and Python, with comparison between the two.

rust-vdf. Companion code of https://wborgeaud.github.io/posts/understanding-vdfs.html

ecfft-post. Sage

ctf-writeups. CTF writeups

sp1-plonky2. Verify Plonky2 proofs using SP1

perkle. Python 3 implementation of Merkle Trees

eth-tx-proof. Proving historical Ethereum transactions using the Plonky2 zkEVM

isobeg. Jupyter Notebook

hackthebox-writeups. Writeups for HacktheBox 'boot2root' machines

deck.gl. WebGL2 powered geospatial visualization layers

superair-note. A simple multivariate AIR argument inspired by SuperSpartan

penc. A python command-line tool to encode and decode from hex and base64

blog. My blog