Merge pull request #13 from lattice-complete/prover

Mega PR: First iteration of prover and verifier

.github/workflows/ci.yml

@@ -4,8 +4,6 @@ on:
   push:
     branches: [main]
   pull_request:
-    branches: [main]
-
 
 env:
   CARGO_TERM_COLOR: always
@@ -41,7 +39,7 @@ jobs:
           toolchain: $(cat rust-toolchain)
           components: rustfmt, clippy
 
-      - name: Run clippy 
+      - name: Run clippy
         run: cargo clippy --all-features --all-targets -- -D warnings
 
   cargo-fmt:
@@ -56,5 +54,5 @@ jobs:
           toolchain: $(cat rust-toolchain)
           components: rustfmt, clippy
 
-      - name: Run rustfmt 
+      - name: Run rustfmt
         run: cargo fmt --all --check

Cargo.toml

@@ -1,4 +1,21 @@
 [workspace]
+resolver = "2"
 members = [
     "labrador",
+    "algebra"
 ]
+
+[workspace.package]
+version = "0.1.0"
+edition = "2021"
+
+[workspace.dependencies]
+rand = "0.8"
+rayon = "1.10.0"
+
+# profiler deps
+ark-std = { version = "0.4.0" }
+profiler_macro = { git ="https://github.com/SuccinctPaul/profiler-rs.git", tag = "v0.1.0" }
+
+[workspace.features]
+profiler = ["ark-std/print-trace"]

algebra/Cargo.toml

@@ -0,0 +1,12 @@
+[package]
+name = "algebra"
+version = { workspace = true }
+edition = { workspace = true }
+
+# Optional: Add a description, authors, license, etc.
+description = ""
+authors = [""]
+license = "MIT OR Apache-2.0"
+
+[dependencies]
+rand = { workspace = true }

algebra/src/lib.rs

@@ -0,0 +1,9 @@
+pub mod polynomial_ring;
+pub mod rq_matrix;
+pub mod utils;
+pub mod zq;
+
+pub use polynomial_ring::PolynomialRing;
+pub use rq_matrix::RqMatrix;
+pub use utils::*;
+pub use zq::Zq;