co-acvm: 0.3.0

0.3.0 (2024-11-12)

⚠ BREAKING CHANGES

• Use ACVMType in co-builder
• co-noir now stores shared inputs in a different format (BTreeMap<String, Rep3AcvmType> instead of BTreeMap<String, Rep3PrimeFieldShare>)

Features

• squashed commit of co-noir (b132afc)

Bug Fixes

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

Code Refactoring

• Use ACVMType in co-builder (e078c22)

Dependencies

• The following workspace dependencies were updated
  • dependencies
    • mpc-core bumped from 0.5.0 to 0.6.0

circom-types: v0.6.0

0.6.0 (2024-11-12)

⚠ 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 (c2ac465)

circom-mpc-vm: v0.5.0

0.5.0 (2024-11-12)

⚠ BREAKING CHANGES

• MPC accelerator changed public API. Also now stores #output signals in component
• Also added name of cmp to Component Init instead of only symbol
• Witness extension VM trait no longer has binary share type.
• 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)
• added run_and_get_network to CircomRep3VmWitnessExtension, changed run and run_with_flat back to consume self (b362504)
• added stub for cmp accelerator (bc1525e)
• bit_inject_many (4155f57)
• Check that VM config is equal amongst parties (0623d7d)
• implement num2bits function (5db7532)
• num2bits accelerator working (13cdf10)
• rewrite that witness extension for circom to use forked networking and implements binary shares (4c7e9ff)

Bug Fixes

• use a2b selector everywhere (6c40fd6)

Code Refactoring

• removed binary shares from wtnx extension (1370a7a)

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-mpc-compiler: v0.7.0

0.7.0 (2024-11-12)

⚠ BREAKING CHANGES

• MPC accelerator changed public API. Also now stores #output signals in component
• Also added name of cmp to Component Init instead of only symbol
• 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)
• added stub for cmp accelerator (bc1525e)
• allow to set circom simplification level via CLI (b0d64ba)
• num2bits accelerator working (13cdf10)
• provide binary to inline circom sources (#232) (2f4722e)

Bug Fixes

• get the size from new SizeOption type (9417877)
• handle new AccessType type (bc519ba)
• map new circom type to our own type (95abe2e)
• pass field into circom parser (a8ed24e)

Code Refactoring

• input to compiler now takes PathBuf (9f36774)
• Small refactor to use API changes (639f438)
• update to circom 2.2.0 behavior (2b4dbc9)

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

co-noir: v0.2.0

0.2.0 (2024-10-04)

⚠ BREAKING CHANGES

• Add merging inputs to co-noir binary (#208)

Features

• Add merging inputs to co-noir binary (#208) (9365fdc)

Dependencies

• The following workspace dependencies were updated
  • dependencies
    • co-acvm bumped from 0.1.0 to 0.2.0

co-noir: v0.1.0

0.1.0 (2024-10-04)

Features

• Add co-noir binary (#201) (3163aec)
• Add Verifying key serialization and add verification to co-noir binary (#202) (3467425)

Bug Fixes

• simplify path handling in co-noir binary (26fae55)

co-acvm: v0.2.0

0.2.0 (2024-10-04)

⚠ BREAKING CHANGES

• Add merging inputs to co-noir binary (#208)

Features

• Add merging inputs to co-noir binary (#208) (9365fdc)

ultrahonk: v0.1.0

0.1.0 (2024-10-03)

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)
• skip creating unnecessary beta products (118f2bf)

Bug Fixes

• clippy (e43534a)
• Fix reading ultrahonk proof (f16ef68)
• simplify path handling in co-noir binary (26fae55)

mpc-core: v0.5.0

0.5.0 (2024-10-03)

⚠ BREAKING CHANGES

• 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 co-oink prover (#194) (b5fbd85)
• 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)
• started witness extension Noir (43e6535)

Code Refactoring

• removed acvm_impl. now uses old driver for ACVM (d37c5bb)

co-ultrahonk: v0.1.0

0.1.0 (2024-10-03)

Features

• Add co-noir binary (#201) (3163aec)
• Add co-oink prover (#194) (b5fbd85)
• Add co-zeromorph to co-ultrahonk (#195) (e7df56e)
• 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)
• skip creating unnecessary beta products (118f2bf)

Bug Fixes

• correct size in MSM for the debug assert (d3ac74e)

Dependencies

• The following workspace dependencies were updated
  • dependencies
    • mpc-core bumped from 0.4.0 to 0.5.0