nfurfaro / hunterLinks
A mutation testing CLI tool built in Rust. Currently supports Noir as a target language
☆12Updated 6 months ago
Alternatives and similar repositories for hunter
Users that are interested in hunter are comparing it to the libraries listed below
Sorting:
- The entry point for Rust projects to be run on Valida☆10Updated 3 months ago
- client side proving☆31Updated 3 months ago
- ☆23Updated 6 months ago
- Minimal Merkle Tree implementations☆30Updated 2 weeks ago
- Proving shortest paths with recursive SNARKs☆13Updated 2 years ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- ☆47Updated last year
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Various Cryptographic Primitives in Sway for the Fuel VM☆9Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Rust implementation of KZG point evaluation☆33Updated 3 weeks ago
- Groth16 verifier in EVM☆21Updated last year
- Andromeda revm execution service☆31Updated 11 months ago
- Zig EVM☆32Updated 6 months ago
- An API compatible port of the Stone prover.☆19Updated 7 months ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆13Updated last month
- ☆39Updated last year
- Circuits for Pluto's `web-prover`☆22Updated 2 months ago
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆16Updated last year
- Breathe air☆24Updated last year
- bignum☆26Updated this week
- storage proof made by sp1☆25Updated 9 months ago
- ☆50Updated last year
- Noir implementation of RSA-verify☆43Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.☆19Updated last year
- Benchmark of ZKVMs and Proving Schemes☆27Updated last month
- The first CHIP-8 zkvm☆20Updated last year
- Library and gadget to do regex string matches in halo2☆35Updated 11 months ago