chore: release main

TaceoLabs · Jan 15, 2025 · 314a5d8 · 314a5d8
1 parent 6913f52
commit 314a5d8
Show file tree

Hide file tree

Showing 30 changed files with 281 additions and 74 deletions.
diff --git a/.release-please-manifest.json b/.release-please-manifest.json
@@ -1,18 +1,18 @@
 {
-  "co-circom/circom-mpc-compiler": "0.8.0",
-  "co-circom/circom-mpc-vm": "0.6.0",
+  "co-circom/circom-mpc-compiler": "0.8.1",
+  "co-circom/circom-mpc-vm": "0.6.1",
   "co-circom/circom-types": "0.7.0",
-  "co-circom/co-circom-snarks": "0.3.0",
-  "co-circom/co-circom": "0.7.0",
-  "co-circom/co-groth16": "0.7.0",
-  "co-circom/co-plonk": "0.5.0",
-  "co-noir/co-acvm": "0.4.0",
-  "co-noir/co-builder": "0.2.0",
-  "co-noir/co-brillig": "0.1.0",
-  "co-noir/co-noir": "0.4.0",
-  "co-noir/co-ultrahonk": "0.3.0",
-  "co-noir/ultrahonk": "0.3.0",
-  "mpc-core": "0.7.0",
-  "mpc-net": "0.2.1",
-  "tests": "0.1.9"
+  "co-circom/co-circom-snarks": "0.3.1",
+  "co-circom/co-circom": "0.7.1",
+  "co-circom/co-groth16": "0.7.1",
+  "co-circom/co-plonk": "0.5.1",
+  "co-noir/co-acvm": "0.5.0",
+  "co-noir/co-builder": "0.3.0",
+  "co-noir/co-brillig": "0.2.0",
+  "co-noir/co-noir": "0.5.0",
+  "co-noir/co-ultrahonk": "0.4.0",
+  "co-noir/ultrahonk": "0.4.0",
+  "mpc-core": "0.8.0",
+  "mpc-net": "0.3.0",
+  "tests": "0.1.10"
 }
diff --git a/co-circom/circom-mpc-compiler/CHANGELOG.md b/co-circom/circom-mpc-compiler/CHANGELOG.md
@@ -7,6 +7,13 @@
     * co-groth16 bumped from 0.5.0 to 0.5.1
     * mpc-core bumped from 0.4.0 to 0.5.0
 
+* The following workspace dependencies were updated
+  * dependencies
+    * circom-mpc-vm bumped from 0.6.0 to 0.6.1
+  * dev-dependencies
+    * co-groth16 bumped from 0.7.0 to 0.7.1
+    * mpc-core bumped from 0.7.0 to 0.8.0
+
 ## [0.8.0](https://github.com/TaceoLabs/co-snarks/compare/circom-mpc-compiler-v0.7.0...circom-mpc-compiler-v0.8.0) (2024-12-16)
 
 

diff --git a/co-circom/circom-mpc-compiler/Cargo.toml b/co-circom/circom-mpc-compiler/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "circom-mpc-compiler"
-version = "0.8.0"
+version = "0.8.1"
 edition.workspace = true
 rust-version.workspace = true
 authors.workspace = true
