nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType > Class Template Reference
#include <element_fp6_2over3.hpp>
Inheritance diagram for nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >:
Collaboration diagram for nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >:
Public Member Functions | |
element_fp6_2over3_mul_by_2345 (blueprint< base_field_type > &bp, const element_fp6_2over3< field_type > &A, const element_fp6_2over3< field_type > &B, const element_fp6_2over3< field_type > &result) | |
void | generate_r1cs_constraints () |
void | generate_r1cs_witness () |
Protected Attributes | |
blueprint< FieldType > & | bp |
Detailed Description
template<typename FieldType>
class nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >
Component that creates constraints for Fp6 multiplication by a Fp6 element B for which B.data[0].data[0] = B.data[0].data[1] = 0.
Constructor & Destructor Documentation
◆ element_fp6_2over3_mul_by_2345()
template<typename FieldType >
|
inline |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename FieldType >
|
inline |
◆ generate_r1cs_witness()
template<typename FieldType >
|
inline |
Member Data Documentation
◆ A
template<typename FieldType >
element_fp6_2over3<field_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::A |
◆ Ac0_plus_Ac1
template<typename FieldType >
std::shared_ptr<underlying_element_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::Ac0_plus_Ac1 |
◆ Ac0_plus_Ac1_c0
template<typename FieldType >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::Ac0_plus_Ac1_c0 |
◆ Ac0_plus_Ac1_c1
template<typename FieldType >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::Ac0_plus_Ac1_c1 |
◆ Ac0_plus_Ac1_c2
template<typename FieldType >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::Ac0_plus_Ac1_c2 |
◆ B
template<typename FieldType >
element_fp6_2over3<field_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::B |
◆ Bc0_plus_Bc1
template<typename FieldType >
std::shared_ptr<underlying_element_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::Bc0_plus_Bc1 |
◆ Bc0_plus_Bc1_c0
template<typename FieldType >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::Bc0_plus_Bc1_c0 |
◆ Bc0_plus_Bc1_c1
template<typename FieldType >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::Bc0_plus_Bc1_c1 |
◆ Bc0_plus_Bc1_c2
template<typename FieldType >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::Bc0_plus_Bc1_c2 |
◆ bp
|
protectedinherited |
◆ compute_result_c1
template<typename FieldType >
std::shared_ptr<element_fp3_mul<underlying_field_type> > nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::compute_result_c1 |
◆ compute_v1
template<typename FieldType >
std::shared_ptr<element_fp3_mul<underlying_field_type> > nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::compute_v1 |
◆ result
template<typename FieldType >
element_fp6_2over3<field_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::result |
◆ result_c1_plus_v0_plus_v1
template<typename FieldType >
std::shared_ptr<underlying_element_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::result_c1_plus_v0_plus_v1 |
◆ result_c1_plus_v0_plus_v1_c0
template<typename FieldType >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::result_c1_plus_v0_plus_v1_c0 |
◆ result_c1_plus_v0_plus_v1_c1
template<typename FieldType >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::result_c1_plus_v0_plus_v1_c1 |
◆ result_c1_plus_v0_plus_v1_c2
template<typename FieldType >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::result_c1_plus_v0_plus_v1_c2 |
◆ v0
template<typename FieldType >
std::shared_ptr<underlying_element_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::v0 |
◆ v0_c0
template<typename FieldType >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::v0_c0 |
◆ v0_c1
template<typename FieldType >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::v0_c1 |
◆ v0_c2
template<typename FieldType >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::v0_c2 |
◆ v1
template<typename FieldType >
std::shared_ptr<underlying_element_type> nil::crypto3::zk::components::element_fp6_2over3_mul_by_2345< FieldType >::v1 |
The documentation for this class was generated from the following file: