co-brillig: v0.1.0

0.1.0 (2024-12-16)

⚠ BREAKING CHANGES

• !: Added functionality to traits of brillig/acvm
• Added docs for brillig. Also updated the trait to better match the functionallity
• Moved the brillig VM from lib to seperate module
• modified brillig driver trait
• added more impls to brillig trait
• modified traits for ACVM
• Moved MPC impl for NoirWitnessExtension to co-brillig. This is SubjectToChange!

Features

• !: first version of shared if by forking brillig (a25e4a5)
• Added co-brillig crate and first impl (94d5978)
• added more functionality for Brillig-VM, two tests working (b9778a0)
• first plain unconstrained fn working (56e1c80)
• get_bytes test works with plain driver (3f28bc5)
• implement many featuers for the co-brillig rep3 backend (#284) (11e0b03)
• predicate check for brillig, all tests working now (64b88ce)
• shamir impls (064ca06)
• some more opcodes and started bin int ops (e99d9a4)
• start bin_field_ops and add more test vectors (736a6bd)

Documentation

• Added docs for brillig. Also updated the trait to better match the functionallity (a2df63a)

Code Refactoring

• Moved the brillig VM from lib to seperate module (36f241b)

Dependencies

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