chore: release main

[taceo-bot]

🤖 I have created a release beep boop

circom-mpc-compiler: 0.7.1

Dependencies

• The following workspace dependencies were updated
  • dev-dependencies
    • co-groth16 bumped from 0.6.0 to 0.7.0

co-acvm: 0.4.0

0.4.0 (2024-11-11)

⚠ BREAKING CHANGES

• Use ACVMType in co-builder
• co-noir now stores shared inputs in a different format (BTreeMap<String, Rep3AcvmType<ark_bn254::Fr>> instead of BTreeMap<String, Rep3PrimeFieldShare<ark_bn254::Fr>>)
• Add merging inputs to co-noir binary (#208)
• removed acvm_impl. now uses old driver for ACVM
• added mpc-core trait for Acvm witness extension. Therfore, we changed trait bounds for Rep3Protocol

Features

• Add co-noir binary (#201) (3163aec)
• Add merging inputs to co-noir binary (#208) (9365fdc)
• added LUT provider stub and plain impl for MemOps (3d2377f)
• added predicate handling in memory op (220414f)
• added rep3 implementation for AssertZeroOpCode (8e51505)
• added sanity checks for memopcodes (6914611)
• added trivial LUT impl for Rep3. Also modified some code in MPC-core (bcb4749)
• Make builder generic for both shares and plain, add shared proving key and start with MPC prover (#193) (e3559a0)
• noir witness extension works for our poseidon impl (92800d3)
• squashed commit of co-noir (b132afc)
• started witness extension Noir (43e6535)

Bug Fixes

• Adapt co-noir binary to handle public noir inputs correctly (#216) (bed3996)

Code Refactoring

• removed acvm_impl. now uses old driver for ACVM (d37c5bb)
• Use ACVMType in co-builder (e078c22)

co-builder: 0.1.1

Dependencies

• The following workspace dependencies were updated
  • dependencies
    • co-acvm bumped from 0.3.0 to 0.4.0

co-circom: 0.7.0

0.7.0 (2024-11-11)

⚠ BREAKING CHANGES

• serialization format of shared inputs has changed to allow for optional values used to indicate missing elements of an array
• MPC accelerator changed public API. Also now stores #output signals in component
• input to compiler now takes PathBuf
• run and run_with_flat methods on WitnessExtension now consume self again
• MpcNetworkHandler::establish now takes the config with already read certs and key.
• Removes the zkey in the said function signature. We needed it earlier because we had to know domain size, which we now no longer need.
• the prover for Groth16/Plonk now expects an Arc. Cleaner than having multiple Arcs in ZKey
• The serialized format of shares is now different.
• Refactor calls to other crates because of API changes

Features

• add support for merging input arrays (#260) (2c72231)
• Add the possibility to share co-circom inputs and witness in compressed form (c3443e1)
• added run_and_get_network to CircomRep3VmWitnessExtension, changed run and run_with_flat back to consume self (b362504)
• allow to set circom simplification level via CLI (b0d64ba)
• can now parse bool inputs (#236) (d0147b6)
• num2bits accelerator working (13cdf10)

Bug Fixes

• fixed path in zkey benches (#231) (99ab2de)
• handle inputs that are >= mod in the same way as snarkjs (76f701b)
• install rustls default crypto provider in our main binaries & examples (#238) (78757e4)

Code Refactoring

• input to compiler now takes PathBuf (9f36774)
• prove for circom now expect Arc<ZKey> (c2ac465)
• Refactor calls to other crates because of API changes (6ed7c1a)
• split network config into two types (dca1756)
• with_network_config for ShamirGroth16 doesn't need zkey anymore (2052d89)

Dependencies

• The following workspace dependencies were updated
  • dependencies
    • circom-mpc-compiler bumped from 0.7.0 to 0.7.1
    • co-groth16 bumped from 0.6.0 to 0.7.0
    • co-plonk bumped from 0.4.0 to 0.5.0

co-groth16: 0.7.0

0.7.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. 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)
• prepare functions for compressed rep3 sharing (55bef10)
• refactors all according to MPC-core + Rayon (44a5d2d)

Code Refactoring

• make pointshare in Groth16 MPC trait generic over the curve (dc5acd2)
• prove for circom now expect Arc<ZKey> (c2ac465)
• with_network_config for ShamirGroth16 doesn't need zkey anymore (2052d89)

co-noir: 0.4.0

0.4.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)

Features

• Add co-noir binary (#201) (3163aec)
• Add merging inputs to co-noir binary (#208) (9365fdc)
• Add more commands to co-noir binary to prepare for cases where (268ebe9)
• Add Verifying key serialization and add verification to co-noir binary (#202) (3467425)
• Do not use the builder in co-noir split witness (d304986)
• Replace a panic from the ultracircuitbuilder with an Error (#217) (5d9c870)
• squashed commit of co-noir (b132afc)
• Update UltraHonk to BB v0.62.0, required to replace zeromorph with shplemini (#251) (f35cdd4)
• Upgrade UltraHonk to be compatible with Barretenberg v0.55.1 (#211) (f817d76)

Bug Fixes

• Adapt co-noir binary to handle public noir inputs correctly (#216) (bed3996)
• install rustls default crypto provider in our main binaries & examples (#238) (78757e4)
• simplify path handling in co-noir binary (26fae55)

Code Refactoring

• co-noir adapted to ACVMType instead of sharedbuildervariable (e6518a7)
• split network config into two types (dca1756)
• Use ACVMType in co-builder (e078c22)

Dependencies

• The following workspace dependencies were updated
  • dependencies
    • co-acvm bumped from 0.3.0 to 0.4.0
    • co-ultrahonk bumped from 0.2.0 to 0.2.1

co-plonk: 0.5.0

0.5.0 (2024-11-11)

⚠ 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)
• refactor to use new mpc-core (43da344)

Code Refactoring

• prove for circom now expect Arc<ZKey> (c2ac465)

co-ultrahonk: 0.2.1

Dependencies

• The following workspace dependencies were updated
  • dependencies
    • co-acvm bumped from 0.3.0 to 0.4.0
    • co-builder bumped from 0.1.0 to 0.1.1
    • ultrahonk bumped from 0.2.0 to 0.3.0

tests: 0.1.9

Dependencies

• The following workspace dependencies were updated
  • dependencies
    • circom-mpc-compiler bumped from 0.7.0 to 0.7.1
    • co-acvm bumped from 0.3.0 to 0.4.0
    • co-groth16 bumped from 0.6.0 to 0.7.0
    • co-plonk bumped from 0.4.0 to 0.5.0
    • co-ultrahonk bumped from 0.2.0 to 0.2.1

ultrahonk: 0.3.0

0.3.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)
• Add co-noir binary (#201) (3163aec)
• Add co-oink prover (#194) (b5fbd85)
• Add co-zeromorph to co-ultrahonk (#195) (e7df56e)
• Add first version of a (untested) UltraHonk prover (9f2911f)
• Add MPC tests for co-ultrahonk (#199) (5a36ad5)
• Add sumcheck prover (without relations) (be44986)
• Add the sumcheck relations to the co-ultrahonk prover (#198) (846c4f0)
• Add Ultrahonk verifier (5c5b5d8)
• Add Verifying key serialization and add verification to co-noir binary (#202) (3467425)
• Make builder generic for both shares and plain, add shared proving key and start with MPC prover (#193) (e3559a0)
• Replace a panic from the ultracircuitbuilder with an Error (#217) (5d9c870)
• skip creating unnecessary beta products (118f2bf)
• Update UltraHonk to BB v0.62.0, required to replace zeromorph with shplemini (#251) (f35cdd4)
• Upgrade UltraHonk to be compatible with Barretenberg v0.55.1 (#211) (f817d76)

Bug Fixes

• Adapt co-noir binary to handle public noir inputs correctly (#216) (bed3996)
• clippy (e43534a)
• Fix reading ultrahonk proof (f16ef68)
• simplify path handling in co-noir binary (26fae55)

Code Refactoring

• Move builder to new co-builder crate (3cd8955)

Dependencies

• The following workspace dependencies were updated
  • dependencies
    • co-builder bumped from 0.1.0 to 0.1.1

---

This PR was generated with Release Please. See documentation.

[taceo-bot]

🤖 Created releases:

• circom-mpc-compiler-v0.7.1
• co-acvm-v0.4.0
• co-builder-v0.1.1
• co-ultrahonk-v0.2.1
  🌻