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

#include <packing.hpp>

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

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

Public Member Functions
void	generate_r1cs_constraints (bool enforce_bitness)
void	generate_r1cs_witness_from_bits ()
void	generate_r1cs_witness_from_packed ()
	multipacking_component (blueprint< FieldType > &bp, const blueprint_linear_combination_vector< FieldType > &bits, const blueprint_linear_combination_vector< FieldType > &packed_vars, std::size_t chunk_size)

Public Attributes
const blueprint_linear_combination_vector< FieldType >	bits
const std::size_t	chunk_size
const std::size_t	num_chunks
const blueprint_linear_combination_vector< FieldType >	packed_vars

Protected Attributes
blueprint< FieldType > &	bp

Constructor & Destructor Documentation

multipacking_component()

template<typename FieldType >

nil::crypto3::zk::components::multipacking_component< FieldType >::multipacking_component ( blueprint< FieldType > &  bp, const blueprint_linear_combination_vector< FieldType > &  bits, const blueprint_linear_combination_vector< FieldType > &  packed_vars, std::size_t  chunk_size  )

inline

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldType >

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

inline

generate_r1cs_witness_from_bits()

template<typename FieldType >

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

inline

generate_r1cs_witness_from_packed()

template<typename FieldType >

void nil::crypto3::zk::components::multipacking_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::multipacking_component< FieldType >::bits

bp

template<typename FieldType >

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

protectedinherited

chunk_size

template<typename FieldType >

const std::size_t nil::crypto3::zk::components::multipacking_component< FieldType >::chunk_size

num_chunks

template<typename FieldType >

const std::size_t nil::crypto3::zk::components::multipacking_component< FieldType >::num_chunks

packed_vars

template<typename FieldType >

const blueprint_linear_combination_vector<FieldType> nil::crypto3::zk::components::multipacking_component< FieldType >::packed_vars

---

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

• packing.hpp