export-aptos-verifier-core 0.1.0

Load Groth16 artifacts from snarkjs JSON or Arkworks bundles and generate Aptos Move verifier packages.
Documentation 
1
2
3
4
5
6
7
8

use crate::curves::CurveAdapter;
use crate::error::Result;
use crate::model::Groth16VerifierInputs;
mod local_verify;

pub fn local_verify(adapter: &dyn CurveAdapter, inputs: &Groth16VerifierInputs) -> Result<bool> {
    adapter.local_verify(inputs)
}