Applied cryptography
Cryptographic protocols, zero-knowledge proofs, and formal verification.
ProtocolsZK proofsLean
Alexander John Lee
I'm a software engineer, cryptography researcher, whitehat hacker, and crypto anarchist.
I like finance, mathematics, cryptography, and understanding how things work under the hood. I'm a techno optimist.
partylikeits1983What I work on
Blockchain systems
Smart contracts, on-chain applications, and the systems underneath them.
SolidityRustOn-chain apps
Post-quantum research
Digital signature schemes, pqSNARKs, and practical cryptographic implementations.
SignaturespqSNARKsResearch
AI tools & infrastructure
Local AI, model abliteration, and applications built with language models and agents.
Local AIAbliterationFine-tuning
Security auditing
Security review of smart contracts & cryptography, with bug bounty payouts through Immunefi.
Smart contractsCryptographyImmunefi
Trading systems
Order books, on-chain options, market data, and option-pricing mathematics.
FinanceOptionsDelta hedging
A few things I've built
All apps & codePublic side projects, hobby apps, and experiments, plus my work on Miden's protocol team.
News & research
Polylog News
A daily briefing on macroeconomics, geopolitics, crypto, and AI, drawing on sources around the world.
Mathematics
Proximity Gaps
An interactive lab for Reed-Solomon codes, polynomials, Hamming balls, and list decoding.
Developer tools
LeanLab
A browser-based Lean 4 compiler and learning tool for writing code and exploring formal proofs.
Market data
P2P Aggregator
A dashboard bringing together peer-to-peer USDT and ruble exchange rates.
Writing tools
Feather
A lightweight Markdown and LaTeX editor with live preview, local files, and PDF export.
On-chain apps
Chess.fish
On-chain chess built in Solidity, supported by an Arbitrum grant.
Finance tools
Real-time APY
Set a principal and interest rate, then watch the yield accumulate in real time.
Market data
Real Ruble Rate
A view of the gap between the official ruble exchange rate and informal market prices.
Protocol team
Miden Protocol
I work on Miden's protocol team, contributing to the protocol alongside the wider engineering team.
A lot of my work doesn't have a frontend. Explore my libraries, systems, and research in my GitHub repositories.