noir-lang / noir_string_search
☆10Updated last week
Alternatives and similar repositories for noir_string_search:
Users that are interested in noir_string_search are comparing it to the libraries listed below
- Noir library to verify JWT tokens, and prove claims.☆16Updated last week
- A minimal example of recursion in Noir.☆11Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- ☆12Updated last month
- ☆39Updated 2 years ago
- BigInt library for Aztec's noir language☆31Updated 10 months ago
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- Axiom smart contracts☆26Updated last year
- compiler tooling for Stark-based zkVMs☆15Updated last year
- ☆17Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- A Swiss knife for Noir☆11Updated last week
- ☆33Updated last year
- trusted setup MPC tools☆12Updated 4 years ago
- Base64 encoding for Aztec's noir language☆15Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Proving shortest paths with recursive SNARKs☆12Updated last year
- Honk Verifier in Solidity☆49Updated 3 months ago
- ☆12Updated last year
- Verifying Cairo Programs in SP1☆13Updated 3 months ago
- Library and gadget to do regex string matches in halo2☆35Updated 5 months ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆17Updated 2 months ago
- ☆16Updated 11 months ago
- Groth16 verifier in EVM☆20Updated last year
- Based on https://eprint.iacr.org/2022/1510☆24Updated 2 months ago
- ☆11Updated last year
- a reference on testing and constraining circom☆16Updated 3 months ago
- Using folding schemes for a provable bitcoin light client☆28Updated 7 months ago
- ☆17Updated last year