llzk 0.5.0

Rust bindings to the LLZK C API.
1
2
3
4
5
6
7
8
9
10
11

module attributes { llzk.lang } {
  struct.def @empty {
    function.def @compute() -> !struct.type<@empty<[]>> attributes {function.allow_non_native_field_ops, function.allow_witness} {
      %self = struct.new : <@empty<[]>>
      function.return %self : !struct.type<@empty<[]>>
    }
    function.def @constrain(%arg0: !struct.type<@empty<[]>>) attributes {function.allow_constraint, function.allow_non_native_field_ops} {
      function.return
    }
  }
}