Notes from the work
Writing & research.
Things I've built, problems I'm studying, and ideas worth writing down.
Mutual Correlated Agreement (MCA) for Dummies
Random linear combinations, agreement sets, and concrete MCA success and failure examples: a simple guide to the question behind the Grand MCA Proximity Prize.
Reed Solomon Codes For Dummies
A plain-English introduction to Reed-Solomon codes, from finite fields and polynomials to encoding Hello, correcting errors, and understanding decoding bounds.
Reaching #1 on the better.codes Leaderboard
How my work on Reed-Solomon codes, Lean proofs, and careful code review reached #1 on the better.codes soundness leaderboard.
The Johnson–Lindenstrauss Lemma in Cryptography and ML
An interesting overlap between cryptography and machine learning: the same mathematical idea appears in TurboQuant and LaBRADOR.
LeanSig with BLAKE3
A rough LeanSig proof of concept using BLAKE3, with faster key generation, signing, and verification in native Rust benchmarks.
Optimizing Poseidon and BLAKE3 in Solidity
Revisiting two Solidity hash implementations with Codex 5.6-sol, reducing gas costs, and checking the results with differential fuzzing.
Understanding the Grand List Decoding Challenge
Reed-Solomon list decoding from first principles, building up to the grand list decoding problem for interleaved and folded codes, and why the list size controls how compact STARK-style proofs can be.
Comparing and Benchmarking Post-Quantum Digital Signatures
My Cannes talk on post-quantum digital signatures, with the recording and code for comparing signature schemes.
Building a Post-Quantum Hardware Wallet with Falcon-512
Prototyping a post-quantum secure hardware wallet based on Falcon-512 at ETHGlobal Buenos Aires hackathon, winning Ledgers most creative project award.
Proof of Time
A Method for Verifiable Temporal Commitments Without Timestamp Disclosure
Building a Decentralized Privacy Preserving Order Book Exchange on Polygon Miden
Building a Decentralized Privacy Preserving Order Book Exchange on Polygon Miden
Building a Proof of Concept Automated Market Maker in Solidity
Building a Proof of Concept Automated Market Maker in Solidity
NFT Marketplaces: decentralized creativity or 1990s e-commerce?
NFT Marketplaces: decentralized creativity or 1990s e-commerce?
Bitcoin is too volatile, but that’s the price of it being open and fair
Bitcoin is too volatile, but that’s the price of it being open and fair
Why Decentralized Autonomous Organizations (DAOs) Will Transform The Way People Invest
Why Decentralized Autonomous Organizations (DAOs) Will Transform The Way People Invest