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

#include <element_fp3.hpp>

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

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

Public Types
using	base_field_type = typename Fp3T::base_field_type

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

Public Attributes
element_fp3< Fp3T >	A
element_fp3< Fp3T >	B
element_fp3< Fp3T >	result
blueprint_variable< base_field_type >	v0
blueprint_variable< base_field_type >	v4

Protected Attributes
blueprint< Fp3T::base_field_type > &	bp

Detailed Description

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

Component that creates constraints for Fp3 by Fp3 multiplication.

Member Typedef Documentation

base_field_type

template<typename Fp3T >

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

Constructor & Destructor Documentation

element_fp3_mul()

template<typename Fp3T >

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

inline

Member Function Documentation

generate_r1cs_constraints()

template<typename Fp3T >

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

inline

generate_r1cs_witness()

template<typename Fp3T >

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

inline

Member Data Documentation

A

template<typename Fp3T >

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

B

template<typename Fp3T >

element_fp3<Fp3T> nil::crypto3::zk::components::element_fp3_mul< Fp3T >::B

bp

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

protectedinherited

result

template<typename Fp3T >

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

v0

template<typename Fp3T >

blueprint_variable<base_field_type> nil::crypto3::zk::components::element_fp3_mul< Fp3T >::v0

v4

template<typename Fp3T >

blueprint_variable<base_field_type> nil::crypto3::zk::components::element_fp3_mul< Fp3T >::v4

---

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

• element_fp3.hpp