From 84077b869a2596dbf309f07825331fd5b732f465 Mon Sep 17 00:00:00 2001 From: Polina Chernyshova Date: Mon, 13 Feb 2023 10:51:11 +0000 Subject: [PATCH] updated interface for compressing algorithms #107 --- .../crypto3/zk/commitments/detail/polynomial/basic_fri.hpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/include/nil/crypto3/zk/commitments/detail/polynomial/basic_fri.hpp b/include/nil/crypto3/zk/commitments/detail/polynomial/basic_fri.hpp index 965f426e8..6fb74ff3b 100644 --- a/include/nil/crypto3/zk/commitments/detail/polynomial/basic_fri.hpp +++ b/include/nil/crypto3/zk/commitments/detail/polynomial/basic_fri.hpp @@ -415,14 +415,16 @@ namespace nil { for (std::size_t i = 0; i < x_indeces.size(); i++) { min_x_indeces[i] = std::min(x_indeces[i], get_paired_index(x_indeces[i], domain_sizes[i])); } - return containers::generate_compressed_proofs(tree, min_x_indeces); + const typename containers::merkle_proof proof_impl; + return proof_impl.generate_compressed_proofs(tree, min_x_indeces); } template static inline bool validate_compressed_proofs(const std::vector &compressed_proofs, const std::vector> &leafs_data) { - return containers::validate_compressed_proofs, typename FRI::merkle_tree_hash_type, FRI::m>(compressed_proofs, leafs_data); + const typename containers::merkle_proof proof_impl; + return proof_impl.validate_compressed_proofs(compressed_proofs, leafs_data); } template