From d6046f32e7c70706d4efae1b997aa7f95eb50166 Mon Sep 17 00:00:00 2001 From: taceo-bot Date: Wed, 6 Nov 2024 12:46:48 +0100 Subject: [PATCH] chore: release main --- .release-please-manifest.json | 30 ++++++------- co-circom/circom-mpc-compiler/CHANGELOG.md | 42 ++++++++++++++++++ co-circom/circom-mpc-compiler/Cargo.toml | 10 ++--- co-circom/circom-mpc-vm/CHANGELOG.md | 25 +++++++++++ co-circom/circom-mpc-vm/Cargo.toml | 8 ++-- co-circom/circom-types/CHANGELOG.md | 11 +++++ co-circom/circom-types/Cargo.toml | 2 +- co-circom/co-circom-snarks/CHANGELOG.md | 24 +++++++++++ co-circom/co-circom-snarks/Cargo.toml | 6 +-- co-circom/co-circom/CHANGELOG.md | 50 ++++++++++++++++++++++ co-circom/co-circom/Cargo.toml | 18 ++++---- co-circom/co-groth16/CHANGELOG.md | 33 ++++++++++++++ co-circom/co-groth16/Cargo.toml | 10 ++--- co-circom/co-plonk/CHANGELOG.md | 28 ++++++++++++ co-circom/co-plonk/Cargo.toml | 10 ++--- co-noir/co-acvm/CHANGELOG.md | 29 +++++++++++++ co-noir/co-acvm/Cargo.toml | 4 +- co-noir/co-builder/CHANGELOG.md | 28 ++++++++++++ co-noir/co-builder/Cargo.toml | 4 +- co-noir/co-noir/CHANGELOG.md | 45 +++++++++++++++++++ co-noir/co-noir/Cargo.toml | 10 ++--- co-noir/co-ultrahonk/CHANGELOG.md | 36 ++++++++++++++++ co-noir/co-ultrahonk/Cargo.toml | 8 ++-- co-noir/ultrahonk/CHANGELOG.md | 26 +++++++++++ co-noir/ultrahonk/Cargo.toml | 2 +- mpc-core/CHANGELOG.md | 46 ++++++++++++++++++++ mpc-core/Cargo.toml | 4 +- mpc-net/CHANGELOG.md | 20 +++++++++ mpc-net/Cargo.toml | 2 +- tests/Cargo.toml | 20 ++++----- 30 files changed, 517 insertions(+), 74 deletions(-) create mode 100644 co-noir/co-builder/CHANGELOG.md diff --git a/.release-please-manifest.json b/.release-please-manifest.json index 724321a1..47daf63e 100644 --- a/.release-please-manifest.json +++ b/.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" } diff --git a/co-circom/circom-mpc-compiler/CHANGELOG.md b/co-circom/circom-mpc-compiler/CHANGELOG.md index d37c7610..397b4a5f 100644 --- a/co-circom/circom-mpc-compiler/CHANGELOG.md +++ b/co-circom/circom-mpc-compiler/CHANGELOG.md @@ -7,6 +7,48 @@ * 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-06) + + +### ⚠ BREAKING CHANGES + +* 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)) +* allow to set circom simplification level via CLI ([b0d64ba](https://github.com/TaceoLabs/co-snarks/commit/b0d64ba683c1dbab67102d31f1e1ab80108fb7d9)) +* 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) diff --git a/co-circom/circom-mpc-compiler/Cargo.toml b/co-circom/circom-mpc-compiler/Cargo.toml index 7b100a85..5815bf29 100644 --- 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.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 = "8ef896c" } circom-parser = { version = "2.1.9", git = "https://github.com/TaceoLabs/circom", package = "parser", rev = "8ef896c" } circom-compiler = { version = "2.1.9", git = "https://github.com/TaceoLabs/circom", package = "compiler", rev = "8ef896c" } -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 = "8ef896c" } 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 diff --git a/co-circom/circom-mpc-vm/CHANGELOG.md b/co-circom/circom-mpc-vm/CHANGELOG.md index 19ab71b0..21cae4c5 100644 --- a/co-circom/circom-mpc-vm/CHANGELOG.md +++ b/co-circom/circom-mpc-vm/CHANGELOG.md @@ -10,6 +10,31 @@ * 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-06) + + +### ⚠ BREAKING CHANGES + +* 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)) +* Check that VM config is equal amongst parties ([0623d7d](https://github.com/TaceoLabs/co-snarks/commit/0623d7d716809969fa52fb18e995dd2bb2ee6543)) +* rewrite that witness extension for circom to use forked networking and implements binary shares ([4c7e9ff](https://github.com/TaceoLabs/co-snarks/commit/4c7e9ff09aaf533f54ac60222b7981c6000f1f1e)) + + +### 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) diff --git a/co-circom/circom-mpc-vm/Cargo.toml b/co-circom/circom-mpc-vm/Cargo.toml index 73fca860..8ad86671 100644 --- 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.4.2" +version = "0.5.0" edition.workspace = true rust-version.workspace = true authors.workspace = true @@ -16,10 +16,10 @@ 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 diff --git a/co-circom/circom-types/CHANGELOG.md b/co-circom/circom-types/CHANGELOG.md index bee3c9c9..275657a2 100644 --- a/co-circom/circom-types/CHANGELOG.md +++ b/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-06) + + +### ⚠ BREAKING CHANGES + +* the prover for Groth16/Plonk now expects an Arc. Cleaner than having multiple Arcs in ZKey + +### Code Refactoring + +* prove for circom now expect Arc<ZKey> ([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) diff --git a/co-circom/circom-types/Cargo.toml b/co-circom/circom-types/Cargo.toml index 5dea2cd0..02d50bb1 100644 --- a/co-circom/circom-types/Cargo.toml +++ b/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 diff --git a/co-circom/co-circom-snarks/CHANGELOG.md b/co-circom/co-circom-snarks/CHANGELOG.md index b84dc949..e66d02bb 100644 --- a/co-circom/co-circom-snarks/CHANGELOG.md +++ b/co-circom/co-circom-snarks/CHANGELOG.md @@ -9,6 +9,30 @@ * 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-06) + + +### ⚠ BREAKING CHANGES + +* refactor API because of changes in other crates + +### Features + +* 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) diff --git a/co-circom/co-circom-snarks/Cargo.toml b/co-circom/co-circom-snarks/Cargo.toml index 22e4db94..3a4e76f2 100644 --- 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.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 } diff --git a/co-circom/co-circom/CHANGELOG.md b/co-circom/co-circom/CHANGELOG.md index ac313356..1a9cc672 100644 --- a/co-circom/co-circom/CHANGELOG.md +++ b/co-circom/co-circom/CHANGELOG.md @@ -9,6 +9,56 @@ * 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-06) + + +### ⚠ BREAKING CHANGES + +* 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. 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 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)) + + +### 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 >= 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<ZKey> ([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) diff --git a/co-circom/co-circom/Cargo.toml b/co-circom/co-circom/Cargo.toml index 18cd5dc8..a073ddc6 100644 --- a/co-circom/co-circom/Cargo.toml +++ b/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 diff --git a/co-circom/co-groth16/CHANGELOG.md b/co-circom/co-groth16/CHANGELOG.md index c6eba26d..de1ac7ff 100644 --- a/co-circom/co-groth16/CHANGELOG.md +++ b/co-circom/co-groth16/CHANGELOG.md @@ -11,6 +11,39 @@ * co-circom-snarks bumped from 0.1.1 to 0.1.2 * mpc-core bumped from 0.4.0 to 0.5.0 +## [0.6.0](https://github.com/TaceoLabs/co-snarks/compare/co-groth16-v0.5.1...co-groth16-v0.6.0) (2024-11-06) + + +### ⚠ 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. 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<ZKey> ([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)) + + +### Dependencies + +* The following workspace dependencies were updated + * dependencies + * circom-types bumped from 0.5.0 to 0.6.0 + * 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.5.0](https://github.com/TaceoLabs/collaborative-circom/compare/co-groth16-v0.4.0...co-groth16-v0.5.0) (2024-08-21) diff --git a/co-circom/co-groth16/Cargo.toml b/co-circom/co-groth16/Cargo.toml index 80332453..bbcb4e73 100644 --- a/co-circom/co-groth16/Cargo.toml +++ b/co-circom/co-groth16/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "co-groth16" -version = "0.5.1" +version = "0.6.0" publish.workspace = true authors.workspace = true edition.workspace = true @@ -26,11 +26,11 @@ ark-groth16 = { version = "=0.4.0", default-features = false, features = [ ark-poly = { workspace = true } ark-relations = { workspace = true } ark-serialize = { workspace = true } -circom-types = { version = "0.5.0", path = "../circom-types" } -co-circom-snarks = { version = "0.1.2", path = "../co-circom-snarks" } +circom-types = { version = "0.6.0", path = "../circom-types" } +co-circom-snarks = { version = "0.2.0", path = "../co-circom-snarks" } eyre = { 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-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 index bdb7179c..9ea54c8b 100644 --- a/co-circom/co-plonk/CHANGELOG.md +++ b/co-circom/co-plonk/CHANGELOG.md @@ -5,6 +5,34 @@ * co-circom-snarks bumped from 0.1.1 to 0.1.2 * mpc-core bumped from 0.4.0 to 0.5.0 +## [0.4.0](https://github.com/TaceoLabs/co-snarks/compare/co-plonk-v0.3.1...co-plonk-v0.4.0) (2024-11-06) + + +### ⚠ BREAKING CHANGES + +* the prover for Groth16/Plonk now expects an Arc. 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<ZKey> ([c2ac465](https://github.com/TaceoLabs/co-snarks/commit/c2ac465ebf6f3a28b902d9f0489e3f57c0843d7f)) + + +### Dependencies + +* The following workspace dependencies were updated + * dependencies + * circom-types bumped from 0.5.0 to 0.6.0 + * co-circom-snarks bumped from 0.1.2 to 0.2.0 + * mpc-net bumped from 0.1.2 to 0.2.0 + * mpc-core bumped from 0.5.0 to 0.6.0 + ## [0.3.0](https://github.com/TaceoLabs/collaborative-circom/compare/co-plonk-v0.2.0...co-plonk-v0.3.0) (2024-08-21) diff --git a/co-circom/co-plonk/Cargo.toml b/co-circom/co-plonk/Cargo.toml index 22e94fb3..2a01ef01 100644 --- a/co-circom/co-plonk/Cargo.toml +++ b/co-circom/co-plonk/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "co-plonk" -version = "0.3.1" +version = "0.4.0" publish.workspace = true authors.workspace = true edition.workspace = true @@ -16,12 +16,12 @@ ark-ec = { workspace = true } ark-ff = { workspace = true } ark-poly = { workspace = true } ark-serialize = { workspace = true } -circom-types = { version = "0.5.0", path = "../circom-types" } -co-circom-snarks = { version = "0.1.2", path = "../co-circom-snarks" } +circom-types = { version = "0.6.0", path = "../circom-types" } +co-circom-snarks = { version = "0.2.0", path = "../co-circom-snarks" } eyre = { workspace = true } itertools = { workspace = true } -mpc-net = { version = "0.1.2", path = "../../mpc-net" } -mpc-core = { version = "0.5.0", path = "../../mpc-core" } +mpc-net = { version = "0.2.0", path = "../../mpc-net" } +mpc-core = { version = "0.6.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 index 632f689f..4871704d 100644 --- a/co-noir/co-acvm/CHANGELOG.md +++ b/co-noir/co-acvm/CHANGELOG.md @@ -1,5 +1,34 @@ # Changelog +## [0.3.0](https://github.com/TaceoLabs/co-snarks/compare/co-acvm-v0.2.0...co-acvm-v0.3.0) (2024-11-06) + + +### ⚠ BREAKING CHANGES + +* Use ACVMType in co-builder +* co-noir now stores shared inputs in a different format (`BTreeMap>` instead of `BTreeMap>`) + +### Features + +* squashed commit of co-noir ([b132afc](https://github.com/TaceoLabs/co-snarks/commit/b132afcadb96914cd85070f87d7aa03bf9f87bfd)) + + +### 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)) + + +### Code Refactoring + +* Use ACVMType in co-builder ([e078c22](https://github.com/TaceoLabs/co-snarks/commit/e078c22e4d19580b4a0531c0ac4232e7dd9f3bae)) + + +### Dependencies + +* The following workspace dependencies were updated + * dependencies + * mpc-core bumped from 0.5.0 to 0.6.0 + ## [0.2.0](https://github.com/TaceoLabs/collaborative-circom/compare/co-acvm-v0.1.0...co-acvm-v0.2.0) (2024-10-04) diff --git a/co-noir/co-acvm/Cargo.toml b/co-noir/co-acvm/Cargo.toml index 119f8c24..821a6089 100644 --- a/co-noir/co-acvm/Cargo.toml +++ b/co-noir/co-acvm/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "co-acvm" -version = "0.2.0" +version = "0.3.0" publish.workspace = true authors.workspace = true edition.workspace = true @@ -17,7 +17,7 @@ ark-ff.workspace = true eyre.workspace = true intmap.workspace = true itertools.workspace = true -mpc-core = { version = "0.5.0", path = "../../mpc-core" } +mpc-core = { version = "0.6.0", path = "../../mpc-core" } noirc-abi.workspace = true noirc-artifacts.workspace = true serde.workspace = true diff --git a/co-noir/co-builder/CHANGELOG.md b/co-noir/co-builder/CHANGELOG.md new file mode 100644 index 00000000..9e8373d1 --- /dev/null +++ b/co-noir/co-builder/CHANGELOG.md @@ -0,0 +1,28 @@ +# Changelog + +## [0.1.0](https://github.com/TaceoLabs/co-snarks/compare/co-builder-v0.0.1...co-builder-v0.1.0) (2024-11-06) + + +### ⚠ BREAKING CHANGES + +* Add more commands to co-noir binary to prepare for cases where +* Use ACVMType in co-builder +* Move builder to new co-builder crate + +### Features + +* Add more commands to co-noir binary to prepare for cases where ([268ebe9](https://github.com/TaceoLabs/co-snarks/commit/268ebe9f243146cc6ea251e6b8fdef28cc8ca035)) + + +### Code Refactoring + +* Move builder to new co-builder crate ([3cd8955](https://github.com/TaceoLabs/co-snarks/commit/3cd89551d9fd58fad994942aa9a9660737db19b8)) +* Use ACVMType in co-builder ([e078c22](https://github.com/TaceoLabs/co-snarks/commit/e078c22e4d19580b4a0531c0ac4232e7dd9f3bae)) + + +### Dependencies + +* The following workspace dependencies were updated + * dependencies + * co-acvm bumped from 0.2.0 to 0.3.0 + * mpc-core bumped from 0.5.0 to 0.6.0 diff --git a/co-noir/co-builder/Cargo.toml b/co-noir/co-builder/Cargo.toml index 5a94cd9f..abf87d48 100644 --- a/co-noir/co-builder/Cargo.toml +++ b/co-noir/co-builder/Cargo.toml @@ -16,8 +16,8 @@ ark-ec.workspace = true ark-ff.workspace = true ark-poly.workspace = true ark-serialize.workspace = true -co-acvm = { version = "0.2.0", path = "../co-acvm" } -mpc-core = { version = "0.5.0", path = "../../mpc-core" } +co-acvm = { version = "0.3.0", path = "../co-acvm" } +mpc-core = { version = "0.6.0", path = "../../mpc-core" } eyre.workspace = true itertools.workspace = true num-bigint.workspace = true diff --git a/co-noir/co-noir/CHANGELOG.md b/co-noir/co-noir/CHANGELOG.md index 31390294..b73d56ca 100644 --- a/co-noir/co-noir/CHANGELOG.md +++ b/co-noir/co-noir/CHANGELOG.md @@ -1,5 +1,50 @@ # Changelog +## [0.3.0](https://github.com/TaceoLabs/co-snarks/compare/co-noir-v0.2.0...co-noir-v0.3.0) (2024-11-06) + + +### ⚠ 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>` instead of `BTreeMap>`) +* 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 more commands to co-noir binary to prepare for cases where ([268ebe9](https://github.com/TaceoLabs/co-snarks/commit/268ebe9f243146cc6ea251e6b8fdef28cc8ca035)) +* 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)) + + +### 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-acvm bumped from 0.2.0 to 0.3.0 + * co-ultrahonk bumped from 0.1.0 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.2.0](https://github.com/TaceoLabs/collaborative-circom/compare/co-noir-v0.1.0...co-noir-v0.2.0) (2024-10-04) diff --git a/co-noir/co-noir/Cargo.toml b/co-noir/co-noir/Cargo.toml index a944b11a..2a268336 100644 --- a/co-noir/co-noir/Cargo.toml +++ b/co-noir/co-noir/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "co-noir" -version = "0.2.0" +version = "0.3.0" publish.workspace = true authors.workspace = true @@ -19,12 +19,12 @@ ark-ec.workspace = true ark-ff.workspace = true bincode.workspace = true clap.workspace = true -co-acvm = { version = "0.2.0", path = "../co-acvm" } -co-ultrahonk = { version = "0.1.0", path = "../co-ultrahonk" } +co-acvm = { version = "0.3.0", path = "../co-acvm" } +co-ultrahonk = { version = "0.2.0", path = "../co-ultrahonk" } 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" } noirc-abi.workspace = true rand.workspace = true rustls.workspace = true diff --git a/co-noir/co-ultrahonk/CHANGELOG.md b/co-noir/co-ultrahonk/CHANGELOG.md index 7dcc1389..f24d3144 100644 --- a/co-noir/co-ultrahonk/CHANGELOG.md +++ b/co-noir/co-ultrahonk/CHANGELOG.md @@ -1,5 +1,41 @@ # Changelog +## [0.2.0](https://github.com/TaceoLabs/co-snarks/compare/co-ultrahonk-v0.1.0...co-ultrahonk-v0.2.0) (2024-11-06) + + +### ⚠ BREAKING CHANGES + +* Add more commands to co-noir binary to prepare for cases where +* Use ACVMType in co-builder +* Move builder to new co-builder crate +* removed point G2 from ultra-honk prover +* The interface of the UltraCircuitVariable trait has change. Thus, also ProvingKey::create() throws an error now. +* 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 more commands to co-noir binary to prepare for cases where ([268ebe9](https://github.com/TaceoLabs/co-snarks/commit/268ebe9f243146cc6ea251e6b8fdef28cc8ca035)) +* 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)) + + +### Code Refactoring + +* Move builder to new co-builder crate ([3cd8955](https://github.com/TaceoLabs/co-snarks/commit/3cd89551d9fd58fad994942aa9a9660737db19b8)) +* removed point G2 from ultra-honk prover ([1840fb4](https://github.com/TaceoLabs/co-snarks/commit/1840fb4821c597b7ad2d2c0ae83217582b1b5ad5)) +* Use ACVMType in co-builder ([e078c22](https://github.com/TaceoLabs/co-snarks/commit/e078c22e4d19580b4a0531c0ac4232e7dd9f3bae)) + + +### Dependencies + +* The following workspace dependencies were updated + * dependencies + * co-acvm bumped from 0.2.0 to 0.3.0 + * mpc-core bumped from 0.5.0 to 0.6.0 + * ultrahonk bumped from 0.1.0 to 0.2.0 + ## [0.1.0](https://github.com/TaceoLabs/collaborative-circom/compare/co-ultrahonk-v0.0.1...co-ultrahonk-v0.1.0) (2024-10-03) diff --git a/co-noir/co-ultrahonk/Cargo.toml b/co-noir/co-ultrahonk/Cargo.toml index 3393477b..1e515e01 100644 --- a/co-noir/co-ultrahonk/Cargo.toml +++ b/co-noir/co-ultrahonk/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "co-ultrahonk" -version = "0.1.0" +version = "0.2.0" publish.workspace = true authors.workspace = true edition.workspace = true @@ -15,15 +15,15 @@ ark-ff.workspace = true ark-bn254.workspace = true ark-serialize.workspace = true ark-poly.workspace = true -co-acvm = { version = "0.2.0", path = "../co-acvm" } +co-acvm = { version = "0.3.0", path = "../co-acvm" } co-builder = { version = "0.1.0", path = "../co-builder" } eyre.workspace = true itertools.workspace = true -mpc-core = { version = "0.5.0", path = "../../mpc-core" } +mpc-core = { version = "0.6.0", path = "../../mpc-core" } num-bigint.workspace = true num-traits.workspace = true tracing.workspace = true -ultrahonk = { version = "0.1.0", path = "../ultrahonk" } +ultrahonk = { version = "0.2.0", path = "../ultrahonk" } rand.workspace = true rayon.workspace = true serde.workspace = true diff --git a/co-noir/ultrahonk/CHANGELOG.md b/co-noir/ultrahonk/CHANGELOG.md index fd657475..1866c157 100644 --- a/co-noir/ultrahonk/CHANGELOG.md +++ b/co-noir/ultrahonk/CHANGELOG.md @@ -1,5 +1,31 @@ # Changelog +## [0.2.0](https://github.com/TaceoLabs/co-snarks/compare/ultrahonk-v0.1.0...ultrahonk-v0.2.0) (2024-11-06) + + +### ⚠ 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>` instead of `BTreeMap>`) +* The produced proofs are now different due to new transcript handling in bb 0.55.1, and they are no longer backwards compatible. + +### Features + +* 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)) +* 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)) + + +### Code Refactoring + +* Move builder to new co-builder crate ([3cd8955](https://github.com/TaceoLabs/co-snarks/commit/3cd89551d9fd58fad994942aa9a9660737db19b8)) + ## [0.1.0](https://github.com/TaceoLabs/collaborative-circom/compare/ultrahonk-v0.0.1...ultrahonk-v0.1.0) (2024-10-03) diff --git a/co-noir/ultrahonk/Cargo.toml b/co-noir/ultrahonk/Cargo.toml index df664559..136d6d7a 100644 --- a/co-noir/ultrahonk/Cargo.toml +++ b/co-noir/ultrahonk/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "ultrahonk" -version = "0.1.0" +version = "0.2.0" publish.workspace = true authors.workspace = true edition.workspace = true diff --git a/mpc-core/CHANGELOG.md b/mpc-core/CHANGELOG.md index 7bb0e028..949a5c43 100644 --- a/mpc-core/CHANGELOG.md +++ b/mpc-core/CHANGELOG.md @@ -2,6 +2,52 @@ +## [0.6.0](https://github.com/TaceoLabs/co-snarks/compare/mpc-core-v0.5.0...mpc-core-v0.6.0) (2024-11-06) + + +### ⚠ BREAKING CHANGES + +* Use ACVMType in co-builder +* Creating a Rep3Witnessextension now requires an additional argument, the A2B strategy +* breaks all interfaces. Removed Rep3Protocol monster struct. Added IOContext and split rep3/shamir better. Removed duplicated code. Added naive LUT + +### Features + +* Add a garbled circuit based soritng algorithm ([#252](https://github.com/TaceoLabs/co-snarks/issues/252)) ([7d38334](https://github.com/TaceoLabs/co-snarks/commit/7d38334902129acf5707b790aa9a28430babe999)) +* add a selector for choosing a2b and b2a implementations and expose ([bf12246](https://github.com/TaceoLabs/co-snarks/commit/bf1224613599919fc90d1a23eecfbabc9ca1f037)) +* Add functionality to decompose a shared fieldelement with yao ([3d7a37d](https://github.com/TaceoLabs/co-snarks/commit/3d7a37d2d12edf671a6bd78d1d876155e38a90f8)) +* Add Rep3 compatible garbled circuit implementations and conversion methods for a2y, y2a, b2y, y2b, a2y2b, and b2y2a. ([#233](https://github.com/TaceoLabs/co-snarks/issues/233)) ([12c8713](https://github.com/TaceoLabs/co-snarks/commit/12c8713f88b30e04dd4ac2b7b9244ca28b749b56)) +* added conversions a<->b ([d1c806c](https://github.com/TaceoLabs/co-snarks/commit/d1c806c0d165569c16d11cc15fc9dbd4f908b807)) +* added new rep3 impl ([d9b8412](https://github.com/TaceoLabs/co-snarks/commit/d9b8412d794fe9596a3292f717f00e11f2bc08f2)) +* added plain prover shorthand function ([b365fcd](https://github.com/TaceoLabs/co-snarks/commit/b365fcd89390dad585933f39a2db32473081d060)) +* make yao the default for a2b ([b91e4ac](https://github.com/TaceoLabs/co-snarks/commit/b91e4ac9e854f2726bccf1064e91bdaaf93b143a)) +* optimize arithmetic::is_zero() to have less communication rounds ([dc4152c](https://github.com/TaceoLabs/co-snarks/commit/dc4152c774140392f22a5cc580ec22a69f5c1448)) +* Optimize shamir double randomnes generation using seeds ([#214](https://github.com/TaceoLabs/co-snarks/issues/214)) ([f6ad386](https://github.com/TaceoLabs/co-snarks/commit/f6ad3863affb42754ae56935102d19af63a068b7)) +* prepare functions for compressed rep3 sharing ([55bef10](https://github.com/TaceoLabs/co-snarks/commit/55bef10313378e8ca14f2f22f312c84462a92a7e)) +* rewrite all mpc related functions ([ed8fcb7](https://github.com/TaceoLabs/co-snarks/commit/ed8fcb73aca24ee2dfda2770ef0512eba8695650)) +* unify the 3-party and n-party shamir double-randomness generation case ([b4d4141](https://github.com/TaceoLabs/co-snarks/commit/b4d41411de001fb84ea953ea20360ebd36edb1cc)) +* 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)) + + +### Bug Fixes + +* add gracefull shutdown ensure all data received from the quinn stack ([a9cbcbf](https://github.com/TaceoLabs/co-snarks/commit/a9cbcbf8a5fa00f01c94cd80eae45cbf7f65390f)) +* change shamir preprocessing time log to float ([#249](https://github.com/TaceoLabs/co-snarks/issues/249)) ([c4c6a73](https://github.com/TaceoLabs/co-snarks/commit/c4c6a73d44eee62d37a196fa553ab795295ccc9b)) +* fix a bug in y2b, send the correct values around ([564d498](https://github.com/TaceoLabs/co-snarks/commit/564d4984f421e1f15d65fa9ca96627e127479d91)) +* fixed read task breaking too early, caused error during proof gen ([6a8e829](https://github.com/TaceoLabs/co-snarks/commit/6a8e82913b88414ee05a7159fbd390a32db70b9d)) + + +### Code Refactoring + +* Use ACVMType in co-builder ([e078c22](https://github.com/TaceoLabs/co-snarks/commit/e078c22e4d19580b4a0531c0ac4232e7dd9f3bae)) + + +### Dependencies + +* The following workspace dependencies were updated + * dependencies + * mpc-net bumped from 0.1.2 to 0.2.0 + ## [0.5.0](https://github.com/TaceoLabs/collaborative-circom/compare/mpc-core-v0.4.0...mpc-core-v0.5.0) (2024-10-03) diff --git a/mpc-core/Cargo.toml b/mpc-core/Cargo.toml index e192b121..4481032e 100644 --- a/mpc-core/Cargo.toml +++ b/mpc-core/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "mpc-core" -version = "0.5.0" +version = "0.6.0" publish.workspace = true authors.workspace = true edition.workspace = true @@ -23,7 +23,7 @@ bytes = { workspace = true } eyre = { workspace = true } fancy-garbling = { git = "https://github.com/GaloisInc/swanky", rev = "5ff648457218b74da9d8323b7ca47166ff5be4b3" } itertools = { workspace = true } -mpc-net = { version = "0.1.2", path = "../mpc-net" } +mpc-net = { version = "0.2.0", path = "../mpc-net" } num-bigint = { workspace = true } num-traits = { workspace = true } rand = { workspace = true } diff --git a/mpc-net/CHANGELOG.md b/mpc-net/CHANGELOG.md index 82213fab..ae0724db 100644 --- a/mpc-net/CHANGELOG.md +++ b/mpc-net/CHANGELOG.md @@ -1,5 +1,25 @@ # Changelog +## [0.2.0](https://github.com/TaceoLabs/co-snarks/compare/mpc-net-v0.1.2...mpc-net-v0.2.0) (2024-11-06) + + +### ⚠ BREAKING CHANGES + +* MpcNetworkHandler::establish now takes the config with already read certs and key. +* Refactor to better handle new networking with forks + +### Bug Fixes + +* add gracefull shutdown ensure all data received from the quinn stack ([a9cbcbf](https://github.com/TaceoLabs/co-snarks/commit/a9cbcbf8a5fa00f01c94cd80eae45cbf7f65390f)) +* fixed read task breaking too early, caused error during proof gen ([6a8e829](https://github.com/TaceoLabs/co-snarks/commit/6a8e82913b88414ee05a7159fbd390a32db70b9d)) +* 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 + +* Refactor to better handle new networking with forks ([ce8fef9](https://github.com/TaceoLabs/co-snarks/commit/ce8fef922327db1e0d87b0546dd089100edf643f)) +* split network config into two types ([dca1756](https://github.com/TaceoLabs/co-snarks/commit/dca175603a5d6a2f75ccd987cb0b19cc3d965b00)) + ## [0.1.2](https://github.com/TaceoLabs/collaborative-circom/compare/mpc-net-v0.1.1...mpc-net-v0.1.2) (2024-07-10) diff --git a/mpc-net/Cargo.toml b/mpc-net/Cargo.toml index 8035dd53..15bc6b08 100644 --- a/mpc-net/Cargo.toml +++ b/mpc-net/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "mpc-net" -version = "0.1.2" +version = "0.2.0" exclude = ["data"] publish.workspace = true authors.workspace = true diff --git a/tests/Cargo.toml b/tests/Cargo.toml index 09e42f32..888db605 100644 --- a/tests/Cargo.toml +++ b/tests/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "tests" -version = "0.1.7" +version = "0.1.8" edition = "2021" publish = false license = "GPL-3.0" # due to circom-mpc-compiler dep @@ -14,19 +14,19 @@ ark-ff = { workspace = true } ark-std = { workspace = true } ark-serialize = { workspace = true } bytes = { workspace = true } -circom-mpc-compiler = { version = "0.6.1", path = "../co-circom/circom-mpc-compiler" } -circom-mpc-vm = { version = "0.4.2", path = "../co-circom/circom-mpc-vm" } -circom-types = { version = "0.5.0", path = "../co-circom/circom-types" } -co-acvm = { version = "0.2.0", path = "../co-noir/co-acvm" } -co-circom-snarks = { version = "0.1.2", path = "../co-circom/co-circom-snarks" } -co-groth16 = { version = "0.5.1", path = "../co-circom/co-groth16", features = [ +circom-mpc-compiler = { version = "0.7.0", 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.3.0", path = "../co-noir/co-acvm" } +co-circom-snarks = { version = "0.2.0", path = "../co-circom/co-circom-snarks" } +co-groth16 = { version = "0.6.0", path = "../co-circom/co-groth16", features = [ "verifier", ] } -co-plonk = { version = "0.3.1", path = "../co-circom/co-plonk" } -co-ultrahonk = { version = "0.1.0", path = "../co-noir/co-ultrahonk" } +co-plonk = { version = "0.4.0", path = "../co-circom/co-plonk" } +co-ultrahonk = { version = "0.2.0", path = "../co-noir/co-ultrahonk" } criterion = { workspace = true } itertools = { workspace = true } -mpc-core = { version = "0.5.0", path = "../mpc-core" } +mpc-core = { version = "0.6.0", path = "../mpc-core" } noirc-artifacts = { workspace = true } rand = { workspace = true } serde_json = { workspace = true }