erhant
Follow
-
circomkit-ffi Public
A rust implementation to enable FFI to provide a Rust backend for provers.
-
aligned-vnns Public
Verifiable nearest-neighbor search with Aligned Layer & SP1.
-
-
circomkit Public
A testing & development environment for Circom.
-
ollama-workflows Public
Forked from andthattoo/ollama-workflowsCreated 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.
Rust MIT License UpdatedFeb 27, 2025 -
witnesscalc_adapter Public
Forked from zkmopro/witnesscalc_adapterRust adapter for 0xPolygonID/witnesscalc for any circuit
Rust UpdatedFeb 25, 2025 -
-
-
exo Public
Forked from exo-explore/exoRun your own AI cluster at home with everyday devices 📱💻 🖥️⌚
Python GNU General Public License v3.0 UpdatedFeb 18, 2025 -
chaintool Public
On-chain & dynamic toolchain for CDP AgentKit.
-
awesome-akash Public
Forked from akash-network/awesome-akashAwesome List of Akash Deployment Examples
C# Apache License 2.0 UpdatedFeb 7, 2025 -
rig Public
Forked from 0xPlaygrounds/rig⚙️🦀 Build portable, modular & lightweight Fullstack Agents
Rust MIT License UpdatedFeb 7, 2025 -
rust-libp2p Public
Forked from libp2p/rust-libp2pThe Rust Implementation of the libp2p networking stack.
Rust MIT License UpdatedFeb 3, 2025 -
awesome-circom Public
Forked from arnaucube/awesome-circomA curated list of repos related to Circom
-
-
lambdaworks Public
Forked from lambdaclass/lambdaworkslambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Rust Apache License 2.0 UpdatedJan 11, 2025 -
frencurve Public
A notion of friendship based on your location on the elliptic curve 🎎.
TypeScript UpdatedJan 7, 2025 -
-
inquire Public
Forked from mikaelmello/inquireA Rust library for building interactive prompts
Rust MIT License UpdatedJan 4, 2025 -
arithmetic-circuits Public
Moda Palas Blackboard Cryptography II - Arithmetic Circuits & R1CS
-
eliza Public
Forked from elizaOS/elizaAutonomous agents for everyone
TypeScript MIT License UpdatedJan 3, 2025 -
circom101 Public
Circom arithmetic circuits and concepts explained, in depth.
-
moonmath Public
Solutions to exercises from MoonMath Manual to zkSNARKs.
-
-
langchainjs Public
Forked from langchain-ai/langchainjs🦜🔗 Build context-aware reasoning applications 🦜🔗
TypeScript MIT License UpdatedDec 16, 2024 -
alloy Public
Forked from alloy-rs/alloyTransports, Middleware, and Networks for the Alloy project
Rust Apache License 2.0 UpdatedDec 11, 2024 -
polenta Public
A toy language to play around with polynomials over finite fields.
-
ronkathon Public
Forked from pluto/ronkathonCryptography Educational Foundations
Rust Apache License 2.0 UpdatedOct 28, 2024 -
-
lambda-0b10 Public
Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.