At the worktable

Projects

Cryptography, formalization, tools. The repos that matter.

Cryptography

Anonymous Tokens with Hidden Metadata
IETF draft. Implementation deployed for spam mitigation between RCS and iMessage.
Anonymous Credit Tokens
IETF draft and Rust implementation.
ACT Explainer and Browser Wallet
Protocol walkthrough for anonymous credit tokens, with a wallet that issues and spends in the browser.
Private Proof API
Anti-fraud primitive for the post-third-party-cookie web.
Authenticated Pseudonyms
Novel anonymous credential primitives.

Open Conjecture Formalizations
Lean 4 statements and partial proofs of major open problems.
Circuit Complexity in Lean
Formalized circuit-complexity definitions and lower bounds.

chalk
Pipeline for scripted math explainer videos: outline → script → Manim → voiceover → composite.
author-review-revise
Claude Code skill for hierarchical research corpora.