Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

groth16 comment update #15400

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

groth16 comment update #15400

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions aptos-move/move-examples/groth16_example/sources/groth16.move
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,11 @@
/// Generic implementation of Groth16 (proof verification) as defined in https://eprint.iacr.org/2016/260.pdf, Section 3.2.
/// Actual proof verifiers can be constructed using the pairings supported in the generic algebra module.
///
/// See the test cases in this module for an example of constructing with BLS12-381 curves.
///
/// If you work with snarkjs, try [this tool](https://github.com/aptos-labs/snarkjs-to-aptos)
/// which generates this module from snarkjs outputs, with all format conversions taken care of.
///
/// **WARNING:** This code has NOT been audited. If using it in a production system, proceed at your own risk.
module groth16_example::groth16 {
use aptos_std::crypto_algebra::{Element, from_u64, multi_scalar_mul, eq, multi_pairing, upcast, pairing, add, zero};
Expand Down
Loading