scalus.examples

Groth16 Zero-Knowledge Proof Verification Implementation

This object provides functionality for verifying Groth16 zero-knowledge proofs using the BLS12-381 curve. The implementation follows the Groth16 verification algorithm which verifies that a prover knows a witness satisfying a given arithmetic circuit without revealing the witness.

This implementation is a transaction of https://github.com/Modulo-P/ak-381.