v2.5.0-0.12.0

support gnark 12

v2.5.0-0.8.0

• Changes the generated references to the Vector datatype to be compatible with new versions of Mathlib.

v2.4.0-0.8.0

New Features

• support for nested structs in circuit and gadget definitions

v2.2.0

What's Changed

• feat: gates version in header of Lean circuit in #44

v2.1.0

What's Changed

• chore: removed abstractor.API and Concretizer in #41

Breaking changes

• AbsDefine(api abstractor.API) -> Define(api frontend.API)

v2.0.0

What's Changed

• feat: added support for dynamic namespace in #36
• feat: added support for gadgets which return void in #38
• feat: added support for extraction of multiple gadgets/circuits in the same file in #38
• feat: implemented frontend.Compiler interface for CodeExtractor and implemented functions Field() and FieldBitLen() in #38
• feat: the extractor checks if it's possible to pass the whole vector instead of reconstructing it (i.e. gate_0 instead of vec![gate_0[0], gate_0[1]]) in #38
• feat: added support for gadgets returning n-dimension frontend.Variable slices in #38
• feat: added better error handling, catching a panic and returning an error in #38
• feat: added support for nested slices in gadget initialisation (achieved through function flattenSlice) in #38
• fix: nil input variables initialised to 0 in #38
• fix: function cloneGadget wouldn't deep copy nested slices in #38
• chore: new tests and automatic validation of go test output in #38
• chore: refactoring of code internal structure in #38
• fix: ToBinary and nested Slices in #34

Breaking changes

• Call(gadget GadgetDefinition) []frontend.Variable -> Call(gadget GadgetDefinition) interface{}
• DefineGadget(api API) []frontend.Variable -> DefineGadget(api API) interface{}

v1.1.0

What's Changed

• feat: added abstractor.CallGadget in #29
• fix: Concretizer.Call loop in #31
• feat: added support for gadget only extractor in #33

v1.0.0

What's Changed

• feat: implemented gates and single entry point in #7
• feat: improved Gadget API in #9
• feat: Added dynamic curve order in exported circuit in #16
• feat: Dynamic circuit namespace in #17
• feat: Removing definegadget in #18
• fix: Fixed import Vector header in #19
• feat: Added readme in #22