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

#include <hash_io.hpp>

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

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

Public Member Functions
	block_variable (blueprint< FieldType > &bp, const digest_variable< FieldType > &left, const digest_variable< FieldType > &right)
	block_variable (blueprint< FieldType > &bp, const std::vector< blueprint_variable_vector< FieldType >> &parts)
	block_variable (blueprint< FieldType > &bp, std::size_t block_size)
void	generate_r1cs_constraints ()
void	generate_r1cs_witness (const std::vector< bool > &contents)
std::vector< bool >	get_block () const

Public Attributes
blueprint_variable_vector< FieldType >	bits
std::size_t	block_size

Protected Attributes
blueprint< FieldType > &	bp

Constructor & Destructor Documentation

block_variable() [1/3]

template<typename FieldType >

nil::crypto3::zk::components::block_variable< FieldType >::block_variable ( blueprint< FieldType > &  bp, std::size_t  block_size  )

inline

block_variable() [2/3]

template<typename FieldType >

nil::crypto3::zk::components::block_variable< FieldType >::block_variable ( blueprint< FieldType > &  bp, const std::vector< blueprint_variable_vector< FieldType >> &  parts  )

inline

block_variable() [3/3]

template<typename FieldType >

nil::crypto3::zk::components::block_variable< FieldType >::block_variable ( blueprint< FieldType > &  bp, const digest_variable< FieldType > &  left, const digest_variable< FieldType > &  right  )

inline

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldType >

void nil::crypto3::zk::components::block_variable< FieldType >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename FieldType >

void nil::crypto3::zk::components::block_variable< FieldType >::generate_r1cs_witness ( const std::vector< bool > &  contents )

inline

get_block()

template<typename FieldType >

std::vector<bool> nil::crypto3::zk::components::block_variable< FieldType >::get_block ( ) const

inline

Member Data Documentation

bits

template<typename FieldType >

blueprint_variable_vector<FieldType> nil::crypto3::zk::components::block_variable< FieldType >::bits

block_size

template<typename FieldType >

std::size_t nil::crypto3::zk::components::block_variable< FieldType >::block_size

bp

template<typename FieldType >

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

protectedinherited

---

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

• hash_io.hpp