about
  https://github.com/erhant/erhant/labels/about 
  notes
  https://github.com/erhant/erhant/labels/notes 
  main
  https://github.com/erhant/erhant/labels/main 
  familiar
  https://github.com/erhant/erhant/labels/familiar 
✨ click on me to see all of my pull-requests ✨
- 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.
 
- 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.
 
- arithmetic-circuits: Moda Palas Blackboard Cryptography II - Arithmetic Circuits & R1CS
 - rustconnect-libp2p: Rust Connect #1 - Libp2p & FFI
 
- 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.
 





