alu_gadget.hpp File Reference

#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/alu_arithmetic.hpp>
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/alu_control_flow.hpp>
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/alu_gadget.tcc>

Include dependency graph for alu_gadget.hpp:

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

Go to the source code of this file.

Classes
class	libsnark::ALU_gadget< FieldT >

Namespaces
	libsnark

Detailed Description

Declaration of interfaces for the TinyRAM ALU gadget.

The gadget checks the correct execution of a given TinyRAM instruction.

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_gadget.hpp.