Notes from the work
Writing & research.
Things I've built, problems I'm studying, and ideas worth writing down.
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