vocdoni / smtverifier-noirView external linksLinks
Port of Circom Sparse Merkle Tree verifier to Noir.
☆14Jan 26, 2024Updated 2 years ago
Alternatives and similar repositories for smtverifier-noir
Users that are interested in smtverifier-noir are comparing it to the libraries listed below
Sorting:
- ☆13Updated this week
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Jun 27, 2023Updated 2 years ago
- Experimental gnark prover compatible with tinygo☆15Jun 19, 2023Updated 2 years ago
- A zero-knowledge virtual machine with only one instruction☆13Mar 3, 2022Updated 3 years ago
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- Alternative implementation of the contributor-client for the Ethereum KZG Trusted Setup Ceremony☆15Jan 28, 2023Updated 3 years ago
- ☆18Updated this week
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- A list of worth-reading articles about Cryptohraphy☆16Jul 24, 2024Updated last year
- Golang library and utility for extracting erc20 token balances from EVM storage proofs☆33Apr 25, 2024Updated last year
- Circom to Gnark Groth16 parser and recursion example☆18Jul 24, 2025Updated 6 months ago
- ☆71Jul 22, 2024Updated last year
- Translate circomlib into gnark☆20Sep 16, 2025Updated 5 months ago
- R1CS constraints for non-native field arithmetic☆21Aug 7, 2021Updated 4 years ago
- ☆22Dec 19, 2024Updated last year
- ☆11Mar 19, 2024Updated last year
- Convex optimization for fun and profit.☆11Jan 12, 2022Updated 4 years ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- Solution for the Optimizoor club's sqrt challenge☆11Nov 1, 2022Updated 3 years ago
- An erc-20 token with EIP750 style zk private transactions and a new nullifier scheme to allow partial spends☆11Apr 11, 2025Updated 10 months ago
- zkSNARK full flow example in Go☆12Jun 3, 2020Updated 5 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Feb 3, 2024Updated 2 years ago
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated 8 months ago
- [wip] implementing origami VDF☆13Mar 1, 2023Updated 2 years ago
- Vocdoni SDK for API☆13Dec 11, 2025Updated 2 months ago
- fork of https://github.com/arnaucube/poseidon-rs ported to ark_ff☆13Nov 15, 2023Updated 2 years ago
- Sparse merkle tree functionality for TypeScript and Solidity.☆13Jan 24, 2023Updated 3 years ago
- ☆14Sep 24, 2022Updated 3 years ago
- ethereum zk coin-mixer☆27Jan 24, 2023Updated 3 years ago
- A Language Server Protocol Implementation for Circom☆33Jun 3, 2023Updated 2 years ago
- Notes for the R1CS programming workshop at ZK0x04☆31Oct 26, 2019Updated 6 years ago
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆15Mar 3, 2024Updated last year
- ElGamal encryption/decryption Circom2 circuits on the Baby Jubjub curve with TypeScript integration for input handling, testing, and benc…☆14Sep 17, 2023Updated 2 years ago
- Efficient Anonymous Tokens with Private Metadata Bit☆15Mar 7, 2023Updated 2 years ago
- Cryptographic primitives created for the Dusk Network ecosystem but widely applicable everywhere else☆12May 26, 2023Updated 2 years ago
- Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.☆16Oct 31, 2025Updated 3 months ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Oct 20, 2019Updated 6 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week