&

circomkit. A testing & development environment for Circom.

moonmath. Solutions to exercises from MoonMath Manual to zkSNARKs.

zkbrainfuck. A Brainfuck zkVM with Circom.

crypto-notes. My notes related to Cryptography & Zero-Knowledge.

circom101. Circom arithmetic circuits and concepts explained, in depth.

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.

circomkit-examples. Circom circuits such as SHA256, float-add and Fibonacci, developed with Circomkit.

simple-blockexplorer. A client-only EVM-based block-explorer via RPC calls.

zkRust. Rust

zkctf-scalebit. Circom challenges within zkCTF by Scalebit, solved with Foundry & Circomkit.

thuffscript. Write Huff without ever leaving TypeScript.

musical-plots. Using matplotlib in the interest of music.

blockchatting. A decentralized peer-to-peer chatting application.

halo2-vectordb. Verifiable vector similarity queries with Halo2.

nextjs-web3-starter. A NextJS starter repository for Web3.0, with TypeScript.

zkhack-puzzles. ZKHACK cryptography puzzles.

profile-matching. Profile matching users between Twitter & Facebook with ML.

aligned-vnns. Verifiable nearest-neighbor search with Aligned Layer & SP1.

zkAargon. A zero-knowledge remake of the 1998 game Aargon.

mdbook-template. An MDBook template with Mermaid + KaTeX + ToC support.

math-notes. My notes related to Number Theory (and more soon).

arithmetic-circuits. Moda Palas Blackboard Cryptography II - Arithmetic Circuits & R1CS

chaintool. On-chain & dynamic toolchain for CDP AgentKit.

diamonds-with-typescript. A reference implementation of EIP-2535: The Diamond Standard using TypeScript and TypeChain.

circomkit-ffi. A Rust-based shared library for alternative prover backends.

hashgraph. Sample implementation of Hashgraph protocol in Go.

pimp-my-peer. A libp2p peer identifier searcher to better identify yourself in the network.

cryptopals-go. Cryptopals cryptography challenges in Go.

expressjs-web3-starter. An ExpressJS starter repository for Web3.0, with TypeScript.

polenta. A toy language to play around with polynomials over finite fields.

cryptist-2025-inference. Methods for Verifiable & Private Inference

noir-tckn. Verify Turkish ID number validity with Noir.

rustconnect-libp2p. Libp2p & FFI for Rust Connect #1

adventofts-2023. Solutions to Advent of TypeScript 2023.

crypts. A zero-dependency library for cryptography, mostly self-educational.

leet-assistant. A personalized LeetCode assistant.