Expand description
hello, friend.
about
notes
main
familiar
click to see stats & projects
✨ click on me to see all of my pull-requests ✨
cryptography & zero-knowledge
- circomkit: A testing & development environment for Circom.
- circom101: Circom arithmetic circuits and concepts explained, in depth.
- zkbrainfuck: A Brainfuck zkVM with Circom, accompanied with a VM in Go.
- halo2-vectordb: Verifiable vector similarity queries with Halo2.
- aligned-vnns: Verifiable nearest-neighbor search with Aligned Layer & SP1.
- polenta: A toy language to play around with polynomials over finite fields.
- crypts: A zero-dependency library for cryptography, mostly self-educational.
- moonmath: Solutions to exercises from MoonMath Manual to zkSNARKs.
- crypto-notes: My notes related to Cryptography & Zero-Knowledge.
- lambda-0b10: Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
hackathons & challenges
- huffd1: An NFT with Huff, using polynomials over a finite field with order largest prime address, instead of mappings.
- chaintool: On-chain & dynamic toolchain for CDP AgentKit.
- frencurve: A notion of friendship based on your location on the elliptic curve!
- adventofts-2024: Solutions to Advent of TypeScript 2024.
- adventofts-2023: Solutions to Advent of TypeScript 2023.
- zkctf-scalebit: Circom challenges within zkCTF by Scalebit, solved with Foundry & Circomkit.
- ethernaut-evm-challenges: Solutions to Ethernaut, EVM Puzzles and More EVM Puzzles; using Foundry.
- zkAargon: A zero-knowledge remake of the 1998 game Aargon.
talks
- arithmetic-circuits: Moda Palas Blackboard Cryptography II - Arithmetic Circuits & R1CS
- rustconnect-libp2p: Rust Connect #1 - Libp2p & FFI
others
- web-terminal: A terminal-based homepage.
- leet-assistant: A personalized LeetCode assistant.
- thuffscript: Write Huff without ever leaving TypeScript.
- blockchatting: A decentralized peer-to-peer chatting application.
- simple-blockexplorer: A client-only EVM-based block-explorer via RPC calls.
- pimp-my-peer: A libp2p peer identifier searcher to better identify yourself in the network.
- musical-plots: Using matplotlib in the interest of music.
- type-stacks: Type-level stack operations.
- eopl-scheme: Scheme works from during my TAship.
- orca-livecoding: Orca Livecoding stuff.
- lighthouse-problem: A particularly interesting geometry problem.
- burning-castle: Plots and codes for OEIS A343275 and few other sequences.
- bevy-breakout: A breakout game using the Bevy game engine.
§Blog Posts
- 2026-01-25 docs-r-us — How this blog is hosted on docs.rs using Rust docstrings.
- 2023-12-26 OpenZeppelin Ethernaut — Solutions to OpenZeppelin Ethernaut CTFs.
- 2023-12-26 Advent of TypeScript 2023 — Solutions to Advent of TypeScript 2023 type-level challenges.
- 2023-01-24 EVM Puzzles — Walkthrough solutions for learning EVM bytecode through puzzles.
- 2023-01-08 QuillCTF — Solutions to QuillCTF smart contract security challenges.
- 2022-12-01 Makefile for Small Stuff — A step-by-step guide to writing Makefiles for small C/C++ projects.
- 2022-10-17 Rock-Paper-Scissors Over the Phone — Using hash functions to play RPS asynchronously via commit-reveal.
- 2022-01-01 Euclid-Mullin Sequence — A prime sequence derived from Euclid’s proof of infinite primes.
Pre-2026 blogs are migrated from my old blog at dev.to/erhant.
Modules§
- aot2023
- Published: 2023-12-26 | typescript, puzzles
- ethernaut
- Published: 2023-12-26 | ethereum, puzzles
- euclid_
mullin - Published: 2022-01-01 | math
- evm_
puzzles - Published: 2023-01-24 | ethereum, puzzles
- hello_
docsrs - Published: 2026-01-25 | rust
- makefile
- Published: 2022-12-01 | programming
- quillctf
- Published: 2023-01-08 | ethereum, puzzles
- rock_
paper_ scissors - Published: 2022-10-17 | cryptography, math