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 | ||
) |