geometryxyz / groth16-malleability
Potential attacks on groth16
☆9Updated 2 years ago
Alternatives and similar repositories for groth16-malleability:
Users that are interested in groth16-malleability are comparing it to the libraries listed below
- ☆28Updated 3 years ago
- Groth16 verifier in EVM☆20Updated last year
- ☆12Updated last year
- ☆39Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆34Updated last month
- ☆33Updated last year
- Base64 encoding for Aztec's noir language☆15Updated last year
- ECDSA gadgets for plonky2☆18Updated last year
- A puzzle for Curta CTF☆26Updated last year
- ☆28Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- Axiom smart contracts☆26Updated last year
- ☆34Updated last year
- Solidity calldata, memory, transient storage, and storage debugger☆20Updated last year
- trusted setup MPC tools☆12Updated 4 years ago
- ☆18Updated 2 years ago
- Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html☆21Updated 2 years ago
- Web Proofs using zk-SXG☆27Updated 3 months ago
- ☆13Updated 2 months ago
- ☆14Updated 2 years ago
- A monorepo of reusable Noir circuits.☆31Updated this week
- Noir library to verify JWT tokens, and prove claims.☆17Updated this week
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated 2 years ago
- Cryptographic protocols☆37Updated last year
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Updated last year
- RLN circuits in Circom☆29Updated 7 months ago
- ☆17Updated 2 years ago
- Robust, Extensible Template for Huff Projects☆27Updated 2 years ago
- Trust-minimized commitment pools with zkSNARKs☆40Updated last year
- Better assertion macros for pure Huff tests.☆19Updated last year