arkworks_solidity_verifier/
utils.rs

1use ark_ff::{BigInteger, FpParameters, PrimeField};
2
3pub fn format_bigint<V: BigInteger>(v: V) -> String {
4    format!("0x{v}")
5}
6
7pub fn format_modulus<F: PrimeField>() -> String {
8    format_bigint(<<F as PrimeField>::Params as FpParameters>::MODULUS)
9}
10
11pub fn format_inv<F: PrimeField>() -> String {
12    <<F as PrimeField>::Params as FpParameters>::INV.to_string()
13}