element_knowledge_commitment.hpp File Reference

#include <nil/crypto3/algebra/type_traits.hpp>
#include <nil/crypto3/multiprecision/number.hpp>

Include dependency graph for element_knowledge_commitment.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	nil::crypto3::zk::snark::detail::element_kc< Type1, Type2 >

Namespaces
	nil
	nil::crypto3
	nil::crypto3::zk
	nil::crypto3::zk::snark
	nil::crypto3::zk::snark::detail

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 >	nil::crypto3::zk::snark::detail::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 >	nil::crypto3::zk::snark::detail::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 >	nil::crypto3::zk::snark::detail::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 >	nil::crypto3::zk::snark::detail::operator* (const multiprecision::number< Backend, ExpressionTemplates > &lhs, const element_kc< Type1, Type2 > &rhs)