zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/signature.hpp
Go to the documentation of this file.
58 bool sigBatchVerif(const r1cs_ppzkadsnark_vkT<CurveType> &vk, const std::vector<label_type> &labels,
vector(T, U...) -> vector< std::enable_if_t<(std::is_same_v< T, U > &&...), T >, 1+sizeof...(U)>
deduction guide for uniform initialization
kpT< CurveType > sigGen(void)
bool sigVerif(const r1cs_ppzkadsnark_vkT< CurveType > &vk, const label_type &label, const typename CurveType::g2_type::value_type &Lambda, const r1cs_ppzkadsnark_signature< CurveType > &sig)
r1cs_ppzkadsnark_signature< CurveType > sigSign(const r1cs_ppzkadsnark_secret_key< CurveType > &sk, const label_type &label, const typename CurveType::g2_type::value_type &Lambda)
bool sigBatchVerif(const r1cs_ppzkadsnark_vkT< CurveType > &vk, const std::vector< label_type > &labels, const std::vector< typename CurveType::g2_type::value_type > &Lambdas, const std::vector< r1cs_ppzkadsnark_signature< CurveType >> &sigs)
Definition: pair.hpp:31
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/signature.hpp:39
r1cs_ppzkadsnark_secret_key< CurveType > sk
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/signature.hpp:40
r1cs_ppzkadsnark_vkT< CurveType > vk
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/signature.hpp:41