nil::crypto3::zk::snark::detail Namespace Reference

Classes

struct  bacs_ppzksnark_policy
 
struct  element_kc
 
struct  knowledge_commitment
 
struct  r1cs_gg_ppzksnark_basic_policy
 
struct  r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::Aggregate >
 
struct  r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::Basic >
 
class  r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::EncryptedInput >
 
struct  r1cs_ppzkadsnark_basic_policy
 
struct  r1cs_ppzksnark_policy
 
struct  r1cs_se_ppzksnark_types_policy
 
struct  tbcs_ppzksnark_policy
 
struct  uscs_ppzksnark_policy
 

Functions

template<typename Type1 , typename Type2 , typename FieldValueType , typename = typename std::enable_if< algebra::is_field<typename FieldValueType::field_type>::value && !algebra::is_extended_field<typename FieldValueType::field_type>::value, FieldValueType>::type>
element_kc< Type1, Type2 > operator* (const element_kc< Type1, Type2 > &lhs, const FieldValueType &rhs)
 
template<typename Type1 , typename Type2 , typename Backend , multiprecision::expression_template_option ExpressionTemplates>
element_kc< Type1, Type2 > operator* (const element_kc< Type1, Type2 > &lhs, const multiprecision::number< Backend, ExpressionTemplates > &rhs)
 
template<typename Type1 , typename Type2 , typename FieldValueType , typename = typename std::enable_if< algebra::is_field<typename FieldValueType::field_type>::value && !algebra::is_extended_field<typename FieldValueType::field_type>::value, FieldValueType>::type>
element_kc< Type1, Type2 > operator* (const FieldValueType &lhs, const element_kc< Type1, Type2 > &rhs)
 
template<typename Type1 , typename Type2 , typename Backend , multiprecision::expression_template_option ExpressionTemplates>
element_kc< Type1, Type2 > operator* (const multiprecision::number< Backend, ExpressionTemplates > &lhs, const element_kc< Type1, Type2 > &rhs)
 

Function Documentation

◆ operator*() [1/4]

template<typename Type1 , typename Type2 , typename FieldValueType , typename = typename std::enable_if< algebra::is_field<typename FieldValueType::field_type>::value && !algebra::is_extended_field<typename FieldValueType::field_type>::value, FieldValueType>::type>
element_kc<Type1, Type2> nil::crypto3::zk::snark::detail::operator* ( const element_kc< Type1, Type2 > &  lhs,
const FieldValueType &  rhs 
)

◆ operator*() [2/4]

template<typename Type1 , typename Type2 , typename Backend , multiprecision::expression_template_option ExpressionTemplates>
element_kc<Type1, Type2> nil::crypto3::zk::snark::detail::operator* ( const element_kc< Type1, Type2 > &  lhs,
const multiprecision::number< Backend, ExpressionTemplates > &  rhs 
)

◆ operator*() [3/4]

template<typename Type1 , typename Type2 , typename FieldValueType , typename = typename std::enable_if< algebra::is_field<typename FieldValueType::field_type>::value && !algebra::is_extended_field<typename FieldValueType::field_type>::value, FieldValueType>::type>
element_kc<Type1, Type2> nil::crypto3::zk::snark::detail::operator* ( const FieldValueType &  lhs,
const element_kc< Type1, Type2 > &  rhs 
)

◆ operator*() [4/4]

template<typename Type1 , typename Type2 , typename Backend , multiprecision::expression_template_option ExpressionTemplates>
element_kc<Type1, Type2> nil::crypto3::zk::snark::detail::operator* ( const multiprecision::number< Backend, ExpressionTemplates > &  lhs,
const element_kc< Type1, Type2 > &  rhs 
)