nil::crypto3::zk::components::element_fp3_squared< Fp3T > Struct Template Reference

#include <element_fp3.hpp>

Inheritance diagram for nil::crypto3::zk::components::element_fp3_squared< Fp3T >:

Collaboration diagram for nil::crypto3::zk::components::element_fp3_squared< Fp3T >:

Public Types
using	base_field_type = typename Fp3T::underlying_field_type

Public Member Functions
	element_fp3_squared (blueprint< base_field_type > &bp, const element_fp3< Fp3T > &A, const element_fp3< Fp3T > &result)
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()

Public Attributes
element_fp3< Fp3T >	A
std::shared_ptr< element_fp3_mul< Fp3T > >	mul
element_fp3< Fp3T >	result

Protected Attributes
blueprint< Fp3T::underlying_field_type > &	bp

Detailed Description

template<typename Fp3T>
struct nil::crypto3::zk::components::element_fp3_squared< Fp3T >

Component that creates constraints for Fp3 squaring.

Member Typedef Documentation

base_field_type

template<typename Fp3T >

using nil::crypto3::zk::components::element_fp3_squared< Fp3T >::base_field_type = typename Fp3T::underlying_field_type

Constructor & Destructor Documentation

element_fp3_squared()

template<typename Fp3T >

nil::crypto3::zk::components::element_fp3_squared< Fp3T >::element_fp3_squared ( blueprint< base_field_type > &  bp, const element_fp3< Fp3T > &  A, const element_fp3< Fp3T > &  result  )

inline

Member Function Documentation

generate_r1cs_constraints()

template<typename Fp3T >

void nil::crypto3::zk::components::element_fp3_squared< Fp3T >::generate_r1cs_constraints ( )

inline

generate_r1cs_witness()

template<typename Fp3T >

void nil::crypto3::zk::components::element_fp3_squared< Fp3T >::generate_r1cs_witness ( )

inline

Member Data Documentation

A

template<typename Fp3T >

element_fp3<Fp3T> nil::crypto3::zk::components::element_fp3_squared< Fp3T >::A

bp

blueprint<Fp3T::underlying_field_type >& nil::crypto3::zk::components::component< Fp3T::underlying_field_type >::bp

protectedinherited

mul

template<typename Fp3T >

std::shared_ptr<element_fp3_mul<Fp3T> > nil::crypto3::zk::components::element_fp3_squared< Fp3T >::mul

result

template<typename Fp3T >

element_fp3<Fp3T> nil::crypto3::zk::components::element_fp3_squared< Fp3T >::result

---

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

• element_fp3.hpp