purify::BulletproofAssignmentData Struct Reference

Columnar witness assignment compatible with the native Bulletproof circuit layout. More...

#include <bulletproof.hpp>

Public Member Functions
Result< Bytes >	serialize () const
	Serializes the witness columns in the legacy assignment blob format.

Data Fields
std::vector< FieldElement >	left
std::vector< FieldElement >	right
std::vector< FieldElement >	output
std::vector< FieldElement >	commitments

Detailed Description

Definition at line 36 of file bulletproof.hpp.

Member Function Documentation

serialize()

Result< Bytes > purify::BulletproofAssignmentData::serialize

(

)

const

Definition at line 785 of file bulletproof.cpp.

References purify::checked_add_size(), purify::checked_mul_size(), commitments, left, output, purify::Overflow, right, purify::size_fits_u32(), purify::size_fits_u64(), purify::SizeMismatch, purify::unexpected_error(), and purify::UnexpectedSize.

Field Documentation

commitments

std::vector<FieldElement> purify::BulletproofAssignmentData::commitments

Definition at line 40 of file bulletproof.hpp.

Referenced by purify::NativeBulletproofCircuit::PackedWithSlack::evaluate(), purify::NativeBulletproofCircuit::evaluate(), purify::NativeBulletproofCircuitTemplate::final_evaluate(), purify::NativeBulletproofCircuitTemplate::partial_evaluate(), purify::bppp::prove_experimental_circuit_norm_arg_to_commitment(), purify::bppp::prove_experimental_circuit_zk_norm_arg_impl(), and serialize().

left

std::vector<FieldElement> purify::BulletproofAssignmentData::left

Definition at line 37 of file bulletproof.hpp.

Referenced by purify::NativeBulletproofCircuit::PackedWithSlack::evaluate(), purify::NativeBulletproofCircuit::evaluate(), purify::NativeBulletproofCircuitTemplate::final_evaluate(), purify::NativeBulletproofCircuitTemplate::partial_evaluate(), purify::bppp::prove_experimental_circuit_norm_arg_to_commitment(), purify::bppp::prove_experimental_circuit_zk_norm_arg_impl(), and serialize().

output

std::vector<FieldElement> purify::BulletproofAssignmentData::output

Definition at line 39 of file bulletproof.hpp.

Referenced by purify::NativeBulletproofCircuit::PackedWithSlack::evaluate(), purify::NativeBulletproofCircuit::evaluate(), purify::NativeBulletproofCircuitTemplate::final_evaluate(), purify::NativeBulletproofCircuitTemplate::partial_evaluate(), purify::bppp::prove_experimental_circuit_norm_arg_to_commitment(), purify::bppp::prove_experimental_circuit_zk_norm_arg_impl(), and serialize().

right

std::vector<FieldElement> purify::BulletproofAssignmentData::right

Definition at line 38 of file bulletproof.hpp.

Referenced by purify::NativeBulletproofCircuit::PackedWithSlack::evaluate(), purify::NativeBulletproofCircuit::evaluate(), purify::NativeBulletproofCircuitTemplate::final_evaluate(), purify::NativeBulletproofCircuitTemplate::partial_evaluate(), purify::bppp::prove_experimental_circuit_norm_arg_to_commitment(), purify::bppp::prove_experimental_circuit_zk_norm_arg_impl(), and serialize().

---

The documentation for this struct was generated from the following files:

• include/purify/bulletproof.hpp
• src/protocol/bulletproof.cpp