Pinned Repositories
circom101
Circom circuits explained in depth.
circomkit
A testing & development environment for Circom.
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.
musical-plots
Using matplotlib in the interest of music.
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/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/aligned-vnns
Verifiable nearest-neighbor search with Aligned Layer.
erhant/aos
Welcome to the "ao" Permaweb Computer Grid - 🐰 🕳️ 👈
erhant/babySNARK
Baby SNARK (do do dodo dodo)
erhant/circom
zkSnark circuit compiler
erhant/cuda-sumcheck
Experimental implementation of Sumcheck protocol using CUDA
erhant/DefinitelyTyped
The repository for high quality TypeScript type definitions.
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/langchain-rust
🦜️🔗LangChain for Rust, the easiest way to write LLM-based programs in Rust
erhant/naturals-lean
Lean Theorem Proving Exercises and Learning Repository
erhant/noname
Noname: a programming language to write zkapps
erhant/ollama
Get up and running with Llama 3, Mistral, Gemma, and other large language models.
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/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