#include <mp_pcd_circuits.hpp>

Public Types
typedef libff::Fr< ppT >	FieldT

Public Member Functions
	mp_compliance_step_pcd_circuit_maker (const r1cs_pcd_compliance_predicate< FieldT > &compliance_predicate, const size_t max_number_of_predicates)

void	generate_r1cs_constraints ()

r1cs_constraint_system< FieldT >	get_circuit () const

void	generate_r1cs_witness (const set_commitment &commitment_to_translation_step_r1cs_vks, const std::vector< r1cs_ppzksnark_verification_key< other_curve< ppT >>> &mp_translation_step_pcd_circuit_vks, const std::vector< set_membership_proof > &vk_membership_proofs, const r1cs_pcd_compliance_predicate_primary_input< FieldT > &compliance_predicate_primary_input, const r1cs_pcd_compliance_predicate_auxiliary_input< FieldT > &compliance_predicate_auxiliary_input, const std::vector< r1cs_ppzksnark_proof< other_curve< ppT >>> &translation_step_proofs)

r1cs_primary_input< FieldT >	get_primary_input () const

r1cs_auxiliary_input< FieldT >	get_auxiliary_input () const

Static Public Member Functions
static size_t	field_logsize ()

static size_t	field_capacity ()

static size_t	input_size_in_elts ()

static size_t	input_capacity_in_bits ()

static size_t	input_size_in_bits ()

Public Attributes
r1cs_pcd_compliance_predicate< FieldT >	compliance_predicate

protoboard< FieldT >	pb

pb_variable< FieldT >	zero

std::shared_ptr< block_variable< FieldT > >	block_for_outgoing_message

std::shared_ptr< CRH_with_field_out_gadget< FieldT > >	hash_outgoing_message

std::vector< block_variable< FieldT > >	block_for_incoming_messages

std::vector< pb_variable_array< FieldT > >	commitment_and_incoming_message_digests

std::vector< multipacking_gadget< FieldT > >	unpack_commitment_and_incoming_message_digests

std::vector< pb_variable_array< FieldT > >	commitment_and_incoming_messages_digest_bits

std::vector< CRH_with_field_out_gadget< FieldT > >	hash_incoming_messages

std::vector< r1cs_ppzksnark_verification_key_variable< ppT > >	translation_step_vks

std::vector< pb_variable_array< FieldT > >	translation_step_vks_bits

pb_variable< FieldT >	outgoing_message_type

pb_variable_array< FieldT >	outgoing_message_payload

pb_variable_array< FieldT >	outgoing_message_vars

pb_variable< FieldT >	arity

std::vector< pb_variable< FieldT > >	incoming_message_types

std::vector< pb_variable_array< FieldT > >	incoming_message_payloads

std::vector< pb_variable_array< FieldT > >	incoming_message_vars

pb_variable_array< FieldT >	local_data

pb_variable_array< FieldT >	cp_witness

std::shared_ptr< gadget_from_r1cs< FieldT > >	compliance_predicate_as_gadget

pb_variable_array< FieldT >	outgoing_message_bits

std::shared_ptr< multipacking_gadget< FieldT > >	unpack_outgoing_message

std::vector< pb_variable_array< FieldT > >	incoming_messages_bits

std::vector< multipacking_gadget< FieldT > >	unpack_incoming_messages

pb_variable_array< FieldT >	mp_compliance_step_pcd_circuit_input

pb_variable_array< FieldT >	padded_translation_step_vk_and_outgoing_message_digest

std::vector< pb_variable_array< FieldT > >	padded_commitment_and_incoming_messages_digest

std::shared_ptr< set_commitment_variable< FieldT, CRH_with_bit_out_gadget< FieldT > > >	commitment

std::vector< set_membership_proof_variable< FieldT, CRH_with_bit_out_gadget< FieldT > > >	membership_proofs

std::vector< set_commitment_gadget< FieldT, CRH_with_bit_out_gadget< FieldT > > >	membership_checkers

pb_variable_array< FieldT >	membership_check_results

pb_variable< FieldT >	common_type

pb_variable_array< FieldT >	common_type_check_aux

std::vector< pb_variable_array< FieldT > >	verifier_input

std::vector< r1cs_ppzksnark_proof_variable< ppT > >	proof

pb_variable_array< FieldT >	verification_results

std::vector< r1cs_ppzksnark_verifier_gadget< ppT > >	verifier

Detailed Description

template<typename ppT>
class libsnark::mp_compliance_step_pcd_circuit_maker< ppT >

A compliance-step PCD circuit.

The circuit is an R1CS that checks compliance (for the given compliance predicate) and validity of previous proofs.

Definition at line 46 of file mp_pcd_circuits.hpp.

Member Typedef Documentation

◆ FieldT

template<typename ppT >

typedef libff::Fr<ppT> libsnark::mp_compliance_step_pcd_circuit_maker< ppT >::FieldT

Definition at line 49 of file mp_pcd_circuits.hpp.

Constructor & Destructor Documentation

◆ mp_compliance_step_pcd_circuit_maker()

template<typename ppT >

libsnark::mp_compliance_step_pcd_circuit_maker< ppT >::mp_compliance_step_pcd_circuit_maker	(	const r1cs_pcd_compliance_predicate< FieldT > &	compliance_predicate,
		const size_t	max_number_of_predicates
	)

Member Function Documentation

◆ field_capacity()

template<typename ppT >

static size_t libsnark::mp_compliance_step_pcd_circuit_maker< ppT >::field_capacity ( )

static

◆ field_logsize()

template<typename ppT >

static size_t libsnark::mp_compliance_step_pcd_circuit_maker< ppT >::field_logsize ( )

static

◆ generate_r1cs_constraints()

template<typename ppT >

void libsnark::mp_compliance_step_pcd_circuit_maker< ppT >::generate_r1cs_constraints ( )

◆ generate_r1cs_witness()

template<typename ppT >

void libsnark::mp_compliance_step_pcd_circuit_maker< ppT >::generate_r1cs_witness	(	const set_commitment &	commitment_to_translation_step_r1cs_vks,
		const std::vector< r1cs_ppzksnark_verification_key< other_curve< ppT >>> &	mp_translation_step_pcd_circuit_vks,
		const std::vector< set_membership_proof > &	vk_membership_proofs,
		const r1cs_pcd_compliance_predicate_primary_input< FieldT > &	compliance_predicate_primary_input,
		const r1cs_pcd_compliance_predicate_auxiliary_input< FieldT > &	compliance_predicate_auxiliary_input,
		const std::vector< r1cs_ppzksnark_proof< other_curve< ppT >>> &	translation_step_proofs
	)