nil::crypto3::zk::components::conjunction< FieldType > Class Template Reference

#include <conjunction.hpp>

Inheritance diagram for nil::crypto3::zk::components::conjunction< FieldType >:

Collaboration diagram for nil::crypto3::zk::components::conjunction< FieldType >:

Public Member Functions
	conjunction (blueprint< FieldType > &bp, const blueprint_variable_vector< FieldType > &inputs, const blueprint_variable< FieldType > &output)
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()

Public Attributes
const blueprint_variable_vector< FieldType >	inputs
const blueprint_variable< FieldType >	output

Protected Attributes
blueprint< FieldType > &	bp

Constructor & Destructor Documentation

conjunction()

template<typename FieldType >

nil::crypto3::zk::components::conjunction< FieldType >::conjunction ( blueprint< FieldType > &  bp, const blueprint_variable_vector< FieldType > &  inputs, const blueprint_variable< FieldType > &  output  )

inline

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldType >

void nil::crypto3::zk::components::conjunction< FieldType >::generate_r1cs_constraints ( )

inline

generate_r1cs_witness()

template<typename FieldType >

void nil::crypto3::zk::components::conjunction< FieldType >::generate_r1cs_witness ( )

inline

Member Data Documentation

bp

template<typename FieldType >

blueprint<FieldType>& nil::crypto3::zk::components::component< FieldType >::bp

protectedinherited

inputs

template<typename FieldType >

const blueprint_variable_vector<FieldType> nil::crypto3::zk::components::conjunction< FieldType >::inputs

output

template<typename FieldType >

const blueprint_variable<FieldType> nil::crypto3::zk::components::conjunction< FieldType >::output

---

The documentation for this class was generated from the following file:

• conjunction.hpp