Skip to content

Commit 0d8aae9

Browse files
committed
finished moving error to submodule and fixed import order and typos
1 parent 8289186 commit 0d8aae9

File tree

26 files changed

+78
-173
lines changed

26 files changed

+78
-173
lines changed

mithril-stm/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,7 @@ required-features = ["benchmark-internals"]
7272
[[bench]]
7373
name = "schnorr_sig"
7474
harness = false
75-
required-features = ["future_snark"]
75+
required-features = ["future_snark", "benchmark-internals"]
7676

7777
[[bench]]
7878
name = "stm"

mithril-stm/src/membership_commitment/merkle_tree/commitment.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,10 @@ use blake2::digest::{Digest, FixedOutput};
33
use serde::{Deserialize, Serialize};
44
use std::marker::PhantomData;
55

6-
use super::{MerkleBatchPath, MerklePath, MerkleTreeError, MerkleTreeLeaf, parent, sibling};
76
use crate::StmResult;
87

8+
use super::{MerkleBatchPath, MerklePath, MerkleTreeError, MerkleTreeLeaf, parent, sibling};
9+
910
/// `MerkleTree` commitment.
1011
/// This structure differs from `MerkleTree` in that it does not contain all elements, which are not always necessary.
1112
/// Instead, it only contains the root of the tree.

mithril-stm/src/membership_commitment/merkle_tree/leaf.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,10 @@ use std::cmp::Ordering;
22

33
use serde::{Deserialize, Serialize};
44

5-
use super::MerkleTreeError;
6-
75
use crate::{Stake, StmResult, VerificationKey, signature_scheme::BlsVerificationKey};
86

7+
use super::MerkleTreeError;
8+
99
/// The values that are committed in the Merkle Tree.
1010
/// Namely, a verified `VerificationKey` and its corresponding stake.
1111
#[derive(Debug, Clone, Copy, Default, PartialEq, Eq, Serialize, Deserialize, Hash)]

mithril-stm/src/membership_commitment/merkle_tree/path.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,10 @@ use blake2::digest::{Digest, FixedOutput};
22
use serde::{Deserialize, Serialize};
33
use std::marker::PhantomData;
44

5-
use super::MerkleTreeError;
65
use crate::StmResult;
76

7+
use super::MerkleTreeError;
8+
89
/// Path of hashes from root to leaf in a Merkle Tree.
910
/// Contains all hashes on the path, and the index of the leaf.
1011
/// Used to verify that signatures come from eligible signers.

mithril-stm/src/membership_commitment/merkle_tree/tree.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,12 @@ use blake2::digest::{Digest, FixedOutput};
22
use serde::{Deserialize, Serialize};
33
use std::marker::PhantomData;
44

5+
use crate::StmResult;
6+
57
use super::{
68
MerkleBatchPath, MerklePath, MerkleTreeBatchCommitment, MerkleTreeCommitment, MerkleTreeError,
79
MerkleTreeLeaf, left_child, parent, right_child, sibling,
810
};
9-
use crate::StmResult;
1011

1112
/// Tree of hashes, providing a commitment of data and its ordering.
1213
#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]

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

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,15 @@
11
use anyhow::{Context, anyhow};
22
use std::collections::{BTreeMap, HashMap, HashSet};
33

4-
use super::AggregationError;
54
use crate::{
65
Index, Parameters, RegisteredParty, SingleSignature, SingleSignatureWithRegisteredParty, Stake,
76
StmResult,
87
membership_commitment::MerkleTreeLeaf,
98
signature_scheme::{BlsSignature, BlsVerificationKey},
109
};
1110

11+
use super::AggregationError;
12+
1213
/// Full node verifier including the list of eligible signers and the total stake of the system.
1314
pub struct BasicVerifier {
1415
/// List of registered parties.

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

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,12 +7,13 @@ use anyhow::anyhow;
77
#[cfg(feature = "future_snark")]
88
use super::AggregationError;
99

10-
use super::{AggregateSignature, AggregateSignatureType, AggregateVerificationKey};
1110
use crate::{
1211
ClosedKeyRegistration, Index, Parameters, Signer, SingleSignature, Stake, StmResult,
1312
VerificationKey, proof_system::ConcatenationProof,
1413
};
1514

15+
use super::{AggregateSignature, AggregateSignatureType, AggregateVerificationKey};
16+
1617
/// `Clerk` can verify and aggregate `SingleSignature`s and verify `AggregateSignature`s.
1718
/// Clerks can only be generated with the registration closed.
1819
/// This avoids that a Merkle Tree is computed before all parties have registered.

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ pub enum AggregationError {
1818
/// Errors which can be output by Mithril aggregate verification.
1919
#[derive(Debug, Clone, thiserror::Error)]
2020
pub enum AggregateSignatureError {
21-
/// This error occurs when the the serialization of the raw bytes failed
21+
/// This error occurs when the serialization of the raw bytes failed
2222
#[error("Invalid bytes")]
2323
SerializationError,
2424

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

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -22,15 +22,16 @@ mod tests {
2222
use rand_core::{RngCore, SeedableRng};
2323
use std::collections::{HashMap, HashSet};
2424

25-
use super::{
26-
AggregateSignature, AggregateSignatureType, AggregationError, BasicVerifier, Clerk,
27-
};
2825
use crate::{
2926
Initializer, KeyRegistration, Parameters, Signer, SingleSignature,
3027
SingleSignatureWithRegisteredParty, Stake, StmResult,
3128
membership_commitment::MerkleBatchPath, signature_scheme::BlsVerificationKey,
3229
};
3330

31+
use super::{
32+
AggregateSignature, AggregateSignatureType, AggregationError, BasicVerifier, Clerk,
33+
};
34+
3435
type Sig = AggregateSignature<D>;
3536
type D = Blake2b<U32>;
3637

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

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,12 +4,13 @@ use anyhow::anyhow;
44
use blake2::digest::{Digest, FixedOutput};
55
use serde::{Deserialize, Serialize};
66

7-
use super::{AggregateSignatureError, AggregateVerificationKey};
87
use crate::{
98
Parameters, StmError, StmResult, membership_commitment::MerkleBatchPath,
109
proof_system::ConcatenationProof,
1110
};
1211

12+
use super::{AggregateSignatureError, AggregateVerificationKey};
13+
1314
/// The type of STM aggregate signature.
1415
#[derive(Default, Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize)]
1516
pub enum AggregateSignatureType {

0 commit comments

Comments
 (0)