Circom circuits library for magnificent ZK applications
☆15Jun 4, 2025Updated last year
Alternatives and similar repositories for circom-lib
Users that are interested in circom-lib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- R1CS to Plonk transpiler☆11Jun 12, 2025Updated last year
- The ultimate TypeScript environment for Circom development☆97May 18, 2026Updated 5 months ago
- A minimal p2p lending protocol written in SimplicityHL.☆14Updated this week
- TokenE core contracts☆43Jan 14, 2026Updated 9 months ago
- Practical implementation of the BitVM2 protocol☆14Dec 24, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Trustless Randomness Generation on Bitcoin☆15Jun 18, 2025Updated last year
- TypeScript-based various types of solutions for Distributed Lab projects and not only.☆20Sep 26, 2024Updated 2 years ago
- Implementation of MLDSA and its variants for Ethereum☆24Updated this week
- zkSnark circuit compiler☆13Oct 21, 2026Updated last week
- ☆22Sep 22, 2024Updated 2 years ago
- Bulletproofs++ implementation on Rust☆26Jun 20, 2024Updated 2 years ago
- Taprootized Atomic Swaps (TAS) is an extension for Atomic Swaps that presumes the untraceability of transactions related to a particular …☆71Mar 13, 2025Updated last year
- Basic EOA Batch Executor (BEBE)☆37May 7, 2025Updated last year
- ZK proofs for image authenticity☆62Oct 3, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- DeXe Protocol☆38Dec 13, 2024Updated last year
- Verifying biometric passports with zero knowledge proofs (SNARKs)☆94Sep 7, 2026Updated last month
- The implementation of Ethereum's BN254 using Liquid's SimplicityHL script☆27Nov 19, 2025Updated 11 months ago
- Hardhat plugin to generate customizable smart contracts documentation☆22Oct 13, 2025Updated last year
- Bulletproofs++ implementation on Go☆31Jun 20, 2024Updated 2 years ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆16Jul 24, 2026Updated 3 months ago
- ☆41Jan 25, 2023Updated 3 years ago
- Archived - Lisp-based DSL (Domain-Specific Language), designed to implement constraint systems in the context of zero-knowledge proof sys…☆21Dec 1, 2025Updated 11 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Pure Rust implementation of the post-quantum secure digital signature scheme FAEST☆22Oct 23, 2026Updated last week
- Empirical Study of the Prominence of Zero-Knowledge Proof (ZKP) Languages☆22Apr 19, 2026Updated 6 months ago
- DPC with Universal Setup☆46May 25, 2023Updated 3 years ago
- WIP☆11Feb 28, 2023Updated 3 years ago
- Zero Knowledge Proof for RSA☆54Jun 19, 2023Updated 3 years ago
- The simplest way to deploy smart contracts☆36Sep 5, 2026Updated last month
- Source files for ZKDL Lectures☆58Updated this week
- Low-level language for encoding AIR of computations☆37May 7, 2023Updated 3 years ago
- Hardhat template typescript project for ad-hoc solidity development☆33Jul 20, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆16Oct 30, 2023Updated 3 years ago
- Noir implementation of passport verification circuits☆17Sep 7, 2026Updated last month
- Circom AES-GCM circuits☆35Feb 12, 2026Updated 8 months ago
- Building your GPT-based private knowledge hub using zkSNARK & PLONK☆13Jun 20, 2023Updated 3 years ago
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated last year
- Accelerating MSM Operations on GPU/FPGA☆16Sep 16, 2022Updated 4 years ago
- ☆64Oct 20, 2026Updated last week