libzecale::null_hash_gadget< FieldT > Class Template Reference

#include <null_hash_gadget.hpp>

Public Member Functions
	null_hash_gadget (libsnark::protoboard< FieldT > &pb, const libsnark::block_variable< FieldT > &input, const libsnark::digest_variable< FieldT > &output, const std::string &annotation_prefix)
void	generate_r1cs_constraints (const bool ensure_output_bitness=true)
void	generate_r1cs_witness ()

Static Public Member Functions
static size_t	get_digest_len ()

Detailed Description

template<typename FieldT>
class libzecale::null_hash_gadget< FieldT >

A trivial hash gadget that can be used as a parameter to the aggregator_circuit to disable verification key hashing during development.

Definition at line 14 of file null_hash_gadget.hpp.

Constructor & Destructor Documentation

null_hash_gadget()

template<typename FieldT >

libzecale::null_hash_gadget< FieldT >::null_hash_gadget	(	libsnark::protoboard< FieldT > &	pb,
		const libsnark::block_variable< FieldT > &	input,
		const libsnark::digest_variable< FieldT > &	output,
		const std::string &	annotation_prefix
	)

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

void libzecale::null_hash_gadget< FieldT >::generate_r1cs_constraints

(

const bool

ensure_output_bitness = true

)

generate_r1cs_witness()

template<typename FieldT >

void libzecale::null_hash_gadget< FieldT >::generate_r1cs_witness

(

)

get_digest_len()

template<typename FieldT >

static size_t libzecale::null_hash_gadget< FieldT >::get_digest_len ( )

static

---

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

• /home/runner/work/zecale/zecale/libzecale/circuits/null_hash_gadget.hpp