ram_to_r1cs.hpp File Reference

#include <libsnark/reductions/ram_to_r1cs/gadgets/ram_universal_gadget.hpp>
#include <libsnark/reductions/ram_to_r1cs/ram_to_r1cs.tcc>

Include dependency graph for ram_to_r1cs.hpp:

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

Go to the source code of this file.

Classes
class	libsnark::ram_to_r1cs< ramT >

Namespaces
	libsnark

Detailed Description

Declaration of interfaces for a RAM-to-R1CS reduction, that is, constructing a R1CS ("Rank-1 Constraint System") from a RAM ("Random-Access Machine").

The implementation is a thin layer around a "RAM universal gadget", which is where most of the work is done. See gadgets/ram_universal_gadget.hpp for details.

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file ram_to_r1cs.hpp.