https://github.com/TomAFrench/acvm-backend-groth16

https://github.com/TomAFrench/acvm-backend-groth16

Last synced: about 1 month ago
JSON representation

• Host: GitHub
• URL: https://github.com/TomAFrench/acvm-backend-groth16
• Owner: TomAFrench
• License: apache-2.0
• Created: 2023-04-21T16:25:56.000Z (over 1 year ago)
• Default Branch: master
• Last Pushed: 2023-07-10T08:46:18.000Z (over 1 year ago)
• Last Synced: 2024-11-11T07:11:18.482Z (about 1 month ago)
• Language: Rust
• Size: 9.77 KB
• Stars: 4
• Watchers: 3
• Forks: 2
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-APACHE

Awesome Lists containing this project

• awesome-noir - Groth16

README

        
# acvm-backend-groth16

This is a backend for the [ACVM](https://github.com/noir-lang/acvm) which allows proving/verifying ACIR circuits against Arkworks' [groth16](https://github.com/arkworks-rs/groth16) proving system.

**Both this backend and the underlying `ark-groth16` library are proofs of concept and are not production-ready.**

## Circuit specific setup required

Note that groth16 proving system requires a circuit specific trusted setup in order to be able to generate secure proofs.

By default this backend will generate a local set of proving and verification keys to allow for circuit development; however these should be replaced with keys from a [trusted setup with contributions from multiple parties](https://vitalik.ca/general/2022/03/14/trustedsetup.html).