Marlin (#9)

house-snark/Cargo.toml

@@ -5,6 +5,7 @@ edition = "2021"
 
 [dependencies]
 anyhow = "1.0"
+blake2 = "0.9.2"
 clap = { version = "4.0", features = ["derive"] }
 color-eyre = "0.6"
 env_logger = "0.9.0"
@@ -13,6 +14,8 @@ log = "0.4"
 ark-crypto-primitives = { version = "^0.3.0", default-features = true, features = [ "r1cs" ] }
 ark-ec = { version = "^0.3.0", default-features = false }
 ark-ff = { version = "^0.3.0", default-features = false }
+ark-poly = { version = "^0.3.0", default-features = false }
+ark-poly-commit = { version = "^0.3.0", default-features = false }
 ark-std = { version = "^0.3.0", default-features = false }
 ark-serialize = { version = "^0.3.0", default-features = false }
 ark-relations = { version = "^0.3.0", default-features = false }
@@ -24,6 +27,7 @@ ark-ed-on-bls12-381 = { version = "^0.3.0", features = ["r1cs"] }
 ark-bls12-381 = { version = "^0.3.0" }
 ark-groth16 = { version = "^0.3.0", default-features = false }
 ark-gm17 = { version = "^0.3.0", default-features = false }
+ark-marlin = { version = "^0.3.0", default-features = false }
 
 [features]
 default = ["std"]

house-snark/README.md

@@ -36,6 +36,7 @@ For now, default public input is returned together with a proof.
 Currently supported relations are:
  - `xor`
  - `linear-equation`
+ - `merkle-tree`
 
 The files will be named according to the pattern: `<relation-id>.(vk|pk|proof|input).bytes`.
 They can be directly sent to the pallet.

house-snark/src/config.rs

@@ -38,8 +38,20 @@ pub enum Command {
 #[derive(Copy, Clone, Eq, PartialEq, Hash, Debug, Args)]
 pub struct GenerateSrsCmd {
     /// Proving system to use.
-    #[clap(long, short, value_enum, default_value = "unimplemented")]
+    #[clap(long, short, value_enum, default_value = "marlin")]
     pub system: UniversalProvingSystem,
+
+    /// Maximum supported number of constraints.
+    #[clap(long, default_value = "100")]
+    pub num_constraints: usize,
+
+    /// Maximum supported number of variables.
+    #[clap(long, default_value = "100")]
+    pub num_variables: usize,
+
+    /// Maximum supported polynomial degree.
+    #[clap(long, default_value = "100")]
+    pub degree: usize,
 }
 
 #[derive(Clone, Eq, PartialEq, Hash, Debug, Args)]
@@ -49,7 +61,7 @@ pub struct GenerateKeysFromSrsCmd {
     pub relation: Relation,
 
     /// Proving system to use.
-    #[clap(long, short, value_enum, default_value = "unimplemented")]
+    #[clap(long, short, value_enum, default_value = "marlin")]
     pub system: UniversalProvingSystem,
 
     /// Path to a file containing SRS.