Skip to content

Commit 79bfa03

Browse files
committed
rename: aggregate signature
1 parent a07647a commit 79bfa03

File tree

14 files changed

+97
-81
lines changed

14 files changed

+97
-81
lines changed

mithril-stm/benches/size_benches.rs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@ use blake2::{
44
Blake2b, Digest,
55
};
66
use mithril_stm::{
7-
CoreVerifier, Initializer, KeyRegistration, Parameters, Signer, SingleSignature,
8-
SingleSignatureWithRegisteredParty, Stake, StmClerk, StmVerificationKey,
7+
BasicVerifier, Clerk, Initializer, KeyRegistration, Parameters, Signer, SingleSignature,
8+
SingleSignatureWithRegisteredParty, Stake, StmVerificationKey,
99
};
1010
use rand_chacha::ChaCha20Rng;
1111
use rand_core::{RngCore, SeedableRng};
@@ -48,7 +48,7 @@ where
4848
.par_iter()
4949
.filter_map(|p| p.sign(&msg))
5050
.collect::<Vec<SingleSignature>>();
51-
let clerk = StmClerk::from_signer(&ps[0]);
51+
let clerk = Clerk::from_signer(&ps[0]);
5252

5353
// Aggregate with random parties
5454
let aggr = clerk.aggregate(&sigs, &msg).unwrap();
@@ -85,7 +85,7 @@ where
8585
public_signers.push((initializer.verification_key().vk, initializer.stake));
8686
}
8787

88-
let core_verifier = CoreVerifier::setup(&public_signers);
88+
let core_verifier = BasicVerifier::setup(&public_signers);
8989

9090
let signers: Vec<Signer<H>> = initializers
9191
.into_iter()
@@ -107,7 +107,7 @@ where
107107
})
108108
.collect::<Vec<SingleSignatureWithRegisteredParty>>();
109109

