Module fastcrypto_zkp::bls12381

source ·
Expand description

Groth16 verifier over the BLS12-381 elliptic curve construction.

Modules§

  • api
    API that takes in serialized inputs
  • conversions
    Conversions between arkworks <-> blst
  • verifier
    Groth16 SNARK verifier

Structs§

  • FieldElement
    A field element in the BLS12-381 construction. Thin wrapper around conversions::BlsFr.
  • Proof
    A Groth16 proof in the BLS12-381 construction. Thin wrapper around ark_groth16::Proof::<ark_bls12_381::Bls12_381>.
  • VerifyingKey
    A Groth16 verifying key in the BLS12-381 construction. Thin wrapper around ark_groth16::VerifyingKey::<ark_bls12_381::Bls12_381>.