Skip to content

Commit

Permalink
chore: release main
Browse files Browse the repository at this point in the history
  • Loading branch information
taceo-bot committed Nov 11, 2024
1 parent e919557 commit e379805
Show file tree
Hide file tree
Showing 16 changed files with 169 additions and 26 deletions.
16 changes: 8 additions & 8 deletions .release-please-manifest.json
Original file line number Diff line number Diff line change
@@ -1,17 +1,17 @@
{
"co-circom/circom-mpc-compiler": "0.7.2",
"co-circom/circom-mpc-compiler": "0.7.3",
"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.8.0",
"co-circom/co-groth16": "0.8.0",
"co-circom/co-plonk": "0.6.0",
"co-circom/co-circom": "0.8.1",
"co-circom/co-groth16": "0.9.0",
"co-circom/co-plonk": "0.7.0",
"co-noir/co-acvm": "0.4.0",
"co-noir/co-builder": "0.1.1",
"co-noir/co-noir": "0.5.0",
"co-noir/co-ultrahonk": "0.2.2",
"co-noir/ultrahonk": "0.4.0",
"co-noir/co-noir": "0.6.0",
"co-noir/co-ultrahonk": "0.2.3",
"co-noir/ultrahonk": "0.5.0",
"mpc-core": "0.6.0",
"mpc-net": "0.2.0",
"tests": "0.1.10"
"tests": "0.1.11"
}
4 changes: 4 additions & 0 deletions co-circom/circom-mpc-compiler/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,10 @@
* dev-dependencies
* co-groth16 bumped from 0.7.0 to 0.8.0

* The following workspace dependencies were updated
* dev-dependencies
* co-groth16 bumped from 0.8.0 to 0.9.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-11)


Expand Down
4 changes: 2 additions & 2 deletions co-circom/circom-mpc-compiler/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "circom-mpc-compiler"
version = "0.7.2"
version = "0.7.3"
edition.workspace = true
rust-version.workspace = true
authors.workspace = true
Expand Down Expand Up @@ -29,6 +29,6 @@ tracing.workspace = true

[dev-dependencies]
ark-bn254.workspace = true
co-groth16 = { version = "0.8.0", path = "../co-groth16" }
co-groth16 = { version = "0.9.0", path = "../co-groth16" }
mpc-core = { version = "0.6.0", path = "../../mpc-core" }
tracing.workspace = true
6 changes: 6 additions & 0 deletions co-circom/co-circom/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,12 @@
* 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.7.2 to 0.7.3
* co-groth16 bumped from 0.8.0 to 0.9.0
* co-plonk bumped from 0.6.0 to 0.7.0

## [0.8.0](https://github.com/TaceoLabs/co-snarks/compare/co-circom-v0.7.0...co-circom-v0.8.0) (2024-11-11)


Expand Down
8 changes: 4 additions & 4 deletions co-circom/co-circom/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "co-circom"
version = "0.8.0"
version = "0.8.1"

