chore: release main

.release-please-manifest.json

@@ -1,11 +1,11 @@
 {
-  "circom-mpc-compiler": "0.3.0",
-  "circom-mpc-vm": "0.2.0",
-  "circom-types": "0.3.0",
-  "collaborative-circom": "0.2.1",
-  "collaborative-groth16": "0.2.1",
-  "collaborative-plonk": "0.0.0",
-  "mpc-core": "0.2.1",
+  "circom-mpc-compiler": "0.4.0",
+  "circom-mpc-vm": "0.3.0",
+  "circom-types": "0.4.0",
+  "collaborative-circom": "0.3.0",
+  "collaborative-groth16": "0.3.0",
+  "collaborative-plonk": "0.1.0",
+  "mpc-core": "0.3.0",
   "mpc-net": "0.1.2",
-  "tests": "0.1.2"
+  "tests": "0.1.3"
 }

circom-mpc-compiler/CHANGELOG.md

@@ -1,5 +1,34 @@
 # Changelog
 
+## [0.4.0](https://github.com/TaceoLabs/collaborative-circom/compare/circom-mpc-compiler-v0.3.0...circom-mpc-compiler-v0.4.0) (2024-08-14)
+
+
+### ⚠ BREAKING CHANGES
+
+* new config implementation, config option to allow leaking of secret values in logs ([#132](https://github.com/TaceoLabs/collaborative-circom/issues/132))
+* the function signature of the two run methods of the witness extension now changed. To retrieve the shared witness now another call `into_shared_witness()` is necessary.
+
+### Features
+
+* can now retrieve certain outputs after witness extension by name ([d9e3399](https://github.com/TaceoLabs/collaborative-circom/commit/d9e33996d10cea5f8197d507a13ed9087f0f4c20))
+* plonk support ([9b65797](https://github.com/TaceoLabs/collaborative-circom/commit/9b6579724f6f5ba4fc6af8a98d386b96818dc08b))
+
+
+### Code Refactoring
+
+* new config implementation, config option to allow leaking of secret values in logs ([#132](https://github.com/TaceoLabs/collaborative-circom/issues/132)) ([964b04f](https://github.com/TaceoLabs/collaborative-circom/commit/964b04f47e8d491ae140cb7c10c596e1c40b6b5c))
+
+
+### Dependencies
+
+* The following workspace dependencies were updated
+  * dependencies
+    * circom-mpc-vm bumped from 0.2.0 to 0.3.0
+  * dev-dependencies
+    * circom-types bumped from 0.3.0 to 0.4.0
+    * collaborative-groth16 bumped from 0.2.1 to 0.3.0
+    * mpc-core bumped from 0.2.1 to 0.3.0
+
 ## [0.3.0](https://github.com/TaceoLabs/collaborative-circom/compare/circom-mpc-compiler-v0.2.0...circom-mpc-compiler-v0.3.0) (2024-07-10)
 
 

circom-mpc-compiler/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "circom-mpc-compiler"
-version = "0.3.0"
+version = "0.4.0"
 edition.workspace = true
 rust-version.workspace = true
 authors.workspace = true
@@ -14,7 +14,7 @@ readme.workspace = true
 ark-ec.workspace = true
 circom-compiler = { version = "2.1.9", git = "https://github.com/TaceoLabs/circom", package = "compiler", branch = "dev" }
 circom-constraint_generation = { version = "2.1.9", git = "https://github.com/TaceoLabs/circom", package = "constraint_generation", branch = "dev" }
-circom-mpc-vm = { version = "0.2.0", path = "../circom-mpc-vm" }
+circom-mpc-vm = { version = "0.3.0", path = "../circom-mpc-vm" }
 circom-parser = { version = "2.1.9", git = "https://github.com/TaceoLabs/circom", package = "parser", branch = "dev" }
 circom-program_structure = { version = "2.1.9", git = "https://github.com/TaceoLabs/circom", package = "program_structure", branch = "dev" }
 circom-type_analysis = { version = "2.1.9", git = "https://github.com/TaceoLabs/circom", package = "type_analysis", branch = "dev" }
@@ -24,7 +24,7 @@ serde.workspace = true
 
 [dev-dependencies]
 ark-bn254.workspace = true
-circom-types = { version = "0.3.0", path = "../circom-types" }
-collaborative-groth16 = { version = "0.2.1", path = "../collaborative-groth16" }
-mpc-core = { version = "0.2.1", path = "../mpc-core" }
+circom-types = { version = "0.4.0", path = "../circom-types" }
+collaborative-groth16 = { version = "0.3.0", path = "../collaborative-groth16" }
+mpc-core = { version = "0.3.0", path = "../mpc-core" }
 tracing.workspace = true

circom-mpc-vm/CHANGELOG.md

@@ -1,5 +1,38 @@
 # Changelog
 
+## [0.3.0](https://github.com/TaceoLabs/collaborative-circom/compare/circom-mpc-vm-v0.2.0...circom-mpc-vm-v0.3.0) (2024-08-14)
+
+
+### ⚠ BREAKING CHANGES
+
+* Make MPC-VM thread safe and implement better Clone for shared inputs and witnesses ([#158](https://github.com/TaceoLabs/collaborative-circom/issues/158))
+* new config implementation, config option to allow leaking of secret values in logs ([#132](https://github.com/TaceoLabs/collaborative-circom/issues/132))
+* the function signature of the two run methods of the witness extension now changed. To retrieve the shared witness now another call `into_shared_witness()` is necessary.
+
+### Features
+
+* can now retrieve certain outputs after witness extension by name ([d9e3399](https://github.com/TaceoLabs/collaborative-circom/commit/d9e33996d10cea5f8197d507a13ed9087f0f4c20))
+* Make MPC-VM thread safe and implement better Clone for shared inputs and witnesses ([#158](https://github.com/TaceoLabs/collaborative-circom/issues/158)) ([a7ab3bb](https://github.com/TaceoLabs/collaborative-circom/commit/a7ab3bbecd93b393c08e18d8ea89a64a25bac3a3))
+* plonk support ([9b65797](https://github.com/TaceoLabs/collaborative-circom/commit/9b6579724f6f5ba4fc6af8a98d386b96818dc08b))
+
+
+### Bug Fixes
+
+* **docs:** added > for a block because of clippy ([f054999](https://github.com/TaceoLabs/collaborative-circom/commit/f054999ce60ddb3ef61bfdd5fe0b294919eacf3b))
+
+
+### Code Refactoring
+
+* new config implementation, config option to allow leaking of secret values in logs ([#132](https://github.com/TaceoLabs/collaborative-circom/issues/132)) ([964b04f](https://github.com/TaceoLabs/collaborative-circom/commit/964b04f47e8d491ae140cb7c10c596e1c40b6b5c))
+
+
+### Dependencies
+
+* The following workspace dependencies were updated
+  * dependencies
+    * collaborative-groth16 bumped from 0.2.1 to 0.3.0
+    * mpc-core bumped from 0.2.1 to 0.3.0
+
 ## [0.2.0](https://github.com/TaceoLabs/collaborative-circom/compare/circom-mpc-vm-v0.1.1...circom-mpc-vm-v0.2.0) (2024-07-10)
 
 

circom-mpc-vm/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "circom-mpc-vm"
-version = "0.2.0"
+version = "0.3.0"
 edition.workspace = true
 rust-version.workspace = true
 authors.workspace = true
@@ -13,10 +13,10 @@ readme.workspace = true
 [dependencies]
 ark-ec.workspace = true
 ark-ff.workspace = true
-collaborative-groth16 = { version = "0.2.1", path = "../collaborative-groth16" }
+collaborative-groth16 = { version = "0.3.0", path = "../collaborative-groth16" }
 eyre.workspace = true
 itertools.workspace = true
-mpc-core = { version = "0.2.1", path = "../mpc-core" }
+mpc-core = { version = "0.3.0", path = "../mpc-core" }
 mpc-net = { workspace = true }
 tracing.workspace = true
 serde.workspace = true

circom-types/CHANGELOG.md

@@ -1,5 +1,38 @@
 # Changelog
 
+## [0.4.0](https://github.com/TaceoLabs/collaborative-circom/compare/circom-types-v0.3.0...circom-types-v0.4.0) (2024-08-14)
+
+
+### ⚠ BREAKING CHANGES
+
+* PLONK uses the witness struct, therefore we moved it from Groth16 to one level higher
+* we hide the modules defining the zkey, proof, vk, and witness and use pub use the re-export them
+* the verifier (and the arkwork dep) is now hidden behind the "verifier" feature. Also we refactored some stuff in Groth16 to mirror PLONK.
+* removed Our* types from groth16 zkey
+* groth16 zkey parsing is now multithreaded, added multithreaded g1/2_vec_from_reader
+* circom-arkworks bridge trait now has a method to return name of curve
+* Adds a method to the ArkworksPairingBridge trait
+
+### Features
+
+* add deserialization of plonk circom types ([d1f0d4d](https://github.com/TaceoLabs/collaborative-circom/commit/d1f0d4dd5ac63e85523c139e573161bd2ff0061a))
+* circom-arkworks bridge trait now has a method to return name of curve ([b1e33dd](https://github.com/TaceoLabs/collaborative-circom/commit/b1e33dd52ccd422ce3197b670b83653c5eafecb9))
+* groth16 zkey parsing is now multithreaded, added multithreaded g1/2_vec_from_reader ([b1e46f7](https://github.com/TaceoLabs/collaborative-circom/commit/b1e46f72df537b73e222b7d0dd7cdf17e549a9f0))
+* plonk support ([9b65797](https://github.com/TaceoLabs/collaborative-circom/commit/9b6579724f6f5ba4fc6af8a98d386b96818dc08b))
+
+
+### Bug Fixes
+
+* clippy 1.80 introduces a wrong warning ([a593904](https://github.com/TaceoLabs/collaborative-circom/commit/a593904c98686f442b747173d70fc3d2aa991566))
+
+
+### Code Refactoring
+
+* Added verifier feature for Groth16 ([489614c](https://github.com/TaceoLabs/collaborative-circom/commit/489614cf9242f63c9f9914aaf0b6cc6555deab4c))
+* move the groth16 circom types ([fabc5e7](https://github.com/TaceoLabs/collaborative-circom/commit/fabc5e72343f08eea96efde4556dffac60d954cb))
+* moved the witness struct ([9cee70b](https://github.com/TaceoLabs/collaborative-circom/commit/9cee70bc58f1980035d02e46e6ea9082a3368182))
+* removed Our* types from groth16 zkey ([1f1d1bc](https://github.com/TaceoLabs/collaborative-circom/commit/1f1d1bcc80eee037a803661f39cc5c5450ae5c14))
+
 ## [0.3.0](https://github.com/TaceoLabs/collaborative-circom/compare/circom-types-v0.2.0...circom-types-v0.3.0) (2024-07-10)
 
 

circom-types/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "circom-types"
-version = "0.3.0"
+version = "0.4.0"
 publish.workspace = true
 authors.workspace = true
 edition.workspace = true

collaborative-circom/CHANGELOG.md

@@ -1,5 +1,53 @@
 # Changelog
 
+## [0.3.0](https://github.com/TaceoLabs/collaborative-circom/compare/collaborative-circom-v0.2.1...collaborative-circom-v0.3.0) (2024-08-14)
+
+
+### ⚠ BREAKING CHANGES
+
+* PLONK uses the witness struct, therefore we moved it from Groth16 to one level higher
+* we hide the modules defining the zkey, proof, vk, and witness and use pub use the re-export them
+* the verifier (and the arkwork dep) is now hidden behind the "verifier" feature. Also we refactored some stuff in Groth16 to mirror PLONK.
+* Add Plonk to the co-circom binary ([#147](https://github.com/TaceoLabs/collaborative-circom/issues/147))
+* groth16 zkey parsing is now multithreaded, added multithreaded g1/2_vec_from_reader
+* share_rep3 and share_shamir interfaces changed
+* new config implementation, config option to allow leaking of secret values in logs ([#132](https://github.com/TaceoLabs/collaborative-circom/issues/132))
+* Adds a method to the ArkworksPairingBridge trait
+* the function signature of the two run methods of the witness extension now changed. To retrieve the shared witness now another call `into_shared_witness()` is necessary.
+* Add the possibility to specify another curve in the co-circom binary
+* Add possibility to use Shamir secret sharing for proofing and
+
+### Features
+
+* add deserialization of plonk circom types ([d1f0d4d](https://github.com/TaceoLabs/collaborative-circom/commit/d1f0d4dd5ac63e85523c139e573161bd2ff0061a))
+* Add Plonk to the co-circom binary ([#147](https://github.com/TaceoLabs/collaborative-circom/issues/147)) ([ff05a2e](https://github.com/TaceoLabs/collaborative-circom/commit/ff05a2e45fb93f70c0ebb246e287e9302e4a7222))
+* Add possibility to use Shamir secret sharing for proofing and ([6205475](https://github.com/TaceoLabs/collaborative-circom/commit/6205475b78d4654c61f5058befe5d5990da19432))
+* Add the possibility to specify another curve in the co-circom binary ([fdd6bf2](https://github.com/TaceoLabs/collaborative-circom/commit/fdd6bf2f5274da790fd7cbe09ee48563b404d153))
+* can now retrieve certain outputs after witness extension by name ([d9e3399](https://github.com/TaceoLabs/collaborative-circom/commit/d9e33996d10cea5f8197d507a13ed9087f0f4c20))
+* groth16 zkey parsing is now multithreaded, added multithreaded g1/2_vec_from_reader ([b1e46f7](https://github.com/TaceoLabs/collaborative-circom/commit/b1e46f72df537b73e222b7d0dd7cdf17e549a9f0))
+* now co-circom supports hex values ([d004d10](https://github.com/TaceoLabs/collaborative-circom/commit/d004d10b8a9b5c39e77abd37c8b862107aaa14c1))
+* plonk support ([9b65797](https://github.com/TaceoLabs/collaborative-circom/commit/9b6579724f6f5ba4fc6af8a98d386b96818dc08b))
+
+
+### Code Refactoring
+
+* Added verifier feature for Groth16 ([489614c](https://github.com/TaceoLabs/collaborative-circom/commit/489614cf9242f63c9f9914aaf0b6cc6555deab4c))
+* move the groth16 circom types ([fabc5e7](https://github.com/TaceoLabs/collaborative-circom/commit/fabc5e72343f08eea96efde4556dffac60d954cb))
+* moved the witness struct ([9cee70b](https://github.com/TaceoLabs/collaborative-circom/commit/9cee70bc58f1980035d02e46e6ea9082a3368182))
+* new config implementation, config option to allow leaking of secret values in logs ([#132](https://github.com/TaceoLabs/collaborative-circom/issues/132)) ([964b04f](https://github.com/TaceoLabs/collaborative-circom/commit/964b04f47e8d491ae140cb7c10c596e1c40b6b5c))
+* share_rep3 and share_shamir interfaces changed ([5e7420f](https://github.com/TaceoLabs/collaborative-circom/commit/5e7420f95a46466304c2ab80de2069c2feb3432d))
+
+
+### Dependencies
+
+* The following workspace dependencies were updated
+  * dependencies
+    * circom-types bumped from 0.3.0 to 0.4.0
+    * circom-mpc-compiler bumped from 0.3.0 to 0.4.0
+    * circom-mpc-vm bumped from 0.2.0 to 0.3.0
+    * collaborative-groth16 bumped from 0.2.1 to 0.3.0
+    * mpc-core bumped from 0.2.1 to 0.3.0
+
 ## [0.2.1](https://github.com/TaceoLabs/collaborative-circom/compare/collaborative-circom-v0.2.0...collaborative-circom-v0.2.1) (2024-07-10)
 
 

collaborative-circom/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "collaborative-circom"
-version = "0.2.1"
+version = "0.3.0"
 
 publish.workspace = true
 authors.workspace = true
@@ -18,16 +18,16 @@ ark-bls12-381.workspace = true
 ark-ec.workspace = true
 ark-ff.workspace = true
 bincode.workspace = true
-circom-types = { version = "0.3.0", path = "../circom-types" }
-circom-mpc-compiler = { version = "0.3.0", path = "../circom-mpc-compiler" }
-circom-mpc-vm = { version = "0.2.0", path = "../circom-mpc-vm" }
+circom-types = { version = "0.4.0", path = "../circom-types" }
+circom-mpc-compiler = { version = "0.4.0", path = "../circom-mpc-compiler" }
+circom-mpc-vm = { version = "0.3.0", path = "../circom-mpc-vm" }
 clap.workspace = true
 collaborative-plonk = { version = "0.1.0", path = "../collaborative-plonk" }
-collaborative-groth16 = { version = "0.2.1", path = "../collaborative-groth16", features = [
+collaborative-groth16 = { version = "0.3.0", path = "../collaborative-groth16", features = [
     "verifier",
 ] }
 color-eyre.workspace = true
-mpc-core = { version = "0.2.1", path = "../mpc-core" }
+mpc-core = { version = "0.3.0", path = "../mpc-core" }
 mpc-net.workspace = true
 num-bigint.workspace = true
 rand.workspace = true

collaborative-groth16/CHANGELOG.md

@@ -6,6 +6,42 @@
     * mpc-core bumped from 0.2.0 to 0.2.1
     * mpc-net bumped from 0.1.1 to 0.1.2
 
+## [0.3.0](https://github.com/TaceoLabs/collaborative-circom/compare/collaborative-groth16-v0.2.1...collaborative-groth16-v0.3.0) (2024-08-14)
+
+
+### ⚠ BREAKING CHANGES
+
+* Make MPC-VM thread safe and implement better Clone for shared inputs and witnesses ([#158](https://github.com/TaceoLabs/collaborative-circom/issues/158))
+* PLONK uses the witness struct, therefore we moved it from Groth16 to one level higher
+* removed files that were used by arkworks groth16
+* we hide the modules defining the zkey, proof, vk, and witness and use pub use the re-export them
+* the verifier (and the arkwork dep) is now hidden behind the "verifier" feature. Also we refactored some stuff in Groth16 to mirror PLONK.
+* share_rep3 and share_shamir interfaces changed
+* Adds a method to the ArkworksPairingBridge trait
+
+### Features
+
+* add deserialization of plonk circom types ([d1f0d4d](https://github.com/TaceoLabs/collaborative-circom/commit/d1f0d4dd5ac63e85523c139e573161bd2ff0061a))
+* Make MPC-VM thread safe and implement better Clone for shared inputs and witnesses ([#158](https://github.com/TaceoLabs/collaborative-circom/issues/158)) ([a7ab3bb](https://github.com/TaceoLabs/collaborative-circom/commit/a7ab3bbecd93b393c08e18d8ea89a64a25bac3a3))
+* plonk support ([9b65797](https://github.com/TaceoLabs/collaborative-circom/commit/9b6579724f6f5ba4fc6af8a98d386b96818dc08b))
+
+
+### Code Refactoring
+
+* Added verifier feature for Groth16 ([489614c](https://github.com/TaceoLabs/collaborative-circom/commit/489614cf9242f63c9f9914aaf0b6cc6555deab4c))
+* move the groth16 circom types ([fabc5e7](https://github.com/TaceoLabs/collaborative-circom/commit/fabc5e72343f08eea96efde4556dffac60d954cb))
+* moved the witness struct ([9cee70b](https://github.com/TaceoLabs/collaborative-circom/commit/9cee70bc58f1980035d02e46e6ea9082a3368182))
+* removed files that were used by arkworks groth16 ([d38e8a5](https://github.com/TaceoLabs/collaborative-circom/commit/d38e8a576d0f6375f1dc4f4d01d5fd59fa4c1438))
+* share_rep3 and share_shamir interfaces changed ([5e7420f](https://github.com/TaceoLabs/collaborative-circom/commit/5e7420f95a46466304c2ab80de2069c2feb3432d))
+
+
+### Dependencies
+
+* The following workspace dependencies were updated
+  * dependencies
+    * circom-types bumped from 0.3.0 to 0.4.0
+    * mpc-core bumped from 0.2.1 to 0.3.0
+
 ## [0.2.0](https://github.com/TaceoLabs/collaborative-circom/compare/collaborative-groth16-v0.1.0...collaborative-groth16-v0.2.0) (2024-07-09)
 
 

collaborative-groth16/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "collaborative-groth16"
-version = "0.2.1"
+version = "0.3.0"
 publish.workspace = true
 authors.workspace = true
 edition.workspace = true
@@ -25,10 +25,10 @@ ark-poly = { workspace = true }
 ark-relations = { workspace = true }
 ark-serialize = { workspace = true }
 ark-std = { workspace = true }
-circom-types = { version = "0.3.0", path = "../circom-types" }
+circom-types = { version = "0.4.0", path = "../circom-types" }
 eyre = { workspace = true }
 itertools = { workspace = true }
-mpc-core = { version = "0.2.1", path = "../mpc-core" }
+mpc-core = { version = "0.3.0", path = "../mpc-core" }
 mpc-net = { version = "0.1.2", path = "../mpc-net" }
 num-traits = { workspace = true }
 rand = { workspace = true }

collaborative-plonk/CHANGELOG.md

@@ -0,0 +1,30 @@
+# Changelog
+
+## 0.1.0 (2024-08-14)
+
+
+### ⚠ BREAKING CHANGES
+
+* PLONK uses the witness struct, therefore we moved it from Groth16 to one level higher
+* we hide the modules defining the zkey, proof, vk, and witness and use pub use the re-export them
+* the verifier (and the arkwork dep) is now hidden behind the "verifier" feature. Also we refactored some stuff in Groth16 to mirror PLONK.
+
+### Features
+
+* plonk support ([9b65797](https://github.com/TaceoLabs/collaborative-circom/commit/9b6579724f6f5ba4fc6af8a98d386b96818dc08b))
+
+
+### Code Refactoring
+
+* Added verifier feature for Groth16 ([489614c](https://github.com/TaceoLabs/collaborative-circom/commit/489614cf9242f63c9f9914aaf0b6cc6555deab4c))
+* move the groth16 circom types ([fabc5e7](https://github.com/TaceoLabs/collaborative-circom/commit/fabc5e72343f08eea96efde4556dffac60d954cb))
+* moved the witness struct ([9cee70b](https://github.com/TaceoLabs/collaborative-circom/commit/9cee70bc58f1980035d02e46e6ea9082a3368182))
+
+
+### Dependencies
+
+* The following workspace dependencies were updated
+  * dependencies
+    * circom-types bumped from 0.3.0 to 0.4.0
+    * collaborative-groth16 bumped from 0.2.1 to 0.3.0
+    * mpc-core bumped from 0.2.1 to 0.3.0

collaborative-plonk/Cargo.toml

@@ -16,11 +16,11 @@ ark-ec = { workspace = true }
 ark-ff = { workspace = true }
 ark-poly = { workspace = true }
 ark-serialize = { workspace = true }
-circom-types = { version = "0.3.0", path = "../circom-types" }
-collaborative-groth16 = { version = "0.2.1", path = "../collaborative-groth16" }
+circom-types = { version = "0.4.0", path = "../circom-types" }
+collaborative-groth16 = { version = "0.3.0", path = "../collaborative-groth16" }
 eyre = { workspace = true }
 itertools = { workspace = true }
-mpc-core = { version = "0.2.1", path = "../mpc-core" }
+mpc-core = { version = "0.3.0", path = "../mpc-core" }
 num-traits = { workspace = true }
 sha3 = { workspace = true }
 thiserror = { workspace = true }