moven0831 / fraud-proof-groth16
Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNARK.
☆10Updated 11 months ago
Related projects: ⓘ
- ☆12Updated 8 months ago
- ☆17Updated 6 months ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- ☆12Updated last year
- Nova-based SHA256 benchmarks☆29Updated 5 months ago
- ☆28Updated 2 years ago
- ☆12Updated last year
- Code used in a recent presentation showing off noir storage proofs☆13Updated last year
- ☆19Updated this week
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆15Updated 4 years ago
- ☆44Updated 6 months ago
- halo2-lib-eddsa☆11Updated 7 months ago
- RLN circuits in Circom☆29Updated 2 months ago
- ☆14Updated 10 months ago
- trusted setup MPC tools☆12Updated 4 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- repository for core circom and smart contract☆12Updated last year
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Updated 7 months ago
- An arkworks implementation of the superspartan PIOP☆10Updated last week
- Frobenius sumcheck for vectorized boolean ops☆30Updated 3 weeks ago
- ☆18Updated last year
- Contains several examples and challenges to use Lambdaworks☆15Updated last year
- ☆32Updated 8 months ago
- Groth16 verifier in EVM☆20Updated last year
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆16Updated 5 months ago
- plonky2 implementation of bn254 pairing☆18Updated 7 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆46Updated last year
- BN254 Pairing Implementation in Noir☆20Updated last year
- ☆39Updated last year