Pinned Repositories
circom101
Circom circuits explained in depth.
circomkit
A testing & development environment for Circom.
circomkit-examples
Circom circuits such as SHA256, float-add and Fibonacci, developed with Circomkit.
crypto-notes
My notes related to Cryptography & Zero-Knowledge.
huffd1
An NFT with Huff, using polynomials over a finite field with order largest prime address, instead of mappings.
lambda-0b10
Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
moonmath
Solutions to exercises from MoonMath Manual to zkSNARKs.
thuffscript
Write Huff without ever leaving TypeScript.
zkbrainfuck
A Brainfuck zkVM with Circom.
dkn-compute-node
Compute Node of Dria Knowledge Network.
erhant's Repositories
erhant/circomkit
A testing & development environment for Circom.
erhant/moonmath
Solutions to exercises from MoonMath Manual to zkSNARKs.
erhant/lambda-0b10
Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
erhant/circom101
Circom circuits explained in depth.
erhant/huffd1
An NFT with Huff, using polynomials over a finite field with order largest prime address, instead of mappings.
erhant/thuffscript
Write Huff without ever leaving TypeScript.
erhant/zkRust
erhant/aligned-vnns
Verifiable nearest-neighbor search with Aligned Layer & SP1.
erhant/erhant
README
erhant/pimp-my-peer
A libp2p peer identifier searcher to better identify yourself in the network.
erhant/polenta
A toy language to play around with polynomials over finite fields.
erhant/alloy
Transports, Middleware, and Networks for the Alloy project
erhant/anvil-alloy-playground
erhant/aos
Welcome to the "ao" Permaweb Computer Grid - 🐰 🕳️ 👈
erhant/circom
zkSnark circuit compiler
erhant/cuda-sumcheck
Experimental implementation of Sumcheck protocol using CUDA
erhant/Dria
erhant/fe
Emerging smart contract language for the Ethereum blockchain.
erhant/hardhat-ignition
Hardhat Ignition is a declarative deployment system that enables you to deploy your smart contracts without navigating the mechanics of the deployment process.
erhant/lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
erhant/langchainjs
🦜🔗 Build context-aware reasoning applications 🦜🔗
erhant/naturals-lean
Lean Theorem Proving Exercises and Learning Repository
erhant/noname
Noname: a programming language to write zkapps
erhant/ollama-workflows
Created for personal use, it’s a simple, easy-to-read ReAct (agent) framework on top of Ollama. I found agent libraries extremely abstract, while all we need are clear workflows and prompts.
erhant/ronkathon
Cryptography Educational Foundations
erhant/rust-libp2p
The Rust Implementation of the libp2p networking stack.
erhant/soulforge
erhant/tardis
Collection of past CTFs to play and practice locally.
erhant/viem
TypeScript Interface for Ethereum
erhant/vscode-material-icon-theme
Available on the VSCode Marketplace