Module fastcrypto_zkp::bn254

Groth16 verifier over the BN254 elliptic curve construction.

Modules

• api
  API that takes in serialized inputs
• poseidon
  Poseidon hash function over BN254
• utils
  Zk login utils
• verifier
  Groth16 SNARK verifier
• zk_login
  Zk login structs and utilities
• zk_login_api
  Zk login entrypoints

Structs

• FieldElement
  A field element in the BN254 construction. Thin wrapper around api::Bn254Fr.
• Proof
  A Groth16 proof in the BN254 construction. Thin wrapper around ark_groth16::Proof::<ark_bn254::Bn254>.
• VerifyingKey
  A Groth16 verifying key in the BN254 construction. Thin wrapper around ark_groth16::VerifyingKey::<ark_bn254::Bn254>.