Crypto3 Cryptography Suite

#include <element_fp6_2over3.hpp>

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

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

Public Member Functions
	element_fp6_2over3_cyclotomic_squared (blueprint< base_field_type > &bp, const element_fp6_2over3< field_type > &A, const element_fp6_2over3< field_type > &result)

void	generate_r1cs_constraints ()

void	generate_r1cs_witness ()

Public Attributes
element_fp6_2over3< field_type >	A

std::shared_ptr< element_fp2< Fp2T > >	a

std::shared_ptr< element_fp2< Fp2T > >	asq

blueprint_linear_combination< base_field_type >	asq_c0

blueprint_linear_combination< base_field_type >	asq_c1

std::shared_ptr< element_fp2< Fp2T > >	b

std::shared_ptr< element_fp2< Fp2T > >	bsq

blueprint_linear_combination< base_field_type >	bsq_c0

blueprint_linear_combination< base_field_type >	bsq_c1

std::shared_ptr< element_fp2< Fp2T > >	c

std::shared_ptr< element_fp2_squared< Fp2T > >	compute_asq

std::shared_ptr< element_fp2_squared< Fp2T > >	compute_bsq

std::shared_ptr< element_fp2_squared< Fp2T > >	compute_csq

std::shared_ptr< element_fp2< Fp2T > >	csq

blueprint_linear_combination< base_field_type >	csq_c0

blueprint_linear_combination< base_field_type >	csq_c1

element_fp6_2over3< field_type >	result

Protected Attributes
blueprint< FieldType > &	bp

Detailed Description

template<typename FieldType>
class nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >

Component that creates constraints for Fp6 cyclotomic squaring

Constructor & Destructor Documentation

◆ element_fp6_2over3_cyclotomic_squared()

template<typename FieldType >

nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::element_fp6_2over3_cyclotomic_squared	(	blueprint< base_field_type > &	bp,
		const element_fp6_2over3< field_type > &	A,
		const element_fp6_2over3< field_type > &	result
	)

inline

Member Function Documentation

◆ generate_r1cs_constraints()

template<typename FieldType >

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

inline

◆ generate_r1cs_witness()

template<typename FieldType >

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

inline

Member Data Documentation

◆ A

template<typename FieldType >

element_fp6_2over3<field_type> nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::A

◆ a

template<typename FieldType >

std::shared_ptr<element_fp2<Fp2T> > nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::a

◆ asq

template<typename FieldType >

std::shared_ptr<element_fp2<Fp2T> > nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::asq

◆ asq_c0

template<typename FieldType >

blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::asq_c0

◆ asq_c1

template<typename FieldType >

blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::asq_c1

◆ b

template<typename FieldType >

std::shared_ptr<element_fp2<Fp2T> > nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::b

◆ bp

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

protectedinherited

◆ bsq

template<typename FieldType >

std::shared_ptr<element_fp2<Fp2T> > nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::bsq

◆ bsq_c0

template<typename FieldType >

blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::bsq_c0

◆ bsq_c1

template<typename FieldType >

blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::bsq_c1

◆ c

template<typename FieldType >

std::shared_ptr<element_fp2<Fp2T> > nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::c

◆ compute_asq

template<typename FieldType >

std::shared_ptr<element_fp2_squared<Fp2T> > nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::compute_asq

◆ compute_bsq

template<typename FieldType >

std::shared_ptr<element_fp2_squared<Fp2T> > nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::compute_bsq

◆ compute_csq

template<typename FieldType >

std::shared_ptr<element_fp2_squared<Fp2T> > nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::compute_csq

◆ csq

template<typename FieldType >

std::shared_ptr<element_fp2<Fp2T> > nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::csq

◆ csq_c0

template<typename FieldType >

blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::csq_c0

◆ csq_c1

template<typename FieldType >

blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::csq_c1

◆ result

template<typename FieldType >

element_fp6_2over3<field_type> nil::crypto3::zk::components::element_fp6_2over3_cyclotomic_squared< FieldType >::result

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

element_fp6_2over3.hpp