proofs::ZkCommon< Field > Class Template Reference

Static Public Member Functions
static size_t	verifier_constraints (const Circuit< Field > &circuit, const Dense< Field > &pub, const Proof< Field > &proof, const ProofAux< Field > *aux, std::vector< Llc > &a, std::vector< typename Field::Elt > &b, Transcript &tsv, size_t pi, const Field &F)
static size_t	pad_size (const Circuit< Field > &C)
static void	setup_lqc (const Circuit< Field > &C, std::vector< LigeroQuadraticConstraint > &lqc, size_t start_pad)
static void	initialize_sumcheck_fiat_shamir (Transcript &ts, const Circuit< Field > &circuit, const Dense< Field > &pub, const Field &F)

---

The documentation for this class was generated from the following file:

• lib/zk/zk_common.h