proofs::VerifyWitness3< EC, ScalarField > Class Template Reference

Collaboration diagram for proofs::VerifyWitness3< EC, ScalarField >:

Public Member Functions
	VerifyWitness3 (const ScalarField &Fn, const EC &ec)
void	fill_witness (DenseFiller< Field > &filler) const
bool	compute_witness (const Elt pkX, const Elt pkY, const Nat e, const Nat r, const Nat s)

Data Fields
const ScalarField &	fn_
const EC &	ec_
Elt	rx_
Elt	ry_
Elt	rx_inv_
Elt	s_inv_
Elt	pk_inv_
Elt	pre_ [8]
Elt	bi_ [kBits]
Elt	int_x_ [kBits]
Elt	int_y_ [kBits]
Elt	int_z_ [kBits]

Static Public Attributes
static constexpr size_t	kBits = EC::kBits

---

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

• lib/circuits/ecdsa/verify_witness.h