tbcs.hpp File Reference

#include <nil/crypto3/zk/snark/relations/variable.hpp>

Include dependency graph for tbcs.hpp:

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

Go to the source code of this file.

Classes
struct	nil::crypto3::zk::snark::tbcs_circuit
struct	nil::crypto3::zk::snark::tbcs_gate

Namespaces
	nil
	nil::crypto3
	nil::crypto3::zk
	nil::crypto3::zk::snark

Typedefs
typedef tbcs_variable_assignment	nil::crypto3::zk::snark::tbcs_auxiliary_input
typedef tbcs_variable_assignment	nil::crypto3::zk::snark::tbcs_primary_input
typedef std::vector< bool >	nil::crypto3::zk::snark::tbcs_variable_assignment
typedef std::size_t	nil::crypto3::zk::snark::tbcs_wire_t

Enumerations
enum	nil::crypto3::zk::snark::tbcs_gate_type {   nil::crypto3::zk::snark::TBCS_GATE_CONSTANT_0 = 0 , nil::crypto3::zk::snark::TBCS_GATE_AND = 1 , nil::crypto3::zk::snark::TBCS_GATE_X_AND_NOT_Y = 2 , nil::crypto3::zk::snark::TBCS_GATE_X = 3 ,   nil::crypto3::zk::snark::TBCS_GATE_NOT_X_AND_Y = 4 , nil::crypto3::zk::snark::TBCS_GATE_Y = 5 , nil::crypto3::zk::snark::TBCS_GATE_XOR = 6 , nil::crypto3::zk::snark::TBCS_GATE_OR = 7 ,   nil::crypto3::zk::snark::TBCS_GATE_NOR = 8 , nil::crypto3::zk::snark::TBCS_GATE_EQUIVALENCE = 9 , nil::crypto3::zk::snark::TBCS_GATE_NOT_Y = 10 , nil::crypto3::zk::snark::TBCS_GATE_IF_Y_THEN_X = 11 ,   nil::crypto3::zk::snark::TBCS_GATE_NOT_X = 12 , nil::crypto3::zk::snark::TBCS_GATE_IF_X_THEN_Y = 13 , nil::crypto3::zk::snark::TBCS_GATE_NAND = 14 , nil::crypto3::zk::snark::TBCS_GATE_CONSTANT_1 = 15 }