110-
let dedup_sigs = CoreVerifier::dedup_sigs_for_indices(
110+
let dedup_sigs = BasicVerifier::dedup_sigs_for_indices(
111111
&core_verifier.total_stake,
112112
&params,
113113
&msg,

mithril-stm/benches/stm.rs

Lines changed: 12 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ use blake2::digest::{Digest, FixedOutput};
22
use blake2::{digest::consts::U32, Blake2b};
33
use criterion::{criterion_group, criterion_main, BenchmarkId, Criterion};
44
use mithril_stm::{
5-
CoreVerifier, Initializer, KeyRegistration, Parameters, Signer, Stake, StmAggrSig, StmClerk,
6-
StmVerificationKey,
5+
AggregateSignature, BasicVerifier, Clerk, Initializer, KeyRegistration, Parameters, Signer,
6+
Stake, StmVerificationKey,
77
};
88
use rand_chacha::ChaCha20Rng;
99
use rand_core::{RngCore, SeedableRng};
@@ -67,7 +67,7 @@ where
6767
.filter_map(|p| p.sign(&msg))
6868
.collect::<Vec<_>>();
6969

70-
let clerk = StmClerk::from_signer(&signers[0]);
70+
let clerk = Clerk::from_signer(&signers[0]);
7171

7272
group.bench_function(BenchmarkId::new("Aggregation", &param_string), |b| {
7373
b.iter(|| clerk.aggregate(&sigs, &msg))
@@ -130,7 +130,7 @@ fn batch_benches<H>(
130130
.filter_map(|p| p.sign(&msg))
131131
.collect::<Vec<_>>();
132132

133-
let clerk = StmClerk::from_signer(&signers[0]);
133+
let clerk = Clerk::from_signer(&signers[0]);
134134
let msig = clerk.aggregate(&sigs, &msg).unwrap();
135135

136136
batch_avks.push(clerk.compute_avk());
@@ -139,8 +139,13 @@ fn batch_benches<H>(
139139

140140
group.bench_function(BenchmarkId::new("Batch Verification", batch_string), |b| {
141141
b.iter(|| {
142-
StmAggrSig::batch_verify(&batch_stms, &batch_msgs, &batch_avks, &batch_params)
143-
.is_ok()
142+
AggregateSignature::batch_verify(
143+
&batch_stms,
144+
&batch_msgs,
145+
&batch_avks,
146+
&batch_params,
147+
)
148+
.is_ok()
144149
})
145150
});
146151
}
@@ -173,7 +178,7 @@ where
173178
public_signers.push((initializer.verification_key().vk, initializer.stake));
174179
}
175180

176-
let core_verifier = CoreVerifier::setup(&public_signers);
181+
let core_verifier = BasicVerifier::setup(&public_signers);
177182

178183
let signers: Vec<Signer<H>> = initializers
179184
.into_iter()

mithril-stm/examples/key_registration.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
//! run presented in `tests/integration.rs`, we explicitly treat each party individually.
44
use blake2::{digest::consts::U32, Blake2b};
55
use mithril_stm::{
6-
ClosedKeyRegistration, Initializer, KeyRegistration, Parameters, Stake, StmClerk,
6+
Clerk, ClosedKeyRegistration, Initializer, KeyRegistration, Parameters, Stake,
77
StmVerificationKeyPoP,
88
};
99

@@ -110,7 +110,7 @@ fn main() {
110110
let incomplete_sigs_3 = vec![party_0_sigs, party_1_sigs, party_2_sigs, party_3_sigs];
111111

112112
let closed_registration = local_reg(&stakes, &parties_pks);
113-
let clerk = StmClerk::from_registration(&params, &closed_registration);
113+
let clerk = Clerk::from_registration(&params, &closed_registration);
114114

115115
// Now we aggregate the signatures
116116
let msig_1 = match clerk.aggregate(&complete_sigs_1, &msg) {

mithril-stm/src/aggregate_signature/aggregate_key.rs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -11,12 +11,12 @@ use crate::{ClosedKeyRegistration, Stake};
1111
serialize = "MerkleBatchPath<D>: Serialize",
1212
deserialize = "MerkleBatchPath<D>: Deserialize<'de>"
1313
))]
14-
pub struct StmAggrVerificationKey<D: Clone + Digest + FixedOutput> {
14+
pub struct AggregateVerificationKey<D: Clone + Digest + FixedOutput> {
1515
mt_commitment: MerkleTreeBatchCommitment<D>,
1616
total_stake: Stake,
1717
}
1818

19-
impl<D: Digest + Clone + FixedOutput> StmAggrVerificationKey<D> {
19+
impl<D: Digest + Clone + FixedOutput> AggregateVerificationKey<D> {
2020
pub fn get_mt_commitment(&self) -> MerkleTreeBatchCommitment<D> {
2121
self.mt_commitment.clone()
2222
}
@@ -26,16 +26,16 @@ impl<D: Digest + Clone + FixedOutput> StmAggrVerificationKey<D> {
2626
}
2727
}
2828

29-
impl<D: Digest + Clone + FixedOutput> PartialEq for StmAggrVerificationKey<D> {
29+
impl<D: Digest + Clone + FixedOutput> PartialEq for AggregateVerificationKey<D> {
3030
fn eq(&self, other: &Self) -> bool {
3131
self.mt_commitment == other.mt_commitment && self.total_stake == other.total_stake
3232
}
3333
}
3434

35-
impl<D: Digest + Clone + FixedOutput> Eq for StmAggrVerificationKey<D> {}
35+
impl<D: Digest + Clone + FixedOutput> Eq for AggregateVerificationKey<D> {}
3636

3737
impl<D: Clone + Digest + FixedOutput> From<&ClosedKeyRegistration<D>>
38-
for StmAggrVerificationKey<D>
38+
for AggregateVerificationKey<D>
3939
{
4040
fn from(reg: &ClosedKeyRegistration<D>) -> Self {
4141
Self {

mithril-stm/src/aggregate_signature/clerk.rs

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,21 @@
11
use blake2::digest::{Digest, FixedOutput};
22

33
use crate::{
4-
AggregationError, ClosedKeyRegistration, CoreVerifier, Index, Parameters, Signer,
5-
SingleSignature, SingleSignatureWithRegisteredParty, Stake, StmAggrSig, StmAggrVerificationKey,
6-
StmVerificationKey,
4+
AggregateSignature, AggregateVerificationKey, AggregationError, BasicVerifier,
5+
ClosedKeyRegistration, Index, Parameters, Signer, SingleSignature,
6+
SingleSignatureWithRegisteredParty, Stake, StmVerificationKey,
77
};
88

99
/// `StmClerk` can verify and aggregate `StmSig`s and verify `StmMultiSig`s.
1010
/// Clerks can only be generated with the registration closed.
1111
/// This avoids that a Merkle Tree is computed before all parties have registered.
1212
#[derive(Debug, Clone)]
13-
pub struct StmClerk<D: Clone + Digest> {
13+
pub struct Clerk<D: Clone + Digest> {
1414
pub(crate) closed_reg: ClosedKeyRegistration<D>,
1515
pub(crate) params: Parameters,
1616
}
1717

18-
impl<D: Digest + Clone + FixedOutput> StmClerk<D> {
18+
impl<D: Digest + Clone + FixedOutput> Clerk<D> {
1919
/// Create a new `Clerk` from a closed registration instance.
2020
pub fn from_registration(params: &Parameters, closed_reg: &ClosedKeyRegistration<D>) -> Self {
2121
Self {
@@ -48,7 +48,7 @@ impl<D: Digest + Clone + FixedOutput> StmClerk<D> {
4848
&self,
4949
sigs: &[SingleSignature],
5050
msg: &[u8],
51-
) -> Result<StmAggrSig<D>, AggregationError> {
51+
) -> Result<AggregateSignature<D>, AggregationError> {
5252
let sig_reg_list = sigs
5353
.iter()
5454
.map(|sig| SingleSignatureWithRegisteredParty {
@@ -57,9 +57,9 @@ impl<D: Digest + Clone + FixedOutput> StmClerk<D> {
5757
})
5858
.collect::<Vec<SingleSignatureWithRegisteredParty>>();
5959

60-
let avk = StmAggrVerificationKey::from(&self.closed_reg);
60+
let avk = AggregateVerificationKey::from(&self.closed_reg);
6161
let msgp = avk.get_mt_commitment().concat_with_msg(msg);
62-
let mut unique_sigs = CoreVerifier::dedup_sigs_for_indices(
62+
let mut unique_sigs = BasicVerifier::dedup_sigs_for_indices(
6363
&self.closed_reg.total_stake,
6464
&self.params,
6565
&msgp,
@@ -75,15 +75,15 @@ impl<D: Digest + Clone + FixedOutput> StmClerk<D> {
7575

7676
let batch_proof = self.closed_reg.merkle_tree.get_batched_path(mt_index_list);
7777

78-
Ok(StmAggrSig {
78+
Ok(AggregateSignature {
7979
signatures: unique_sigs,
8080
batch_proof,
8181
})
8282
}
8383

8484
/// Compute the `StmAggrVerificationKey` related to the used registration.
85-
pub fn compute_avk(&self) -> StmAggrVerificationKey<D> {
86-
StmAggrVerificationKey::from(&self.closed_reg)
85+
pub fn compute_avk(&self) -> AggregateVerificationKey<D> {
86+
AggregateVerificationKey::from(&self.closed_reg)
8787
}
8888

8989
/// Get the (VK, stake) of a party given its index.

mithril-stm/src/aggregate_signature/core_verifier.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,14 +9,14 @@ use crate::{
99
};
1010

1111
/// Full node verifier including the list of eligible signers and the total stake of the system.
12-
pub struct CoreVerifier {
12+
pub struct BasicVerifier {
1313
/// List of registered parties.
1414
pub eligible_parties: Vec<RegisteredParty>,
1515
/// Total stake of registered parties.
1616
pub total_stake: Stake,
1717
}
1818

19-
impl CoreVerifier {
19+
impl BasicVerifier {
2020
/// Setup a core verifier for given list of signers.
2121
/// * Collect the unique signers in a hash set,
2222
/// * Calculate the total stake of the eligible signers,
@@ -35,7 +35,7 @@ impl CoreVerifier {
3535

3636
let mut eligible_parties: Vec<_> = unique_parties.into_iter().collect();
3737
eligible_parties.sort_unstable();
38-
CoreVerifier {
38+
BasicVerifier {
3939
eligible_parties,
4040
total_stake,
4141
}

0 commit comments

Comments
 (0)