consistency_enforcer_gadget.hpp File Reference

#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/tinyram_protoboard.hpp>
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/consistency_enforcer_gadget.tcc>

Include dependency graph for consistency_enforcer_gadget.hpp:

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

Go to the source code of this file.

Classes
class	libsnark::consistency_enforcer_gadget< FieldT >

Namespaces
	libsnark

Detailed Description

Declaration of interfaces for the TinyRAM consistency enforcer gadget.

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file consistency_enforcer_gadget.hpp.