thinker · writer · researcher · builder

Interested in mathematics, zero-knowledge proofs and cryptography.

• 🛡️ verifiers-toolkit — Circom/Noir circuits to Cairo Groth16/UltraHonk verifiers on StarkNet in minutes
• 🦀 zk-lang — an experimental ZK circuit language
• 🔮 fhe-and-lbc — implementations from Fully Homomorphic Encryption (FHE) and Lattice-Based Cryptography
• 🔒 pqc-ml-kem.rs — Rust library for ML-KEM (Module-Lattice-Based Key-Encapsulation Mechanism)
• 🕸️ modcc.xyz — web tool for the sumcheck protocol; univariate and multilinear Lagrange interpolation over finite fields
• ⚙️ modcc — Rust library for univariate, multivariate, and multilinear polynomial operations over finite fields; API backend for modcc.xyz

• 📐 deep-dive-on-lattice-based-cryptography — Jupyter notebook explorations into lattice-based cryptography
• 📊 notes-on-the-mathematics-of-finance — Jupyter notebook implementations from study on the mathematics of finance
• 🧮 notes-on-ZK-and-Complexity-Theory — implementations from study on the Sumcheck Protocol and complexity theory
• 📖 learn-cryptography-and-zk — cryptographic & ZK algorithms explained simply and implemented from scratch in Python and Rust

• 🗜️ lc3-vm — LC3 virtual machine in Rust
• 🔵 toy-vm — a basic virtual machine in C

• 🌐 semacairo-fe — frontend for the Semaphore Cairo implementation
• ⚡ semacairo — Semaphore protocol in Cairo
• 🌊 superfluid.py — Python SDK for the Superfluid protocol

• 🔶 ziggy-starkdust — Cairo VM in Zig
• 💧 lambda_ethereum_consensus — Ethereum consensus client in Elixir
• 🌟 beerus — trustless StarkNet light client in Rust

Cryptography

• Fast-Fourier Transform (FFT) and Number-Theoretic Transform (NTT) — FFT, NTT and Lattice-Based Cryptography series
• Mathematical Background on Lattices — A Deep Dive on Lattice-Based Cryptography series

Mathematics

• Understanding Why Chain Rule Works
• Intuition Behind Differentiation

• Change Your Mind
• Regrets are Useless
• On Death Ground

"It is not the critic who counts; not the man who points out how the strong man stumbles, or where the doer of deeds could have done them better. The credit belongs to the man who is actually in the arena, whose face is marred by dust and sweat and blood; who strives valiantly; who errs, who comes short again and again, because there is no effort without error and shortcoming; but who does actually strive to do the deeds; who knows great enthusiasms, the great devotions; who spends himself in a worthy cause; who at the best knows in the end the triumph of high achievement, and who at the worst, if he fails, at least fails while daring greatly, so that his place shall never be with those cold and timid souls who neither know victory nor defeat."

— Theodore Roosevelt