chore: release main

.release-please-manifest.json

@@ -1,17 +1,17 @@
 {
-  "co-circom/circom-mpc-compiler": "0.6.1",
-  "co-circom/circom-mpc-vm": "0.4.2",
-  "co-circom/circom-types": "0.5.0",
-  "co-circom/co-circom-snarks": "0.1.2",
-  "co-circom/co-circom": "0.5.1",
-  "co-circom/co-groth16": "0.5.1",
-  "co-circom/co-plonk": "0.3.1",
-  "co-noir/co-acvm": "0.2.0",
-  "co-noir/co-builder": "0.0.1",
-  "co-noir/co-noir": "0.2.0",
-  "co-noir/co-ultrahonk": "0.1.0",
-  "co-noir/ultrahonk": "0.1.0",
-  "mpc-core": "0.5.0",
-  "mpc-net": "0.1.2",
-  "tests": "0.1.7"
+  "co-circom/circom-mpc-compiler": "0.7.0",
+  "co-circom/circom-mpc-vm": "0.5.0",
+  "co-circom/circom-types": "0.6.0",
+  "co-circom/co-circom-snarks": "0.2.0",
+  "co-circom/co-circom": "0.6.0",
+  "co-circom/co-groth16": "0.6.0",
+  "co-circom/co-plonk": "0.4.0",
+  "co-noir/co-acvm": "0.3.0",
+  "co-noir/co-builder": "0.1.0",
+  "co-noir/co-noir": "0.3.0",
+  "co-noir/co-ultrahonk": "0.2.0",
+  "co-noir/ultrahonk": "0.2.0",
+  "mpc-core": "0.6.0",
+  "mpc-net": "0.2.0",
+  "tests": "0.1.8"
 }

co-circom/circom-mpc-compiler/CHANGELOG.md

@@ -7,6 +7,52 @@
     * co-groth16 bumped from 0.5.0 to 0.5.1
     * mpc-core bumped from 0.4.0 to 0.5.0
 
