llzk 0.4.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(%arg0: !felt.type {llzk.pub}) -> !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<[]>>, %arg1: !felt.type {llzk.pub}) attributes {function.allow_constraint, function.allow_non_native_field_ops} {
      function.return
    }
  }
}