Skip to content

Commit 8b9cfc2

Browse files
committed
revert select k indices function
1 parent 800b49c commit 8b9cfc2

File tree

4 files changed

+170
-409
lines changed

4 files changed

+170
-409
lines changed

mithril-stm/src/proof_system/concatenation.rs

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -44,9 +44,10 @@ impl<D: Clone + Digest + FixedOutput + Send + Sync> ConcatenationProof<D> {
4444
})
4545
.collect::<Vec<SingleSignatureWithRegisteredParty>>();
4646

47-
let mut unique_sigs = clerk
48-
.select_valid_signatures_for_k_indices(msg, &sig_reg_list)
49-
.with_context(
47+
let avk = clerk.compute_aggregate_verification_key();
48+
let mut unique_sigs =
49+
Clerk::select_valid_signatures_for_k_indices(&clerk.params, msg, &sig_reg_list, &avk)
50+
.with_context(
5051
|| "Failed to aggregate unique signatures during selection for the k indices.",
5152
)?;
5253

mithril-stm/src/protocol/aggregate_signature/basic_verifier.rs

Lines changed: 0 additions & 257 deletions
This file was deleted.

0 commit comments

Comments
 (0)