Fix imports and typos

Signed-off-by: lovesh <lovesh.bond@gmail.com>

Author: lovesh

benches/Cargo.toml

@@ -17,6 +17,7 @@ ark-bls12-381 = { version = "^0.3.0", default-features = false, features = [ "cu
 serde = { version = "1.0", default-features = false, features = ["derive"] }
 serde_with = { version = "1.10.0", default-features = false, features = ["macros"] }
 dock_crypto_utils = { default-features = false, path = "../utils" }
+zeroize = { version = "1.5.5", features = ["derive"] }
 
 [dev-dependencies]
 criterion = "0.3"
@@ -50,4 +51,4 @@ harness = false
 [[bench]]
 name = "accum_witness_updates"
 path = "benches/accum_witness_updates.rs"
-harness = false
+harness = false

benches/benches/schnorr_protocol.rs

@@ -16,6 +16,7 @@ use schnorr_pok::{
 };
 use serde::{Deserialize, Serialize};
 use serde_with::serde_as;
+use zeroize::Zeroize;
 
 type Fr = <Bls12_381 as PairingEngine>::Fr;
 

proof_system/src/error.rs

@@ -40,7 +40,7 @@ pub enum ProofSystemError {
     InvalidWitnessEqualities(Vec<(usize, usize)>),
     /// The proof did not satisfy all the witness equalities
     UnsatisfiedWitnessEqualities(Vec<BTreeSet<(usize, usize)>>),
-    /// `StatementProof`s were missing for some `Statement`s
+    /// `Statement`s were missing for some `StatementProof`s
     UnsatisfiedStatements(usize, usize),
     InvalidStatementProofIndex(usize),
     SaverError(SaverError),

proof_system/tests/bbs_plus_and_accumulator.rs

@@ -975,7 +975,7 @@ fn verifier_local_linkability() {
     // This is done by making the prover go through a one-time registration process with the verifier by creating a
     // Pedersen commitment to some value in the signature(s) which the verifier persists, lets call it registration commitment.
     // At each subsequent proof, the prover resends the commitment with the proof that commitment contains message
-    // from the prover's signature (prover had persisted commitment and randomness) and the verifier checks that the
+    // from the the signature (prover had persisted commitment and randomness) and the verifier checks that the
     // commitment is same as the one during registration. The registration commitment serves as an identifier.
 
     // Following shows a prover interacting with 2 different verifiers and creating and using 2 different registration commitments, 1 at each verifier

saver/Cargo.toml

@@ -38,8 +38,6 @@ bbs_plus = { default-features = false, path = "../bbs_plus" }
 
 [features]
 default = [ "parallel" ]
-#std = [ "ark-ff/std", "ark-ec/std", "ark-std/std", "ark-serialize/std", "ark-groth16/std", "legogroth16/std", "ark-r1cs-std/std", "ark-relations/std"]
 std = [ "ark-ff/std", "ark-ec/std", "ark-std/std", "ark-serialize/std", "ark-groth16/std", "ark-r1cs-std/std", "ark-relations/std"]
 print-trace = [ "ark-std/print-trace" ]
-#parallel = [ "std", "ark-ff/parallel", "ark-ec/parallel", "ark-std/parallel", "ark-groth16/parallel", "legogroth16/parallel", "rayon", "ark-r1cs-std/parallel" ]
 parallel = [ "std", "ark-ff/parallel", "ark-ec/parallel", "ark-std/parallel", "ark-groth16/parallel", "rayon", "ark-r1cs-std/parallel" ]