alu_control_flow.hpp File Reference

#include <libsnark/gadgetlib1/gadgets/basic_gadgets.hpp>
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/tinyram_protoboard.hpp>
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/word_variable_gadget.hpp>
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/alu_control_flow.tcc>

Include dependency graph for alu_control_flow.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	libsnark::ALU_control_flow_gadget< FieldT >
class	libsnark::ALU_jmp_gadget< FieldT >
class	libsnark::ALU_cjmp_gadget< FieldT >
class	libsnark::ALU_cnjmp_gadget< FieldT >

Namespaces
	libsnark

Functions
template<typename FieldT >
void	libsnark::test_ALU_jmp_gadget ()
template<typename FieldT >
void	libsnark::test_ALU_cjmp_gadget ()
template<typename FieldT >
void	libsnark::test_ALU_cnjmp_gadget ()

Detailed Description

Declaration of interfaces for the TinyRAM ALU control-flow gadgets.

These gadget check the correct execution of control-flow TinyRAM instructions.

Author

This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file alu_control_flow.hpp.