+## [0.7.0](https://github.com/TaceoLabs/co-snarks/compare/circom-mpc-compiler-v0.6.1...circom-mpc-compiler-v0.7.0) (2024-11-12)
+
+
+### ⚠ BREAKING CHANGES
+
+* MPC accelerator changed public API. Also now stores #output signals in component
+* Also added name of cmp to Component Init instead of only symbol
+* input to compiler now takes PathBuf
+* In accordance to the circom 2.2.0 release, the default simplification level is now O1
+* run and run_with_flat methods on WitnessExtension now consume self again
+* Small refactor to use API changes
+
+### Features
+
+* added run_and_get_network to CircomRep3VmWitnessExtension, changed run and run_with_flat back to consume self ([b362504](https://github.com/TaceoLabs/co-snarks/commit/b362504d8a5affa8a5e8eca3f214c04951ad5b50))
+* added stub for cmp accelerator ([bc1525e](https://github.com/TaceoLabs/co-snarks/commit/bc1525effdd38e9308cc4a0050b7e20c97be1974))
+* allow to set circom simplification level via CLI ([b0d64ba](https://github.com/TaceoLabs/co-snarks/commit/b0d64ba683c1dbab67102d31f1e1ab80108fb7d9))
+* num2bits accelerator working ([13cdf10](https://github.com/TaceoLabs/co-snarks/commit/13cdf100b79c642649d31501833ed182dd7e8b90))
+* provide binary to inline circom sources ([#232](https://github.com/TaceoLabs/co-snarks/issues/232)) ([2f4722e](https://github.com/TaceoLabs/co-snarks/commit/2f4722ee95905f9c5c280e197a1c0113cffadff1))
+
+
+### Bug Fixes
+
+* get the size from new SizeOption type ([9417877](https://github.com/TaceoLabs/co-snarks/commit/941787746d9bdc60d5327a009bd3b766bf74ea2e))
+* handle new AccessType type ([bc519ba](https://github.com/TaceoLabs/co-snarks/commit/bc519ba7d48d9bd7995c485568dadcd3e4d1eaf9))
+* map new circom type to our own type ([95abe2e](https://github.com/TaceoLabs/co-snarks/commit/95abe2e473c400439d81c12c612f352f4ae55fe5))
+* pass field into circom parser ([a8ed24e](https://github.com/TaceoLabs/co-snarks/commit/a8ed24ef204934eb3892781db205f4d30acec6ba))
+
+
+### Code Refactoring
+
+* input to compiler now takes PathBuf ([9f36774](https://github.com/TaceoLabs/co-snarks/commit/9f36774f0ff93c3c3abd28efae6599fc531bb1fb))
+* Small refactor to use API changes ([639f438](https://github.com/TaceoLabs/co-snarks/commit/639f438adc9480e1b6c0e2d1f068ed82adee3cf1))
+* update to circom 2.2.0 behavior ([2b4dbc9](https://github.com/TaceoLabs/co-snarks/commit/2b4dbc9d34155cde2d7e2e30b6a4068170954804))
+
+
+### Dependencies
+
+* The following workspace dependencies were updated
+  * dependencies
+    * circom-types bumped from 0.5.0 to 0.6.0
+    * circom-mpc-vm bumped from 0.4.2 to 0.5.0
+  * dev-dependencies
+    * co-groth16 bumped from 0.5.1 to 0.6.0
+    * mpc-core bumped from 0.5.0 to 0.6.0
+
 ## [0.6.0](https://github.com/TaceoLabs/collaborative-circom/compare/circom-mpc-compiler-v0.5.0...circom-mpc-compiler-v0.6.0) (2024-08-21)
 
 

co-circom/circom-mpc-compiler/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "circom-mpc-compiler"
-version = "0.6.1"
+version = "0.7.0"
 edition.workspace = true
 rust-version.workspace = true
 authors.workspace = true
@@ -17,8 +17,8 @@ circom-type_analysis = { version = "2.1.9", git = "https://github.com/TaceoLabs/
 circom-constraint_generation = { version = "2.1.9", git = "https://github.com/TaceoLabs/circom", package = "constraint_generation", rev = "1cc17fb" }
 circom-parser = { version = "2.1.9", git = "https://github.com/TaceoLabs/circom", package = "parser", rev = "1cc17fb" }
 circom-compiler = { version = "2.1.9", git = "https://github.com/TaceoLabs/circom", package = "compiler", rev = "1cc17fb" }
-circom-types = { version = "0.5.0", path = "../circom-types" }
-circom-mpc-vm = { version = "0.4.2", path = "../circom-mpc-vm" }
+circom-types = { version = "0.6.0", path = "../circom-types" }
+circom-mpc-vm = { version = "0.5.0", path = "../circom-mpc-vm" }
 circom-program_structure = { version = "2.1.9", git = "https://github.com/TaceoLabs/circom", package = "program_structure", rev = "1cc17fb" }
 clap.workspace = true
 eyre.workspace = true
@@ -29,6 +29,6 @@ tracing.workspace = true
 
 [dev-dependencies]
 ark-bn254.workspace = true
-co-groth16 = { version = "0.5.1", path = "../co-groth16" }
-mpc-core = { version = "0.5.0", path = "../../mpc-core" }
+co-groth16 = { version = "0.6.0", path = "../co-groth16" }
+mpc-core = { version = "0.6.0", path = "../../mpc-core" }
 tracing.workspace = true

co-circom/circom-mpc-vm/CHANGELOG.md

@@ -10,6 +10,48 @@
     * co-circom-snarks bumped from 0.1.1 to 0.1.2
     * mpc-core bumped from 0.4.0 to 0.5.0
 
+## [0.5.0](https://github.com/TaceoLabs/co-snarks/compare/circom-mpc-vm-v0.4.2...circom-mpc-vm-v0.5.0) (2024-11-12)
+
+
+### ⚠ BREAKING CHANGES
+
+* MPC accelerator changed public API. Also now stores #output signals in component
+* Also added name of cmp to Component Init instead of only symbol
+* Witness extension VM trait no longer has binary share type.
+* run and run_with_flat methods on WitnessExtension now consume self again
+* Creating a Rep3Witnessextension now requires an additional argument, the A2B strategy
+* now uses new mpc-core and networking model. Also uses binary shares and does not convert to arithmetic shares everytime
+
+### Features
+
+* add a selector for choosing a2b and b2a implementations and expose ([bf12246](https://github.com/TaceoLabs/co-snarks/commit/bf1224613599919fc90d1a23eecfbabc9ca1f037))
+* added run_and_get_network to CircomRep3VmWitnessExtension, changed run and run_with_flat back to consume self ([b362504](https://github.com/TaceoLabs/co-snarks/commit/b362504d8a5affa8a5e8eca3f214c04951ad5b50))
+* added stub for cmp accelerator ([bc1525e](https://github.com/TaceoLabs/co-snarks/commit/bc1525effdd38e9308cc4a0050b7e20c97be1974))
+* bit_inject_many ([4155f57](https://github.com/TaceoLabs/co-snarks/commit/4155f570cb5ad9b3325c70df48993c3fde33ffb4))
+* Check that VM config is equal amongst parties ([0623d7d](https://github.com/TaceoLabs/co-snarks/commit/0623d7d716809969fa52fb18e995dd2bb2ee6543))
+* implement num2bits function ([5db7532](https://github.com/TaceoLabs/co-snarks/commit/5db753293ccba4e67bebf08b8a4977c47f7cb7ca))
+* num2bits accelerator working ([13cdf10](https://github.com/TaceoLabs/co-snarks/commit/13cdf100b79c642649d31501833ed182dd7e8b90))
+* rewrite that witness extension for circom to use forked networking and implements binary shares ([4c7e9ff](https://github.com/TaceoLabs/co-snarks/commit/4c7e9ff09aaf533f54ac60222b7981c6000f1f1e))
+
+
+### Bug Fixes
+
+* use a2b selector everywhere ([6c40fd6](https://github.com/TaceoLabs/co-snarks/commit/6c40fd65a31caa2c24ef65c4701bc27b88a74028))
+
+
+### Code Refactoring
+
+* removed binary shares from wtnx extension ([1370a7a](https://github.com/TaceoLabs/co-snarks/commit/1370a7a7202f26d20dc1857f64e2fd6874bd2f56))
+
+
+### Dependencies
+
+* The following workspace dependencies were updated
+  * dependencies
+    * co-circom-snarks bumped from 0.1.2 to 0.2.0
+    * mpc-core bumped from 0.5.0 to 0.6.0
+    * mpc-net bumped from 0.1.2 to 0.2.0
+
 ## [0.4.0](https://github.com/TaceoLabs/collaborative-circom/compare/circom-mpc-vm-v0.3.0...circom-mpc-vm-v0.4.0) (2024-08-14)
 
 

co-circom/circom-mpc-vm/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "circom-mpc-vm"
-version = "0.4.2"
+version = "0.5.0"
 edition.workspace = true
 rust-version.workspace = true
 authors.workspace = true
@@ -16,11 +16,11 @@ ark-serialize.workspace = true
 bincode.workspace = true
 num-bigint.workspace = true
 num-traits.workspace = true
-co-circom-snarks = { version = "0.1.2", path = "../co-circom-snarks" }
+co-circom-snarks = { version = "0.2.0", path = "../co-circom-snarks" }
 eyre.workspace = true
 itertools.workspace = true
-mpc-core = { version = "0.5.0", path = "../../mpc-core" }
-mpc-net = { version = "0.1.2", path = "../../mpc-net" }
+mpc-core = { version = "0.6.0", path = "../../mpc-core" }
+mpc-net = { version = "0.2.0", path = "../../mpc-net" }
 serde.workspace = true
 tracing.workspace = true
 

co-circom/circom-types/CHANGELOG.md

@@ -1,5 +1,16 @@
 # Changelog
 
+## [0.6.0](https://github.com/TaceoLabs/co-snarks/compare/circom-types-v0.5.0...circom-types-v0.6.0) (2024-11-12)
+
+
+### ⚠ BREAKING CHANGES
+
+* the prover for Groth16/Plonk now expects an Arc<ZKey>. Cleaner than having multiple Arcs in ZKey
+
+### Code Refactoring
+
+* prove for circom now expect Arc&lt;ZKey&gt; ([c2ac465](https://github.com/TaceoLabs/co-snarks/commit/c2ac465ebf6f3a28b902d9f0489e3f57c0843d7f))
+
 ## [0.5.0](https://github.com/TaceoLabs/collaborative-circom/compare/circom-types-v0.4.0...circom-types-v0.5.0) (2024-08-21)
 
 

co-circom/circom-types/Cargo.toml

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

co-circom/co-circom-snarks/CHANGELOG.md

@@ -9,6 +9,32 @@
   * dependencies
     * mpc-core bumped from 0.4.0 to 0.5.0
 
+## [0.2.0](https://github.com/TaceoLabs/co-snarks/compare/co-circom-snarks-v0.1.2...co-circom-snarks-v0.2.0) (2024-11-12)
+
+
+### ⚠ BREAKING CHANGES
+
+* serialization format of shared inputs has changed to allow for optional values used to indicate missing elements of an array
+* refactor API because of changes in other crates
+
+### Features
+
+* add support for merging input arrays ([#260](https://github.com/TaceoLabs/co-snarks/issues/260)) ([2c72231](https://github.com/TaceoLabs/co-snarks/commit/2c722317efee4b07fef92dcc7c6218033a25f04b))
+* prepare functions for compressed rep3 sharing ([55bef10](https://github.com/TaceoLabs/co-snarks/commit/55bef10313378e8ca14f2f22f312c84462a92a7e))
+
+
+### Code Refactoring
+
+* refactor API because of changes in other crates ([a58d8f1](https://github.com/TaceoLabs/co-snarks/commit/a58d8f1d1852ece862ed9d9164ee96e66fba1da8))
+
+
+### Dependencies
+
+* The following workspace dependencies were updated
+  * dependencies
+    * circom-types bumped from 0.5.0 to 0.6.0
+    * mpc-core bumped from 0.5.0 to 0.6.0
+
 ## 0.1.0 (2024-08-14)
 
 

co-circom/co-circom-snarks/Cargo.toml

@@ -1,7 +1,7 @@
 
 [package]
 name = "co-circom-snarks"
-version = "0.1.2"
+version = "0.2.0"
 publish.workspace = true
 authors.workspace = true
 edition.workspace = true
@@ -15,9 +15,9 @@ rust-version.workspace = true
 [dependencies]
 ark-ff = { workspace = true }
 ark-serialize = { workspace = true }
-circom-types = { version = "0.5.0", path = "../circom-types" }
+circom-types = { version = "0.6.0", path = "../circom-types" }
 eyre = { workspace = true }
-mpc-core = { version = "0.5.0", path = "../../mpc-core" }
+mpc-core = { version = "0.6.0", path = "../../mpc-core" }
 num-traits = { workspace = true }
 rand = { workspace = true }
 serde = { workspace = true }

co-circom/co-circom/CHANGELOG.md

@@ -9,6 +9,60 @@
     * co-plonk bumped from 0.3.0 to 0.3.1
     * mpc-core bumped from 0.4.0 to 0.5.0
 
+## [0.6.0](https://github.com/TaceoLabs/co-snarks/compare/co-circom-v0.5.1...co-circom-v0.6.0) (2024-11-12)
+
+
+### ⚠ BREAKING CHANGES
+
+* serialization format of shared inputs has changed to allow for optional values used to indicate missing elements of an array
+* MPC accelerator changed public API. Also now stores #output signals in component
+* input to compiler now takes PathBuf
+* run and run_with_flat methods on WitnessExtension now consume self again
+* MpcNetworkHandler::establish now takes the config with already read certs and key.
+* Removes the zkey in the said function signature. We needed it earlier because we had to know domain size, which we now no longer need.
+* the prover for Groth16/Plonk now expects an Arc<ZKey>. Cleaner than having multiple Arcs in ZKey
+* The serialized format of shares is now different.
+* Refactor calls to other crates because of API changes
+
+### Features
+
+* add support for merging input arrays ([#260](https://github.com/TaceoLabs/co-snarks/issues/260)) ([2c72231](https://github.com/TaceoLabs/co-snarks/commit/2c722317efee4b07fef92dcc7c6218033a25f04b))
+* Add the possibility to share co-circom inputs and witness in compressed form ([c3443e1](https://github.com/TaceoLabs/co-snarks/commit/c3443e1d6118f18c98c260b426307a16a2de9f76))
+* added run_and_get_network to CircomRep3VmWitnessExtension, changed run and run_with_flat back to consume self ([b362504](https://github.com/TaceoLabs/co-snarks/commit/b362504d8a5affa8a5e8eca3f214c04951ad5b50))
+* allow to set circom simplification level via CLI ([b0d64ba](https://github.com/TaceoLabs/co-snarks/commit/b0d64ba683c1dbab67102d31f1e1ab80108fb7d9))
+* can now parse bool inputs ([#236](https://github.com/TaceoLabs/co-snarks/issues/236)) ([d0147b6](https://github.com/TaceoLabs/co-snarks/commit/d0147b60810545d1a8796370b82c50eac1d7739d))
+* num2bits accelerator working ([13cdf10](https://github.com/TaceoLabs/co-snarks/commit/13cdf100b79c642649d31501833ed182dd7e8b90))
+
+
+### Bug Fixes
+
+* fixed path in zkey benches ([#231](https://github.com/TaceoLabs/co-snarks/issues/231)) ([99ab2de](https://github.com/TaceoLabs/co-snarks/commit/99ab2de32db9b27ca219fd93d7f8f17ab9692984))
+* handle inputs that are &gt;= mod in the same way as snarkjs ([76f701b](https://github.com/TaceoLabs/co-snarks/commit/76f701b63fc94e9643aefb3ded9670843a0e716f))
+* install rustls default crypto provider in our main binaries & examples ([#238](https://github.com/TaceoLabs/co-snarks/issues/238)) ([78757e4](https://github.com/TaceoLabs/co-snarks/commit/78757e46d8622360377d27c5d475d417bed95c5a))
+
+
+### Code Refactoring
+
+* input to compiler now takes PathBuf ([9f36774](https://github.com/TaceoLabs/co-snarks/commit/9f36774f0ff93c3c3abd28efae6599fc531bb1fb))
+* prove for circom now expect Arc&lt;ZKey&gt; ([c2ac465](https://github.com/TaceoLabs/co-snarks/commit/c2ac465ebf6f3a28b902d9f0489e3f57c0843d7f))
+* Refactor calls to other crates because of API changes ([6ed7c1a](https://github.com/TaceoLabs/co-snarks/commit/6ed7c1ad34e5dabd3ba1464cc805d5427d543f68))
+* split network config into two types ([dca1756](https://github.com/TaceoLabs/co-snarks/commit/dca175603a5d6a2f75ccd987cb0b19cc3d965b00))
+* with_network_config for ShamirGroth16 doesn't need zkey anymore ([2052d89](https://github.com/TaceoLabs/co-snarks/commit/2052d89cc4abb531702886daf70c47ee3b1ecf1a))
+
+
+### Dependencies
+
+* The following workspace dependencies were updated
+  * dependencies
+    * circom-mpc-compiler bumped from 0.6.1 to 0.7.0
+    * circom-mpc-vm bumped from 0.4.2 to 0.5.0
+    * circom-types bumped from 0.5.0 to 0.6.0
+    * co-circom-snarks bumped from 0.1.2 to 0.2.0
+    * co-groth16 bumped from 0.5.1 to 0.6.0
+    * co-plonk bumped from 0.3.1 to 0.4.0
+    * mpc-core bumped from 0.5.0 to 0.6.0
+    * mpc-net bumped from 0.1.2 to 0.2.0
+
 ## [0.5.0](https://github.com/TaceoLabs/collaborative-circom/compare/co-circom-v0.4.0...co-circom-v0.5.0) (2024-08-21)
 
 

co-circom/co-circom/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "co-circom"
-version = "0.5.1"
+version = "0.6.0"
 
 publish.workspace = true
 authors.workspace = true
@@ -19,19 +19,19 @@ ark-ec.workspace = true
 ark-ff.workspace = true
 ark-serialize.workspace = true
 bincode.workspace = true
-circom-mpc-compiler = { version = "0.6.1", path = "../circom-mpc-compiler" }
-circom-mpc-vm = { version = "0.4.2", path = "../circom-mpc-vm" }
-circom-types = { version = "0.5.0", path = "../circom-types" }
+circom-mpc-compiler = { version = "0.7.0", path = "../circom-mpc-compiler" }
+circom-mpc-vm = { version = "0.5.0", path = "../circom-mpc-vm" }
+circom-types = { version = "0.6.0", path = "../circom-types" }
 clap.workspace = true
-co-circom-snarks = { version = "0.1.2", path = "../co-circom-snarks" }
-co-groth16 = { version = "0.5.1", path = "../co-groth16", features = [
+co-circom-snarks = { version = "0.2.0", path = "../co-circom-snarks" }
+co-groth16 = { version = "0.6.0", path = "../co-groth16", features = [
     "verifier",
 ] }
-co-plonk = { version = "0.3.1", path = "../co-plonk" }
+co-plonk = { version = "0.4.0", path = "../co-plonk" }
 color-eyre.workspace = true
 figment.workspace = true
-mpc-core = { version = "0.5.0", path = "../../mpc-core" }
-mpc-net = { version = "0.1.2", path = "../../mpc-net" }
+mpc-core = { version = "0.6.0", path = "../../mpc-core" }
+mpc-net = { version = "0.2.0", path = "../../mpc-net" }
 num-bigint.workspace = true
 num-traits.workspace = true
 rand.workspace = true