hash_io.hpp
Go to the documentation of this file.
162 generate_r1cs_equals_const_constraint<FieldType>(this->bp, zero, FieldType::value_type::zero());
Definition: hash_io.hpp:84
std::size_t block_size
Definition: hash_io.hpp:86
void generate_r1cs_witness(const std::vector< bool > &contents)
Definition: hash_io.hpp:116
block_variable(blueprint< FieldType > &bp, const digest_variable< FieldType > &left, const digest_variable< FieldType > &right)
Definition: hash_io.hpp:104
blueprint_variable_vector< FieldType > bits
Definition: hash_io.hpp:87
block_variable(blueprint< FieldType > &bp, const std::vector< blueprint_variable_vector< FieldType >> &parts)
Definition: hash_io.hpp:94
void generate_r1cs_constraints()
block_variable(blueprint< FieldType > &bp, std::size_t block_size)
Definition: hash_io.hpp:89
std::vector< bool > get_block() const
Definition: hash_io.hpp:120
Definition: blueprint_variable.hpp:57
Definition: blueprint_variable.hpp:46
Definition: blueprint.hpp:46
Definition: component.hpp:37
Definition: hash_io.hpp:43
std::vector< bool > get_digest() const
Definition: hash_io.hpp:78
std::size_t digest_size
Definition: hash_io.hpp:45
digest_variable(blueprint< FieldType > &bp, std::size_t digest_size, const blueprint_variable_vector< FieldType > &partial_bits, const blueprint_variable< FieldType > &padding)
Definition: hash_io.hpp:54
blueprint_variable_vector< FieldType > bits
Definition: hash_io.hpp:46
void generate_r1cs_constraints()
Definition: hash_io.hpp:68
void generate_r1cs_witness(const std::vector< bool > &contents)
Definition: hash_io.hpp:74
digest_variable(blueprint< FieldType > &bp, std::size_t digest_size)
Definition: hash_io.hpp:48
Definition: hash_io.hpp:126
void generate_r1cs_constraints()
Definition: hash_io.hpp:160
blueprint_variable< FieldType > one
Definition: hash_io.hpp:129
merkle_damagard_padding(blueprint< FieldType > &bp, size_t message_length, size_t message_length_bits_size, size_t block_bits)
Definition: hash_io.hpp:132
void generate_r1cs_witness()
Definition: hash_io.hpp:165
blueprint_variable_vector< FieldType > bits
Definition: hash_io.hpp:128
blueprint_variable< FieldType > zero
Definition: hash_io.hpp:130
vector(T, U...) -> vector< std::enable_if_t<(std::is_same_v< T, U > &&...), T >, 1+sizeof...(U)>
deduction guide for uniform initialization
Definition: pair.hpp:31