Crate fastcrypto_zkp

Fastcrypto-zkp is an experimental crate that offers a faster implementation of the Groth16 zkSNARK verifier, based on BLST, but following the same API as Arkworks’ Groth16 implementation. It includes benchmarks and tests to compare the performance and native formats of the two implementations.

Modules

• bls12381
  Groth16 verifier over the BLS12-381 elliptic curve construction.
• bn254
  Groth16 verifier over the BN254 elliptic curve construction.
• dummy_circuits
  Simple circuits used in benchmarks and demos
• zk_login_utils
  Circom-compatible deserialization of points

Structs

• Fr
  Definition of the BN254 prime field.
• FrRepr