systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/transcript.hpp
Go to the documentation of this file.
void pack(InputIterator first, InputIterator last, std::random_access_iterator_tag, OutputIterator out)
Packs elements from the range [first, last) into elements starting from out. Works for input containe...
Definition: block/include/nil/crypto3/detail/pack.hpp:835
big_unit_big_bit< CHAR_BIT > big_byte_big_bit
Definition: algebra/include/nil/crypto3/detail/stream_endian.hpp:54
little_unit_big_bit< CHAR_BIT > little_byte_big_bit
Definition: algebra/include/nil/crypto3/detail/stream_endian.hpp:64
Definition: pair.hpp:31
Definition: hash_state.hpp:43
Transcript policy. Assumed to be inherited by particular algorithms.
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/transcript.hpp:46
std::vector< std::uint8_t > buffer
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/transcript.hpp:52
std::enable_if< std::is_same< typename curve_type::template g1_type<>, GroupType >::value||std::is_same< typename curve_type::template g2_type<>, GroupType >::value >::type write(const typename GroupType::value_type &x)
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/transcript.hpp:93
curve_type::scalar_field_type::value_type read_challenge()
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/transcript.hpp:120
std::enable_if< std::is_same< std::uint8_t, typename std::iterator_traits< InputIterator >::value_type >::value >::type write(InputIterator first, InputIterator last)
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/transcript.hpp:104
nil::marshalling::curve_bincode< curve_type > bincode
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/transcript.hpp:50
std::enable_if< std::is_same< typename curve_type::base_field_type, FieldType >::value||std::is_same< typename curve_type::scalar_field_type, FieldType >::value||std::is_same< typename curve_type::gt_type, FieldType >::value >::type write(const typename FieldType::value_type &x)
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/transcript.hpp:82
transcript(InputIterator first, InputIterator last)
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/transcript.hpp:60
Hash hash_type
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/transcript.hpp:48
::nil::crypto3::accumulator_set< Hash > hasher_acc
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/transcript.hpp:53
void write_domain_separator(InputIterator first, InputIterator last)
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/transcript.hpp:71
CurveType curve_type
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/transcript.hpp:47