feat: plonkish CCS

.cargo/config.toml

@@ -0,0 +1,2 @@
+[target.wasm32-unknown-unknown]
+rustflags = ["--cfg=getrandom_backend=\"wasm_js\""]

Cargo.toml

@@ -7,22 +7,27 @@ license     = "MIT"
 name        = "custom-constraints"
 readme      = "README.md"
 repository  = "https://github.com/autoparallel/custom-constraints"
-version     = "0.1.0"
+version     = "0.2.0"
+
+# Needed to deal with ark-ff's BS
+[features]
+asm     = []
+default = []
 
 [dependencies]
-ark-ff = { version = "0.5", default-features = false, features = [
-  "parallel",
-  "asm",
-] }
-rayon = { version = "1.10" }
+[target.'cfg(target_arch = "x86_64")'.dependencies]
+ark-ff = { version = "0.5", features = ["parallel", "asm"] }
+
+[target.'cfg(not(target_arch = "x86_64"))'.dependencies]
+ark-ff = { version = "0.5", default-features = false, features = ["parallel"] }
 
 [dev-dependencies]
 ark-std = { version = "0.5", default-features = false, features = ["std"] }
-rand    = "0.8"
+rand    = "0.9"
 rstest  = { version = "0.24", default-features = false }
 
 [target.'cfg(target_arch = "wasm32")'.dev-dependencies]
-getrandom         = { version = "0.2", features = ["js"] }
+getrandom         = { version = "0.3", features = ["wasm_js"] }
 wasm-bindgen      = { version = "0.2" }
 wasm-bindgen-test = { version = "0.3" }
 

README.md

@@ -38,9 +38,11 @@ See the [Customizable constraint systems for succinct arguments](https://eprint.
 ## Roadmap
 
 - [x] CSR Sparse matrices
-- [ ] CCS structure
-- [ ] CCS checking
-- [ ] CCS builder/allocator (i.e., from constraints)
+- [x] CCS structure
+- [x] CCS checking
+- [x] CCS builder/allocator (i.e., from constraints)
+- [x] Plonkish CCS
+- [ ] Noir to Plonkish CCS
 
 ## Contributing
 

justfile

@@ -124,6 +124,7 @@ build-wasm:
 test:
     @just header "Running native architecture tests"
     cargo test --workspace --tests --all-features
+    cargo test --workspace --doc --all-features
     @just header "Running wasm tests"
     wasm-pack test --node
 
@@ -159,7 +160,7 @@ semver:
 # Run format for the workspace
 fmt:
     @just header "Formatting code"
-    cargo fmt --all
+    cargo +nightly fmt --all
     taplo fmt
 
 # Check for unused dependencies