libzeth::note_gadget< FieldT > Class Template Reference

#include <note.hpp>

Inheritance diagram for libzeth::note_gadget< FieldT >:

Collaboration diagram for libzeth::note_gadget< FieldT >:

Public Member Functions
	note_gadget (libsnark::protoboard< FieldT > &pb, const std::string &annotation_prefix="note_gadget")
void	generate_r1cs_constraints ()
void	generate_r1cs_witness (const zeth_note &note)

Public Attributes
libsnark::pb_variable_array< FieldT >	value
libsnark::pb_variable_array< FieldT >	r

Detailed Description

template<typename FieldT>
class libzeth::note_gadget< FieldT >

Gadget that makes sure that the note:

• Has a value < 2^64
• Has a valid r trapdoor which is a 256-bit string

Definition at line 21 of file note.hpp.

Constructor & Destructor Documentation

note_gadget()

template<typename FieldT >

libzeth::note_gadget< FieldT >::note_gadget ( libsnark::protoboard< FieldT > &  pb, const std::string &  annotation_prefix = "note_gadget< FieldT >"  )

explicit

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

void libzeth::note_gadget< FieldT >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename FieldT >

void libzeth::note_gadget< FieldT >::generate_r1cs_witness

(

const zeth_note &

note

)

Member Data Documentation

r

template<typename FieldT >

libsnark::pb_variable_array<FieldT> libzeth::note_gadget< FieldT >::r

Definition at line 27 of file note.hpp.

value

template<typename FieldT >

libsnark::pb_variable_array<FieldT> libzeth::note_gadget< FieldT >::value

Definition at line 25 of file note.hpp.

---

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

• /home/runner/work/zeth/zeth/libzeth/circuits/notes/note.hpp