publish.workspace = true
authors.workspace = true
Expand All @@ -19,15 +19,15 @@ ark-ec.workspace = true
ark-ff.workspace = true
ark-serialize.workspace = true
bincode.workspace = true
circom-mpc-compiler = { version = "0.7.2", path = "../circom-mpc-compiler" }
circom-mpc-compiler = { version = "0.7.3", 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.2.0", path = "../co-circom-snarks" }
co-groth16 = { version = "0.8.0", path = "../co-groth16", features = [
co-groth16 = { version = "0.9.0", path = "../co-groth16", features = [
"verifier",
] }
co-plonk = { version = "0.6.0", path = "../co-plonk" }
co-plonk = { version = "0.7.0", path = "../co-plonk" }
color-eyre.workspace = true
figment.workspace = true
mpc-core = { version = "0.6.0", path = "../../mpc-core" }
Expand Down
23 changes: 23 additions & 0 deletions co-circom/co-groth16/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,29 @@
* co-circom-snarks bumped from 0.1.1 to 0.1.2
* mpc-core bumped from 0.4.0 to 0.5.0

## [0.9.0](https://github.com/TaceoLabs/co-snarks/compare/co-groth16-v0.8.0...co-groth16-v0.9.0) (2024-11-11)


### ⚠ BREAKING CHANGES

* 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 public interface of the Groth16MPCProver trait has changed.
* refactors everything that all groth16 specific functionallity is not in MPC-core anymore.

### Features

* added plain prover shorthand function ([b365fcd](https://github.com/TaceoLabs/co-snarks/commit/b365fcd89390dad585933f39a2db32473081d060))
* prepare functions for compressed rep3 sharing ([55bef10](https://github.com/TaceoLabs/co-snarks/commit/55bef10313378e8ca14f2f22f312c84462a92a7e))
* refactors all according to MPC-core + Rayon ([44a5d2d](https://github.com/TaceoLabs/co-snarks/commit/44a5d2d4f1e406331f127cd89de369a66d41b105))


### Code Refactoring

* make pointshare in Groth16 MPC trait generic over the curve ([dc5acd2](https://github.com/TaceoLabs/co-snarks/commit/dc5acd28db03920982de623f51dd4df236ff7381))
* prove for circom now expect Arc&lt;ZKey&gt; ([c2ac465](https://github.com/TaceoLabs/co-snarks/commit/c2ac465ebf6f3a28b902d9f0489e3f57c0843d7f))
* with_network_config for ShamirGroth16 doesn't need zkey anymore ([2052d89](https://github.com/TaceoLabs/co-snarks/commit/2052d89cc4abb531702886daf70c47ee3b1ecf1a))

## [0.8.0](https://github.com/TaceoLabs/co-snarks/compare/co-groth16-v0.7.0...co-groth16-v0.8.0) (2024-11-11)


Expand Down
2 changes: 1 addition & 1 deletion co-circom/co-groth16/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "co-groth16"
version = "0.8.0"
version = "0.9.0"
publish.workspace = true
authors.workspace = true
edition.workspace = true
Expand Down
18 changes: 18 additions & 0 deletions co-circom/co-plonk/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,24 @@
* co-circom-snarks bumped from 0.1.1 to 0.1.2
* mpc-core bumped from 0.4.0 to 0.5.0

## [0.7.0](https://github.com/TaceoLabs/co-snarks/compare/co-plonk-v0.6.0...co-plonk-v0.7.0) (2024-11-11)


### ⚠ BREAKING CHANGES

* the prover for Groth16/Plonk now expects an Arc<ZKey>. Cleaner than having multiple Arcs in ZKey
* now uses new mpc-core and forked networking but NO rayon

### Features

* prepare functions for compressed rep3 sharing ([55bef10](https://github.com/TaceoLabs/co-snarks/commit/55bef10313378e8ca14f2f22f312c84462a92a7e))
* refactor to use new mpc-core ([43da344](https://github.com/TaceoLabs/co-snarks/commit/43da344be00f00a46849508cea1d279cf29a95b2))


### Code Refactoring

* prove for circom now expect Arc&lt;ZKey&gt; ([c2ac465](https://github.com/TaceoLabs/co-snarks/commit/c2ac465ebf6f3a28b902d9f0489e3f57c0843d7f))

## [0.6.0](https://github.com/TaceoLabs/co-snarks/compare/co-plonk-v0.5.0...co-plonk-v0.6.0) (2024-11-11)


Expand Down
2 changes: 1 addition & 1 deletion co-circom/co-plonk/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "co-plonk"
version = "0.6.0"
version = "0.7.0"
publish.workspace = true
authors.workspace = true
edition.workspace = true
Expand Down
47 changes: 47 additions & 0 deletions co-noir/co-noir/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,52 @@
# Changelog

## [0.6.0](https://github.com/TaceoLabs/co-snarks/compare/co-noir-v0.5.0...co-noir-v0.6.0) (2024-11-11)


### ⚠ BREAKING CHANGES

* Add more commands to co-noir binary to prepare for cases where
* co-noir adapted to ACVMType instead of sharedbuildervariable
* Use ACVMType in co-builder
* MpcNetworkHandler::establish now takes the config with already read certs and key.
* The interface of the UltraCircuitVariable trait has change. Thus, also ProvingKey::create() throws an error now.
* co-noir now stores shared inputs in a different format (`BTreeMap<String, Rep3AcvmType<ark_bn254::Fr>>` instead of `BTreeMap<String, Rep3PrimeFieldShare<ark_bn254::Fr>>`)
* The produced proofs are now different due to new transcript handling in bb 0.55.1, and they are no longer backwards compatible.
* Add merging inputs to co-noir binary ([#208](https://github.com/TaceoLabs/co-snarks/issues/208))

### Features

* Add co-noir binary ([#201](https://github.com/TaceoLabs/co-snarks/issues/201)) ([3163aec](https://github.com/TaceoLabs/co-snarks/commit/3163aec0795dd7b357f532e4da9e232ea164f064))
* Add merging inputs to co-noir binary ([#208](https://github.com/TaceoLabs/co-snarks/issues/208)) ([9365fdc](https://github.com/TaceoLabs/co-snarks/commit/9365fdc1d3111cb7d17873e14fe7b5ee4b7db4fe))
* Add more commands to co-noir binary to prepare for cases where ([268ebe9](https://github.com/TaceoLabs/co-snarks/commit/268ebe9f243146cc6ea251e6b8fdef28cc8ca035))
* Add Verifying key serialization and add verification to co-noir binary ([#202](https://github.com/TaceoLabs/co-snarks/issues/202)) ([3467425](https://github.com/TaceoLabs/co-snarks/commit/34674255f764f8df1f862d600ebba46314566233))
* Do not use the builder in co-noir split witness ([d304986](https://github.com/TaceoLabs/co-snarks/commit/d304986495f4f6f94db60d4ad15e5f4cd29c0e32))
* Replace a panic from the ultracircuitbuilder with an Error ([#217](https://github.com/TaceoLabs/co-snarks/issues/217)) ([5d9c870](https://github.com/TaceoLabs/co-snarks/commit/5d9c8703525e90ee3d9215006df527ad6a6ae777))
* squashed commit of co-noir ([b132afc](https://github.com/TaceoLabs/co-snarks/commit/b132afcadb96914cd85070f87d7aa03bf9f87bfd))
* Update UltraHonk to BB v0.62.0, required to replace zeromorph with shplemini ([#251](https://github.com/TaceoLabs/co-snarks/issues/251)) ([f35cdd4](https://github.com/TaceoLabs/co-snarks/commit/f35cdd490f8a3daa8bb44f6aa502f42147efb4b6))
* Upgrade UltraHonk to be compatible with Barretenberg v0.55.1 ([#211](https://github.com/TaceoLabs/co-snarks/issues/211)) ([f817d76](https://github.com/TaceoLabs/co-snarks/commit/f817d768760ffbbf6b58489562aed5327567c561))


### Bug Fixes

* Adapt co-noir binary to handle public noir inputs correctly ([#216](https://github.com/TaceoLabs/co-snarks/issues/216)) ([bed3996](https://github.com/TaceoLabs/co-snarks/commit/bed399621558ca5d2ee22e9bdaa42f14f66b74d9))
* 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))
* simplify path handling in co-noir binary ([26fae55](https://github.com/TaceoLabs/co-snarks/commit/26fae552badf72f8105ce0736e594d2398f1aca5))


### Code Refactoring

* co-noir adapted to ACVMType instead of sharedbuildervariable ([e6518a7](https://github.com/TaceoLabs/co-snarks/commit/e6518a7eb1bf6d5440b9dba815ae3342d93a4d4f))
* split network config into two types ([dca1756](https://github.com/TaceoLabs/co-snarks/commit/dca175603a5d6a2f75ccd987cb0b19cc3d965b00))
* Use ACVMType in co-builder ([e078c22](https://github.com/TaceoLabs/co-snarks/commit/e078c22e4d19580b4a0531c0ac4232e7dd9f3bae))


### Dependencies

* The following workspace dependencies were updated
* dependencies
* co-ultrahonk bumped from 0.2.2 to 0.2.3

## [0.5.0](https://github.com/TaceoLabs/co-snarks/compare/co-noir-v0.4.0...co-noir-v0.5.0) (2024-11-11)


Expand Down
4 changes: 2 additions & 2 deletions co-noir/co-noir/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "co-noir"
version = "0.5.0"
version = "0.6.0"

publish.workspace = true
authors.workspace = true
Expand All @@ -20,7 +20,7 @@ ark-ff.workspace = true
bincode.workspace = true
clap.workspace = true
co-acvm = { version = "0.4.0", path = "../co-acvm" }
co-ultrahonk = { version = "0.2.2", path = "../co-ultrahonk" }
co-ultrahonk = { version = "0.2.3", path = "../co-ultrahonk" }
color-eyre.workspace = true
figment.workspace = true
mpc-core = { version = "0.6.0", path = "../../mpc-core" }
Expand Down
4 changes: 4 additions & 0 deletions co-noir/co-ultrahonk/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,10 @@
* dependencies
* ultrahonk bumped from 0.3.0 to 0.4.0

* The following workspace dependencies were updated
* dependencies
* ultrahonk bumped from 0.4.0 to 0.5.0

## [0.2.0](https://github.com/TaceoLabs/co-snarks/compare/co-ultrahonk-v0.1.0...co-ultrahonk-v0.2.0) (2024-11-11)


Expand Down
4 changes: 2 additions & 2 deletions co-noir/co-ultrahonk/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "co-ultrahonk"
version = "0.2.2"
version = "0.2.3"
publish.workspace = true
authors.workspace = true
edition.workspace = true
Expand All @@ -23,7 +23,7 @@ mpc-core = { version = "0.6.0", path = "../../mpc-core" }
num-bigint.workspace = true
num-traits.workspace = true
tracing.workspace = true
ultrahonk = { version = "0.4.0", path = "../ultrahonk" }
ultrahonk = { version = "0.5.0", path = "../ultrahonk" }
rand.workspace = true
rayon.workspace = true
serde.workspace = true
Expand Down
41 changes: 41 additions & 0 deletions co-noir/ultrahonk/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,46 @@
# Changelog

## [0.5.0](https://github.com/TaceoLabs/co-snarks/compare/ultrahonk-v0.4.0...ultrahonk-v0.5.0) (2024-11-11)


### ⚠ BREAKING CHANGES

* Move builder to new co-builder crate
* The interface of the UltraCircuitVariable trait has change. Thus, also ProvingKey::create() throws an error now.
* co-noir now stores shared inputs in a different format (`BTreeMap<String, Rep3AcvmType<ark_bn254::Fr>>` instead of `BTreeMap<String, Rep3PrimeFieldShare<ark_bn254::Fr>>`)
* The produced proofs are now different due to new transcript handling in bb 0.55.1, and they are no longer backwards compatible.

### Features

* Add builder for ultrahonk and fix prover ([929dd1d](https://github.com/TaceoLabs/co-snarks/commit/929dd1d39f3048fd91ccab229e9ae8a500b92df6))
* Add co-noir binary ([#201](https://github.com/TaceoLabs/co-snarks/issues/201)) ([3163aec](https://github.com/TaceoLabs/co-snarks/commit/3163aec0795dd7b357f532e4da9e232ea164f064))
* Add co-oink prover ([#194](https://github.com/TaceoLabs/co-snarks/issues/194)) ([b5fbd85](https://github.com/TaceoLabs/co-snarks/commit/b5fbd85b32cdb01c8865777c2238e159fc9b2553))
* Add co-zeromorph to co-ultrahonk ([#195](https://github.com/TaceoLabs/co-snarks/issues/195)) ([e7df56e](https://github.com/TaceoLabs/co-snarks/commit/e7df56e5af49938166e9ce4a2bbc49eaa8977acc))
* Add first version of a (untested) UltraHonk prover ([9f2911f](https://github.com/TaceoLabs/co-snarks/commit/9f2911f61f10d40217145a6802ccaf577aa7995f))
* Add MPC tests for co-ultrahonk ([#199](https://github.com/TaceoLabs/co-snarks/issues/199)) ([5a36ad5](https://github.com/TaceoLabs/co-snarks/commit/5a36ad5d5226cf25b8c8ffe377dd30efe6133725))
* Add sumcheck prover (without relations) ([be44986](https://github.com/TaceoLabs/co-snarks/commit/be449861f4e1d9eda20dda28c5f6add4dfd54fea))
* Add the sumcheck relations to the co-ultrahonk prover ([#198](https://github.com/TaceoLabs/co-snarks/issues/198)) ([846c4f0](https://github.com/TaceoLabs/co-snarks/commit/846c4f0342cc24b47947de17aec5e5cc99b4d90f))
* Add Ultrahonk verifier ([5c5b5d8](https://github.com/TaceoLabs/co-snarks/commit/5c5b5d8d8eefe6478954ed912498a63bb1e532cb))
* Add Verifying key serialization and add verification to co-noir binary ([#202](https://github.com/TaceoLabs/co-snarks/issues/202)) ([3467425](https://github.com/TaceoLabs/co-snarks/commit/34674255f764f8df1f862d600ebba46314566233))
* Make builder generic for both shares and plain, add shared proving key and start with MPC prover ([#193](https://github.com/TaceoLabs/co-snarks/issues/193)) ([e3559a0](https://github.com/TaceoLabs/co-snarks/commit/e3559a0a38a61b1de4b29ea9fa820066ed00ddc0))
* Replace a panic from the ultracircuitbuilder with an Error ([#217](https://github.com/TaceoLabs/co-snarks/issues/217)) ([5d9c870](https://github.com/TaceoLabs/co-snarks/commit/5d9c8703525e90ee3d9215006df527ad6a6ae777))
* skip creating unnecessary beta products ([118f2bf](https://github.com/TaceoLabs/co-snarks/commit/118f2bf30e97039e72138cf9bf2c63a1544e046a))
* Update UltraHonk to BB v0.62.0, required to replace zeromorph with shplemini ([#251](https://github.com/TaceoLabs/co-snarks/issues/251)) ([f35cdd4](https://github.com/TaceoLabs/co-snarks/commit/f35cdd490f8a3daa8bb44f6aa502f42147efb4b6))
* Upgrade UltraHonk to be compatible with Barretenberg v0.55.1 ([#211](https://github.com/TaceoLabs/co-snarks/issues/211)) ([f817d76](https://github.com/TaceoLabs/co-snarks/commit/f817d768760ffbbf6b58489562aed5327567c561))


### Bug Fixes

* Adapt co-noir binary to handle public noir inputs correctly ([#216](https://github.com/TaceoLabs/co-snarks/issues/216)) ([bed3996](https://github.com/TaceoLabs/co-snarks/commit/bed399621558ca5d2ee22e9bdaa42f14f66b74d9))
* clippy ([e43534a](https://github.com/TaceoLabs/co-snarks/commit/e43534aafefb4811bdf1f7fe1fa1493ab5c9152d))
* Fix reading ultrahonk proof ([f16ef68](https://github.com/TaceoLabs/co-snarks/commit/f16ef68663669f5406e1ef789fe8e3817fe27401))
* simplify path handling in co-noir binary ([26fae55](https://github.com/TaceoLabs/co-snarks/commit/26fae552badf72f8105ce0736e594d2398f1aca5))


### Code Refactoring

* Move builder to new co-builder crate ([3cd8955](https://github.com/TaceoLabs/co-snarks/commit/3cd89551d9fd58fad994942aa9a9660737db19b8))

## [0.4.0](https://github.com/TaceoLabs/co-snarks/compare/ultrahonk-v0.3.0...ultrahonk-v0.4.0) (2024-11-11)


Expand Down
2 changes: 1 addition & 1 deletion co-noir/ultrahonk/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "ultrahonk"
version = "0.4.0"
version = "0.5.0"
publish.workspace = true
authors.workspace = true
edition.workspace = true
Expand Down
10 changes: 5 additions & 5 deletions tests/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "tests"
version = "0.1.10"
version = "0.1.11"
edition = "2021"
publish = false
license = "GPL-3.0" # due to circom-mpc-compiler dep
Expand All @@ -14,16 +14,16 @@ ark-ff = { workspace = true }
ark-std = { workspace = true }
ark-serialize = { workspace = true }
bytes = { workspace = true }
circom-mpc-compiler = { version = "0.7.2", path = "../co-circom/circom-mpc-compiler" }
circom-mpc-compiler = { version = "0.7.3", path = "../co-circom/circom-mpc-compiler" }
circom-mpc-vm = { version = "0.5.0", path = "../co-circom/circom-mpc-vm" }
circom-types = { version = "0.6.0", path = "../co-circom/circom-types" }
co-acvm = { version = "0.4.0", path = "../co-noir/co-acvm" }
co-circom-snarks = { version = "0.2.0", path = "../co-circom/co-circom-snarks" }
co-groth16 = { version = "0.8.0", path = "../co-circom/co-groth16", features = [
co-groth16 = { version = "0.9.0", path = "../co-circom/co-groth16", features = [
"verifier",
] }
co-plonk = { version = "0.6.0", path = "../co-circom/co-plonk" }
co-ultrahonk = { version = "0.2.2", path = "../co-noir/co-ultrahonk" }
co-plonk = { version = "0.7.0", path = "../co-circom/co-plonk" }
co-ultrahonk = { version = "0.2.3", path = "../co-noir/co-ultrahonk" }
criterion = { workspace = true }
itertools = { workspace = true }
mpc-core = { version = "0.6.0", path = "../mpc-core" }
Expand Down

0 comments on commit e379805

Please sign in to comment.