Merge pull request #10 from cryptonetlab/cleanup

Preliminary cleanup of the Cargo.toml

Cargo.toml

@@ -1,30 +1,21 @@
 [package]
-name = "spartan"
-version = "0.7.1"
-authors = ["Srinath Setty <srinath@microsoft.com>"]
+name = "testudo"
+version = "0.1.0"
+authors = ["Mara Mihali <mara.mihali@protocol.ai>","Srinath Setty <srinath@microsoft.com>" ]
 edition = "2021"
-description = "High-speed zkSNARKs without trusted setup"
-documentation = "https://docs.rs/spartan/"
+description = "Spartan + Groth16 fast prover fast verifier SNARK"
 readme = "README.md"
-repository = "https://github.com/microsoft/Spartan"
+repository = "https://github.com/maramihali/Spartan"
 license-file = "LICENSE"
-keywords = ["zkSNARKs", "cryptography", "proofs"]
+keywords = ["SNARKs", "cryptography", "proofs"]
 
 [dependencies]
-curve25519-dalek = {version = "3.2.0", features = ["serde"]}
 merlin = "3.0.0"
 digest = "0.8.1"
 sha3 = "0.8.2"
-byteorder = "1.3.4"
 rayon = { version = "1.3.0", optional = true }
-serde = { version = "1.0.106", features = ["derive"] }
-bincode = "1.2.1"
-subtle = { version = "2.4", default-features = false }
-rand_core = { version = "0.5", default-features = false }
-zeroize = { version = "1", default-features = false }
 itertools = "0.10.0"
 colored = "2.0.0"
-flate2 = "1.0.14"
 thiserror = "1.0"
 json = "0.12.4"
 ark-ff = { version = "^0.3.0", default-features = false }
@@ -37,7 +28,6 @@ ark-crypto-primitives = { version = "^0.3.0", default-features = true }
 ark-r1cs-std = { version = "^0.3.0", default-features = false }
 ark-nonnative-field = { version = "0.3.0", default-features = false }
 ark-relations = { version = "^0.3.0", default-features = false, optional = true }
-ark-snark = { version = "^0.3.0", default-features = false }
 ark-groth16 = { version = "^0.3.0", features = ["r1cs"] }
 ark-bw6-761 = { version = "^0.3.0" }
 ark-poly-commit = { version = "^0.3.0" }
@@ -45,7 +35,6 @@ ark-poly = {version = "^0.3.0"}
 
 lazy_static = "1.4.0"
 rand = { version = "0.8", features = [ "std", "std_rng" ] }
-num-bigint = { version = "0.4" }
 
 tracing = { version = "0.1", default-features = false, features = [ "attributes" ] }
 tracing-subscriber = { version = "0.2" }

benches/nizk.rs

@@ -1,4 +1,3 @@
-extern crate byteorder;
 extern crate core;
 extern crate criterion;
 extern crate digest;

profiler/nizk.rs

@@ -1,7 +1,6 @@
 #![allow(non_snake_case)]
 #![allow(clippy::assertions_on_result_states)]
 
-extern crate flate2;
 extern crate libspartan;
 extern crate merlin;
 extern crate rand;

profiler/snark.rs

@@ -1,7 +1,6 @@
 #![allow(non_snake_case)]
 #![allow(clippy::assertions_on_result_states)]
 
-extern crate flate2;
 extern crate libspartan;
 extern crate merlin;
 

src/constraints.rs

@@ -18,15 +18,10 @@ use ark_groth16::{
   Groth16, PreparedVerifyingKey, Proof as GrothProof,
 };
 
-use ark_poly_commit::multilinear_pc::{
-  data_structures::{Commitment, Proof, VerifierKey},
-  MultilinearPC,
-};
 use ark_r1cs_std::{
   alloc::{AllocVar, AllocationMode},
   fields::fp::FpVar,
   prelude::{Boolean, EqGadget, FieldVar},
-  R1CSVar,
 };
 use ark_relations::r1cs::{ConstraintSynthesizer, ConstraintSystemRef, Namespace, SynthesisError};
 use ark_sponge::{

src/dense_mlpoly.rs

@@ -1,5 +1,5 @@
 #![allow(clippy::too_many_arguments)]
-use crate::group::Fr;
+
 use crate::poseidon_transcript::{AppendToPoseidon, PoseidonTranscript};
 
 use super::commitments::{Commitments, MultiCommitGens};
@@ -15,16 +15,13 @@ use super::scalar::Scalar;
 use super::transcript::{AppendToTranscript, ProofTranscript};
 use ark_bls12_377::Bls12_377 as I;
 use ark_ff::{One, UniformRand, Zero};
-use ark_poly::{DenseMultilinearExtension, MultilinearExtension};
-use ark_poly_commit::multilinear_pc::data_structures::{
-  CommitterKey, UniversalParams, VerifierKey,
-};
+use ark_poly::MultilinearExtension;
+use ark_poly_commit::multilinear_pc::data_structures::{CommitterKey, VerifierKey};
 use ark_poly_commit::multilinear_pc::MultilinearPC;
 use ark_serialize::*;
 use core::ops::Index;
 use merlin::Transcript;
 use std::ops::{Add, AddAssign, Neg, Sub, SubAssign};
-use std::process::abort;
 
 #[cfg(feature = "multicore")]
 use rayon::prelude::*;
@@ -59,11 +56,11 @@ impl MultilinearExtension for DensePolynomial {
     }
   }
 
-  fn relabel(&self, a: usize, b: usize, k: usize) -> Self {
+  fn relabel(&self, _a: usize, _b: usize, _k: usize) -> Self {
     unimplemented!()
   }
 
-  fn fix_variables(&self, partial_point: &[Scalar]) -> Self {
+  fn fix_variables(&self, _partial_point: &[Scalar]) -> Self {
     unimplemented!()
   }
 

src/lib.rs

@@ -4,7 +4,6 @@
 #![allow(clippy::assertions_on_result_states)]
 
 extern crate ark_std;
-extern crate byteorder;
 extern crate core;
 extern crate digest;
 extern crate lazy_static;
@@ -42,7 +41,7 @@ mod constraints;
 pub mod poseidon_transcript;
 
 use ark_ff::Field;
-use ark_relations::r1cs;
+
 use ark_serialize::*;
 use ark_std::Zero;
 use core::cmp::max;

src/r1csproof.rs

@@ -363,7 +363,7 @@ impl R1CSProof {
     input: &[Scalar],
     evals: &(Scalar, Scalar, Scalar),
     transcript: &mut PoseidonTranscript,
-    gens: &R1CSGens,
+    _gens: &R1CSGens,
   ) -> Result<usize, ProofVerifyError> {
     self.comm.append_to_poseidon(transcript);