tinyram_cpu_checker.hpp File Reference

#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/alu_gadget.hpp>
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/argument_decoder_gadget.hpp>
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/consistency_enforcer_gadget.hpp>
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/memory_masking_gadget.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/tinyram_cpu_checker.tcc>

Include dependency graph for tinyram_cpu_checker.hpp:

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

Go to the source code of this file.

Classes
class	libsnark::tinyram_cpu_checker< FieldT >

Namespaces
	libsnark

Detailed Description

Declaration of interfaces for the TinyRAM CPU checker gadget.

The gadget checks the correct operation for the CPU of the TinyRAM architecture.

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file tinyram_cpu_checker.hpp.