nil::crypto3::zk::components::packing_component< FieldType > Class Template Reference

#include <packing.hpp>

Inheritance diagram for nil::crypto3::zk::components::packing_component< FieldType >:

Collaboration diagram for nil::crypto3::zk::components::packing_component< FieldType >:

Public Member Functions
void	generate_r1cs_constraints (bool enforce_bitness)
void	generate_r1cs_witness_from_bits ()
void	generate_r1cs_witness_from_packed ()
	packing_component (blueprint< FieldType > &bp, const blueprint_linear_combination_vector< FieldType > &bits, const blueprint_linear_combination< FieldType > &packed)

Public Attributes
const blueprint_linear_combination_vector< FieldType >	bits
const blueprint_linear_combination< FieldType >	packed

Protected Attributes
blueprint< FieldType > &	bp

Constructor & Destructor Documentation

packing_component()

template<typename FieldType >

nil::crypto3::zk::components::packing_component< FieldType >::packing_component ( blueprint< FieldType > &  bp, const blueprint_linear_combination_vector< FieldType > &  bits, const blueprint_linear_combination< FieldType > &  packed  )

inline

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldType >

void nil::crypto3::zk::components::packing_component< FieldType >::generate_r1cs_constraints ( bool  enforce_bitness )

inline

generate_r1cs_witness_from_bits()

template<typename FieldType >

void nil::crypto3::zk::components::packing_component< FieldType >::generate_r1cs_witness_from_bits ( )

inline

generate_r1cs_witness_from_packed()

template<typename FieldType >

void nil::crypto3::zk::components::packing_component< FieldType >::generate_r1cs_witness_from_packed ( )

inline

Member Data Documentation

bits

template<typename FieldType >

const blueprint_linear_combination_vector<FieldType> nil::crypto3::zk::components::packing_component< FieldType >::bits

bp

template<typename FieldType >

blueprint<FieldType>& nil::crypto3::zk::components::component< FieldType >::bp

protectedinherited

packed

template<typename FieldType >

const blueprint_linear_combination<FieldType> nil::crypto3::zk::components::packing_component< FieldType >::packed

---

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

• packing.hpp