search

TaceoLabs / co-snarks

Tooling for creating collaborative SNARKs for Circom circuits.
https://docs.taceo.io
Apache License 2.0
91 stars 8 forks source link

chore: release main #215

Open taceo-bot opened 2 weeks ago

taceo-bot commented 2 weeks ago

:robot: I have created a release beep boop

circom-mpc-compiler: 0.7.0 ## [0.7.0](https://github.com/TaceoLabs/co-snarks/compare/circom-mpc-compiler-v0.6.1...circom-mpc-compiler-v0.7.0) (2024-10-30) ### ⚠ BREAKING CHANGES * 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)) ### Code Refactoring * Small refactor to use API changes ([639f438](https://github.com/TaceoLabs/co-snarks/commit/639f438adc9480e1b6c0e2d1f068ed82adee3cf1)) ### 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
circom-mpc-vm: 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-10-30) ### ⚠ 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
circom-types: 0.6.0 ## [0.6.0](https://github.com/TaceoLabs/co-snarks/compare/circom-types-v0.5.0...circom-types-v0.6.0) (2024-10-30) ### ⚠ 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))
co-acvm: 0.3.0 ## [0.3.0](https://github.com/TaceoLabs/co-snarks/compare/co-acvm-v0.2.0...co-acvm-v0.3.0) (2024-10-30) ### ⚠ BREAKING CHANGES * 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)) ### Dependencies * The following workspace dependencies were updated * dependencies * mpc-core bumped from 0.5.0 to 0.6.0
co-circom: 0.6.0 ## [0.6.0](https://github.com/TaceoLabs/co-snarks/compare/co-circom-v0.5.1...co-circom-v0.6.0) (2024-10-30) ### ⚠ BREAKING CHANGES * 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)) * 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 * 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
co-circom-snarks: 0.2.0 ## [0.2.0](https://github.com/TaceoLabs/co-snarks/compare/co-circom-snarks-v0.1.2...co-circom-snarks-v0.2.0) (2024-10-30) ### ⚠ 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
co-groth16: 0.6.0 ## [0.6.0](https://github.com/TaceoLabs/co-snarks/compare/co-groth16-v0.5.1...co-groth16-v0.6.0) (2024-10-30) ### ⚠ 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
co-noir: 0.3.0 ## [0.3.0](https://github.com/TaceoLabs/co-snarks/compare/co-noir-v0.2.0...co-noir-v0.3.0) (2024-10-30) ### ⚠ BREAKING CHANGES * 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 * 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)) * 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 * split network config into two types ([dca1756](https://github.com/TaceoLabs/co-snarks/commit/dca175603a5d6a2f75ccd987cb0b19cc3d965b00)) ### 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
co-plonk: 0.4.0 ## [0.4.0](https://github.com/TaceoLabs/co-snarks/compare/co-plonk-v0.3.1...co-plonk-v0.4.0) (2024-10-30) ### ⚠ 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
co-ultrahonk: 0.2.0 ## [0.2.0](https://github.com/TaceoLabs/co-snarks/compare/co-ultrahonk-v0.1.0...co-ultrahonk-v0.2.0) (2024-10-30) ### ⚠ BREAKING CHANGES * 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 * 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)) * 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 * removed point G2 from ultra-honk prover ([1840fb4](https://github.com/TaceoLabs/co-snarks/commit/1840fb4821c597b7ad2d2c0ae83217582b1b5ad5)) ### Dependencies * The following workspace dependencies were updated * dependencies * mpc-core bumped from 0.5.0 to 0.6.0 * ultrahonk bumped from 0.1.0 to 0.2.0
mpc-core: 0.6.0 ## [0.6.0](https://github.com/TaceoLabs/co-snarks/compare/mpc-core-v0.5.0...mpc-core-v0.6.0) (2024-10-30) ### ⚠ BREAKING CHANGES * 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 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)) ### 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)) ### Dependencies * The following workspace dependencies were updated * dependencies * mpc-net bumped from 0.1.2 to 0.2.0
mpc-net: 0.2.0 ## [0.2.0](https://github.com/TaceoLabs/co-snarks/compare/mpc-net-v0.1.2...mpc-net-v0.2.0) (2024-10-30) ### ⚠ 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))
tests: 0.1.8 ### 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-acvm bumped from 0.2.0 to 0.3.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 * co-ultrahonk bumped from 0.1.0 to 0.2.0 * mpc-core bumped from 0.5.0 to 0.6.0
ultrahonk: 0.2.0 ## [0.2.0](https://github.com/TaceoLabs/co-snarks/compare/ultrahonk-v0.1.0...ultrahonk-v0.2.0) (2024-10-30) ### ⚠ BREAKING CHANGES * 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)) * 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))

This PR was generated with Release Please. See documentation.