News & research
Polylog News
A daily briefing on macroeconomics, geopolitics, crypto, and AI, drawing on sources around the world.
Public side projects
Apps & code.
These are my public side projects: hobby apps, useful tools, and mathematical experiments. Many of these projects are part of Polylog Labs.
Apps & experiments
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.
Code without a frontend
A lot of my work is libraries, protocol implementations, and research code. These projects are best explored in their repositories. You can find much more on my GitHub.
Solidity · Mathematics
num-complex-solidity
A complex-number library for Solidity, with fixed-point arithmetic, polar coordinates, logarithms, exponentials, and powers.
Cryptography · Benchmarks
Post-quantum signatures
Implementations and benchmarks comparing signature schemes, performance, key sizes, and signature sizes.
Proving systems
VEIL + FLOCK
Research into statistical zero-knowledge proofs for batched R1CS over binary fields.
Post-quantum cryptography
Falcon signature aggregation
A Rust implementation of Falcon-512 signature aggregation using LaBRADOR.
Writing & research
I write about cryptography, mathematics, and the projects I'm building.