Warning
Do not use this verifier in Production! It has not been audited and was implemented by a single engineer.
This branch depends on ark_bn254, ark_ec and ark_ff.
Point coordinates and public inputs are represented as num_bigint::BigUint.
Other branches may depend on casper_types e.g. U256 for public inputs and coordinates.
Both Arkworks and bn use the alt_bn128 (=bn254) curve.
Arkworks bn is supported, see bn254.rs.
Zeropool bn is supported, see bn.rs.