Revamp the low level types from Variable/Bytes32 to a more strict and type-checkable set: Uint248, Uint521, Int248, Bytes32. Added type-specific API groups for each of these types.
Added nest-able collection types TupleN and List.
Refactor DataStream APIs to top-level functions to leverage Go's generics and making them type-safe. All newly added types are now supported in DataStream.
Input uniqueness is no longer mandatory. The user needs to call api.AssertInputsAreUnique() manually in app circuit to enforce the previous behavior.
Peripheral
Simplified Compilation process. Compiling now no longer requires a valid assignment of the app circuit, but it still requires app circuit's custom input to be initialized with the correct amount of default values.
Merged sdk.Compile and sdk.Setup into one function. It now auto saves the compilation outputs to disk.
Circuit APIs
Peripheral