proof_system::honk::pcs::OpeningClaim< Curve > Class Template Reference

Unverified claim (C,r,v) for some witness polynomial p(X) such that. More...

#include <claim.hpp>

Public Member Functions
bool	verify (std::shared_ptr< CK > ck, const barretenberg::Polynomial< Fr > &polynomial) const
	inefficiently check that the claim is correct by recomputing the commitment and evaluating the polynomial in r.
bool	operator== (const OpeningClaim &other) const =default

Public Attributes
OpeningPair< Curve >	opening_pair
Commitment	commitment

Detailed Description

template<typename Curve>
class proof_system::honk::pcs::OpeningClaim< Curve >

Unverified claim (C,r,v) for some witness polynomial p(X) such that.

• C = Commit(p(X))
• p(r) = v

Template Parameters

Params

for the given commitment scheme

Member Function Documentation

verify()

template<typename Curve >

bool proof_system::honk::pcs::OpeningClaim< Curve >::verify ( std::shared_ptr< CK >  ck, const barretenberg::Polynomial< Fr > &  polynomial  ) const

inline

inefficiently check that the claim is correct by recomputing the commitment and evaluating the polynomial in r.

Parameters

ck	CommitmentKey used
polynomial	the claimed witness polynomial p(X)

Returns

C = Commit(p(X)) && p(r) = v

---

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

• src/barretenberg/commitment_schemes/claim.hpp