Public-key-agnostic native verifier-circuit template. More...

#include <bulletproof.hpp>

Public Member Functions
Result< bool >	partial_evaluate (const BulletproofAssignmentData &assignment) const
	Evaluates only the public-key-agnostic base circuit cached inside the template.

Result< bool >	final_evaluate (const BulletproofAssignmentData &assignment, const UInt512 &pubkey) const
	Evaluates only the late-bound public-key/output constraints against one assignment.

Result< Bytes >	integrity_digest () const
	Returns a stable digest of the packed base circuit plus late-bound expressions.

Result< NativeBulletproofCircuit::PackedWithSlack >	instantiate_packed (const UInt512 &pubkey) const

Result< NativeBulletproofCircuit >	instantiate (const UInt512 &pubkey) const

Static Public Member Functions
static NativeBulletproofCircuitTemplate	from_parts (NativeBulletproofCircuit::PackedWithSlack base_packed, Expr p1x, Expr p2x, Expr out)
	Builds a template from a lowered base circuit plus late-bound public expressions.

Detailed Description

This caches the message/topic-dependent lowering work up to, but not including, the final public-key binding step. Instantiate it with a packed Purify public key when you need the exact native circuit for a specific user.

Definition at line 349 of file bulletproof.hpp.

Member Function Documentation

◆ final_evaluate()

Result< bool > purify::NativeBulletproofCircuitTemplate::final_evaluate	(	const BulletproofAssignmentData &	assignment,
		const UInt512 &	pubkey
	)		const

Definition at line 1926 of file bulletproof.cpp.

References purify::BulletproofAssignmentData::commitments, purify::Expected< T, E >::error(), purify::Expected< T, E >::has_value(), purify::InvalidDimensions, purify::BulletproofAssignmentData::left, purify::BulletproofAssignmentData::output, purify::BulletproofAssignmentData::right, purify::SizeMismatch, purify::FieldElement::try_from_uint256(), purify::unexpected_error(), and purify::unpack_public().

◆ from_parts()

NativeBulletproofCircuitTemplate purify::NativeBulletproofCircuitTemplate::from_parts	(	NativeBulletproofCircuit::PackedWithSlack	base_packed,
		Expr	p1x,
		Expr	p2x,
		Expr	out
	)