☆19Jun 7, 2024Updated 2 years ago
Alternatives and similar repositories for zkspv-circuits
Users that are interested in zkspv-circuits are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 3 years ago
- A community project to standardise plugins in StarkNet account contracts☆25Jun 8, 2023Updated 3 years ago
- ☆15Nov 8, 2023Updated 2 years ago
- Code for Account Abstraction workshop using latest Starknet syntax☆24Mar 27, 2024Updated 2 years ago
- Orbiter Finance smart contracts☆90Nov 5, 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.
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆14Apr 8, 2024Updated 2 years ago
- ☆10Jul 1, 2025Updated last year
- plonky2 recursion framework handling different circuits in unified way.☆16Mar 22, 2024Updated 2 years ago
- ☆12Jun 17, 2026Updated 3 months ago
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆48Jun 16, 2023Updated 3 years ago
- A collection of practical circom circuits☆14May 19, 2022Updated 4 years ago
- This is a mirror of zkevm-circuits(https://github.com/scroll-tech/zkevm-circuits).☆21Jul 30, 2024Updated 2 years ago
- binary->LLVM->circuits☆19Feb 26, 2024Updated 2 years ago
- ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs☆18Apr 24, 2026Updated 4 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- makerTransationData☆29Jan 8, 2024Updated 2 years ago
- maker client☆10Nov 7, 2023Updated 2 years ago
- Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.☆13Nov 24, 2021Updated 4 years ago
- ☆147Apr 18, 2024Updated 2 years ago
- OrbiterX-contract☆50Mar 27, 2025Updated last year
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- CodeQL library and queries for iterator invalidation☆22Mar 12, 2026Updated 6 months ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆19Sep 1, 2018Updated 8 years ago
- Simple Circom circuit and a parser to func with Groth16 and snarkjs☆14Jun 6, 2023Updated 3 years 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.
- 🦄 An open source interface for the Uniswap protocol☆27Jul 27, 2026Updated last month
- ☆12Oct 19, 2018Updated 7 years ago
- Discovery data value of Web3☆11Sep 5, 2022Updated 4 years ago
- Circuit playground for learning Zero-Knowledge Proofs in circom.☆11Feb 7, 2024Updated 2 years ago
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆14Jul 12, 2023Updated 3 years ago
- Token and chain images for front ends built with the Squid SDK☆14Updated this week
- JavaScript tutorial for Zero-Knowledge Proofs using SnarkJS and Circom☆12Jan 7, 2023Updated 3 years ago
- Container of general purpose gadgets used across Dusk Network's circuit implementations.☆12Jul 5, 2021Updated 5 years ago
- An example showing how to read Merkle Patricia Trie for Ethereum block or contract☆18Apr 11, 2018Updated 8 years ago
- 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.
- Proof of concept of an infinitely scalable data storage for the Internet Computer application, written in Rust☆27Apr 8, 2026Updated 5 months ago
- Protochannel is a TicTacToe game using of Ethereum State Channel to do off-chain transactions☆10Dec 29, 2022Updated 3 years ago
- ☆20Jun 12, 2024Updated 2 years ago
- A common lisp DSL for writing zero knowledge circuits☆18Oct 19, 2022Updated 3 years ago
- ☆10Apr 3, 2023Updated 3 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Jun 27, 2023Updated 3 years ago
- zk-Snarks circuit for franchise proof☆13Aug 28, 2026Updated 3 weeks ago