@@ -18,7 +18,7 @@ circom-constraint_generation = { version = "2.1.9", git = "https://github.com/Ta
 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.7.0", path = "../circom-types" }
-circom-mpc-vm = { version = "0.6.0", path = "../circom-mpc-vm" }
+circom-mpc-vm = { version = "0.6.1", 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.7.0", path = "../co-groth16" }
-mpc-core = { version = "0.7.0", path = "../../mpc-core" }
+co-groth16 = { version = "0.7.1", path = "../co-groth16" }
+mpc-core = { version = "0.8.0", path = "../../mpc-core" }
 tracing.workspace = true
diff --git a/co-circom/circom-mpc-vm/CHANGELOG.md b/co-circom/circom-mpc-vm/CHANGELOG.md
@@ -10,6 +10,12 @@
     * co-circom-snarks bumped from 0.1.1 to 0.1.2
     * mpc-core bumped from 0.4.0 to 0.5.0
 
+* The following workspace dependencies were updated
+  * dependencies
+    * co-circom-snarks bumped from 0.3.0 to 0.3.1
+    * mpc-core bumped from 0.7.0 to 0.8.0
+    * mpc-net bumped from 0.2.1 to 0.3.0
+
 ## [0.6.0](https://github.com/TaceoLabs/co-snarks/compare/circom-mpc-vm-v0.5.0...circom-mpc-vm-v0.6.0) (2024-12-16)
 
 

diff --git a/co-circom/circom-mpc-vm/Cargo.toml b/co-circom/circom-mpc-vm/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "circom-mpc-vm"
-version = "0.6.0"
+version = "0.6.1"
 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.3.0", path = "../co-circom-snarks" }
+co-circom-snarks = { version = "0.3.1", path = "../co-circom-snarks" }
 eyre.workspace = true
 itertools.workspace = true
-mpc-core = { version = "0.7.0", path = "../../mpc-core" }
-mpc-net = { version = "0.2.1", path = "../../mpc-net" }
+mpc-core = { version = "0.8.0", path = "../../mpc-core" }
+mpc-net = { version = "0.3.0", path = "../../mpc-net" }
 serde.workspace = true
 tracing.workspace = true
 

diff --git a/co-circom/co-circom-snarks/CHANGELOG.md b/co-circom/co-circom-snarks/CHANGELOG.md
@@ -9,6 +9,10 @@
   * dependencies
     * mpc-core bumped from 0.4.0 to 0.5.0
 
+* The following workspace dependencies were updated
+  * dependencies
+    * mpc-core bumped from 0.7.0 to 0.8.0
+
 ## [0.3.0](https://github.com/TaceoLabs/co-snarks/compare/co-circom-snarks-v0.2.0...co-circom-snarks-v0.3.0) (2024-12-16)
 
 

diff --git a/co-circom/co-circom-snarks/Cargo.toml b/co-circom/co-circom-snarks/Cargo.toml
@@ -1,7 +1,7 @@
 
 [package]
 name = "co-circom-snarks"
-version = "0.3.0"
+version = "0.3.1"
 publish.workspace = true
 authors.workspace = true
 edition.workspace = true
@@ -17,7 +17,7 @@ ark-ff = { workspace = true }
 ark-serialize = { workspace = true }
 circom-types = { version = "0.7.0", path = "../circom-types" }
 eyre = { workspace = true }
-mpc-core = { version = "0.7.0", path = "../../mpc-core" }
+mpc-core = { version = "0.8.0", path = "../../mpc-core" }
 num-traits = { workspace = true }
 rand = { workspace = true }
 serde = { workspace = true }

diff --git a/co-circom/co-circom/CHANGELOG.md b/co-circom/co-circom/CHANGELOG.md
@@ -9,6 +9,16 @@
     * co-plonk bumped from 0.3.0 to 0.3.1
     * mpc-core bumped from 0.4.0 to 0.5.0
 
+* The following workspace dependencies were updated
+  * dependencies
+    * circom-mpc-compiler bumped from 0.8.0 to 0.8.1
+    * circom-mpc-vm bumped from 0.6.0 to 0.6.1
+    * co-circom-snarks bumped from 0.3.0 to 0.3.1
+    * co-groth16 bumped from 0.7.0 to 0.7.1
+    * co-plonk bumped from 0.5.0 to 0.5.1
+    * mpc-core bumped from 0.7.0 to 0.8.0
+    * mpc-net bumped from 0.2.1 to 0.3.0
+
 ## [0.7.0](https://github.com/TaceoLabs/co-snarks/compare/co-circom-v0.6.0...co-circom-v0.7.0) (2024-12-16)
 
 

diff --git a/co-circom/co-circom/Cargo.toml b/co-circom/co-circom/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "co-circom"
-version = "0.7.0"
+version = "0.7.1"
 
 publish.workspace = true
 authors.workspace = true
@@ -18,19 +18,19 @@ ark-bn254.workspace = true
 ark-ec.workspace = true
 ark-ff.workspace = true
 bincode.workspace = true
-circom-mpc-compiler = { version = "0.8.0", path = "../circom-mpc-compiler" }
-circom-mpc-vm = { version = "0.6.0", path = "../circom-mpc-vm" }
+circom-mpc-compiler = { version = "0.8.1", path = "../circom-mpc-compiler" }
+circom-mpc-vm = { version = "0.6.1", path = "../circom-mpc-vm" }
 circom-types = { version = "0.7.0", path = "../circom-types" }
 clap.workspace = true
-co-circom-snarks = { version = "0.3.0", path = "../co-circom-snarks" }
-co-groth16 = { version = "0.7.0", path = "../co-groth16", features = [
+co-circom-snarks = { version = "0.3.1", path = "../co-circom-snarks" }
+co-groth16 = { version = "0.7.1", path = "../co-groth16", features = [
     "verifier",
 ] }
-co-plonk = { version = "0.5.0", path = "../co-plonk" }
+co-plonk = { version = "0.5.1", path = "../co-plonk" }
 color-eyre.workspace = true
 figment.workspace = true
-mpc-core = { version = "0.7.0", path = "../../mpc-core" }
-mpc-net = { version = "0.2.1", path = "../../mpc-net" }
+mpc-core = { version = "0.8.0", path = "../../mpc-core" }
+mpc-net = { version = "0.3.0", path = "../../mpc-net" }
 num-bigint.workspace = true
 num-traits.workspace = true
 rand.workspace = true

diff --git a/co-circom/co-groth16/CHANGELOG.md b/co-circom/co-groth16/CHANGELOG.md
@@ -11,6 +11,12 @@
     * co-circom-snarks bumped from 0.1.1 to 0.1.2
     * mpc-core bumped from 0.4.0 to 0.5.0
 
+* The following workspace dependencies were updated
+  * dependencies
+    * co-circom-snarks bumped from 0.3.0 to 0.3.1
+    * mpc-core bumped from 0.7.0 to 0.8.0
+    * mpc-net bumped from 0.2.1 to 0.3.0
+
 ## [0.7.0](https://github.com/TaceoLabs/co-snarks/compare/co-groth16-v0.6.0...co-groth16-v0.7.0) (2024-12-16)
 
 

diff --git a/co-circom/co-groth16/Cargo.toml b/co-circom/co-groth16/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "co-groth16"
-version = "0.7.0"
+version = "0.7.1"
 publish.workspace = true
 authors.workspace = true
 edition.workspace = true
@@ -26,10 +26,10 @@ ark-groth16 = { version = "=0.4.0", default-features = false, features = [
 ark-poly = { workspace = true }
 ark-serialize = { workspace = true }
 circom-types = { version = "0.7.0", path = "../circom-types" }
-co-circom-snarks = { version = "0.3.0", path = "../co-circom-snarks" }
+co-circom-snarks = { version = "0.3.1", path = "../co-circom-snarks" }
 eyre = { workspace = true }
-mpc-core = { version = "0.7.0", path = "../../mpc-core" }
-mpc-net = { version = "0.2.1", path = "../../mpc-net" }
+mpc-core = { version = "0.8.0", path = "../../mpc-core" }
+mpc-net = { version = "0.3.0", path = "../../mpc-net" }
 num-traits = { workspace = true }
 rand = { workspace = true }
 rayon = { workspace = true }

diff --git a/co-circom/co-plonk/CHANGELOG.md b/co-circom/co-plonk/CHANGELOG.md
@@ -5,6 +5,12 @@
     * co-circom-snarks bumped from 0.1.1 to 0.1.2
     * mpc-core bumped from 0.4.0 to 0.5.0
 
+* The following workspace dependencies were updated
+  * dependencies
+    * co-circom-snarks bumped from 0.3.0 to 0.3.1
+    * mpc-net bumped from 0.2.1 to 0.3.0
+    * mpc-core bumped from 0.7.0 to 0.8.0
+
 ## [0.5.0](https://github.com/TaceoLabs/co-snarks/compare/co-plonk-v0.4.0...co-plonk-v0.5.0) (2024-12-16)
 
 

diff --git a/co-circom/co-plonk/Cargo.toml b/co-circom/co-plonk/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "co-plonk"
-version = "0.5.0"
+version = "0.5.1"
 publish.workspace = true
 authors.workspace = true
 edition.workspace = true
@@ -17,11 +17,11 @@ ark-ff = { workspace = true }
 ark-poly = { workspace = true }
 ark-serialize = { workspace = true }
 circom-types = { version = "0.7.0", path = "../circom-types" }
-co-circom-snarks = { version = "0.3.0", path = "../co-circom-snarks" }
+co-circom-snarks = { version = "0.3.1", path = "../co-circom-snarks" }
 eyre = { workspace = true }
 itertools = { workspace = true }
-mpc-net = { version = "0.2.1", path = "../../mpc-net" }
-mpc-core = { version = "0.7.0", path = "../../mpc-core" }
+mpc-net = { version = "0.3.0", path = "../../mpc-net" }
+mpc-core = { version = "0.8.0", path = "../../mpc-core" }
 num-traits = { workspace = true }
 rand = { workspace = true }
 rayon = { workspace = true }

diff --git a/co-noir/co-acvm/CHANGELOG.md b/co-noir/co-acvm/CHANGELOG.md
@@ -1,5 +1,21 @@
 # Changelog
 
+## [0.5.0](https://github.com/TaceoLabs/co-snarks/compare/co-acvm-v0.4.0...co-acvm-v0.5.0) (2025-01-15)
+
+
+### Features
+
+* add generating recursive friendly vk; rename stuff to match bb ([6913f52](https://github.com/TaceoLabs/co-snarks/commit/6913f52ece6efe2f17362f19ee183aea1d5aa017))
+* works for unique num_bits ([4249c3f](https://github.com/TaceoLabs/co-snarks/commit/4249c3fd10209e0feebd025a1287489c4cf74334))
+
+
+### Dependencies
+
+* The following workspace dependencies were updated
+  * dependencies
+    * co-brillig bumped from 0.1.0 to 0.2.0
+    * mpc-core bumped from 0.7.0 to 0.8.0
+
 ## [0.4.0](https://github.com/TaceoLabs/co-snarks/compare/co-acvm-v0.3.0...co-acvm-v0.4.0) (2024-12-16)
 
 

diff --git a/co-noir/co-acvm/Cargo.toml b/co-noir/co-acvm/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "co-acvm"
-version = "0.4.0"
+version = "0.5.0"
 publish.workspace = true
 authors.workspace = true
 edition.workspace = true
@@ -14,11 +14,11 @@ acir.workspace = true
 acvm.workspace = true
 ark-bn254.workspace = true
 ark-ff.workspace = true
-co-brillig= { version = "0.1.0", path = "../co-brillig" }
+co-brillig= { version = "0.2.0", path = "../co-brillig" }
 eyre.workspace = true
 intmap.workspace = true
 itertools.workspace = true
-mpc-core = { version = "0.7.0", path = "../../mpc-core" }
+mpc-core = { version = "0.8.0", path = "../../mpc-core" }
 noirc-abi.workspace = true
 noirc-artifacts.workspace = true
 serde.workspace = true

diff --git a/co-noir/co-brillig/CHANGELOG.md b/co-noir/co-brillig/CHANGELOG.md
@@ -1,5 +1,30 @@
 # Changelog
 
+## [0.2.0](https://github.com/TaceoLabs/co-snarks/compare/co-brillig-v0.1.0...co-brillig-v0.2.0) (2025-01-15)
+
+
+### Features
+
+* add public/shared int division ([4286c6a](https://github.com/TaceoLabs/co-snarks/commit/4286c6a7d7e42335c056c2b3a858a7dbd51bf107))
+* add shared/public int division ([d1d2121](https://github.com/TaceoLabs/co-snarks/commit/d1d21215997e1a854d2919db47a8b7bbbc541747))
+* add shared/shared to co-brillig ([b54b4ee](https://github.com/TaceoLabs/co-snarks/commit/b54b4eeea091431a7f06eb0a87eb5e0e87ceb2b4))
+* bits case for shared/public ([4beb691](https://github.com/TaceoLabs/co-snarks/commit/4beb6910f037055a0bc08aae30dbe2995aae5bf4))
+* to_radix for public radix ([8ccd753](https://github.com/TaceoLabs/co-snarks/commit/8ccd753975d8a4e11fe8ed90cc757d9739d988dd))
+* to_radix for public val/shared radix ([540780b](https://github.com/TaceoLabs/co-snarks/commit/540780b81d4ee4772df09a7997c42af6f476ff6d))
+* to_radix for shared val/shared radix ([ecbb1d7](https://github.com/TaceoLabs/co-snarks/commit/ecbb1d7137713939cab0ed5010f00404e81f626a))
+
+
+### Bug Fixes
+
+* to_radix for weird constelations ([24c20c1](https://github.com/TaceoLabs/co-snarks/commit/24c20c1ecc62dcc2f168ff8e0150a0c38fe31fed))
+
+
+### Dependencies
+
+* The following workspace dependencies were updated
+  * dependencies
+    * mpc-core bumped from 0.7.0 to 0.8.0
+
 ## [0.1.0](https://github.com/TaceoLabs/co-snarks/compare/co-brillig-v0.0.1...co-brillig-v0.1.0) (2024-12-16)
 
 

diff --git a/co-noir/co-brillig/Cargo.toml b/co-noir/co-brillig/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "co-brillig"
-version = "0.1.0"
+version = "0.2.0"
 publish.workspace = true
 authors.workspace = true
 edition.workspace = true
@@ -16,7 +16,7 @@ ark-ff.workspace = true
 brillig.workspace = true
 eyre.workspace = true
 itertools.workspace = true
-mpc-core = { version = "0.7.0", path = "../../mpc-core" }
+mpc-core = { version = "0.8.0", path = "../../mpc-core" }
 num-bigint.workspace = true
 num-traits.workspace = true
 rand.workspace = true

diff --git a/co-noir/co-builder/CHANGELOG.md b/co-noir/co-builder/CHANGELOG.md
@@ -1,5 +1,30 @@
 # Changelog
 
+## [0.3.0](https://github.com/TaceoLabs/co-snarks/compare/co-builder-v0.2.0...co-builder-v0.3.0) (2025-01-15)
+
+
+### ⚠ BREAKING CHANGES
+
+* Bump Nargo to version v1.0.0-beta.1
+
+### Features
+
+* add command to download a CRS with a given number of points to the co-noir binary ([#301](https://github.com/TaceoLabs/co-snarks/issues/301)) ([3b7b562](https://github.com/TaceoLabs/co-snarks/commit/3b7b562a377ceb54c60ab02661226b1430d0837d))
+* add generating recursive friendly vk; rename stuff to match bb ([6913f52](https://github.com/TaceoLabs/co-snarks/commit/6913f52ece6efe2f17362f19ee183aea1d5aa017))
+* add possibility to generate recursive proofs ([ffc8ac4](https://github.com/TaceoLabs/co-snarks/commit/ffc8ac4d0b8ad834566154524bf8e9eab362ba0b))
+* Bump Nargo to version v1.0.0-beta.1 ([2e0a307](https://github.com/TaceoLabs/co-snarks/commit/2e0a307524cd6b7a14fd3fc4dd2c00466c378534))
+* handle different num_bits ([2d545ab](https://github.com/TaceoLabs/co-snarks/commit/2d545abe592fb6a6a85da5d0993c6db95b6d49b7))
+* move batch decompose into a separate fct ([f02fd38](https://github.com/TaceoLabs/co-snarks/commit/f02fd38b69fab24808f6a2b8a64af4d0e4c96cf6))
+* works for unique num_bits ([4249c3f](https://github.com/TaceoLabs/co-snarks/commit/4249c3fd10209e0feebd025a1287489c4cf74334))
+
+
+### Dependencies
+
+* The following workspace dependencies were updated
+  * dependencies
+    * co-acvm bumped from 0.4.0 to 0.5.0
+    * mpc-core bumped from 0.7.0 to 0.8.0
+
 ## [0.2.0](https://github.com/TaceoLabs/co-snarks/compare/co-builder-v0.1.0...co-builder-v0.2.0) (2024-12-16)