Currently protokit limits o1js types to be of FlexibleProvablePure, covering 99% of all use-cases.
But some advances users might want to use non-pure provable types as well (like all usages of Unconstrained<>) for example.
For this, we'd need to change most serializations to have not only a Field[], but additional auxiliary data as well.
Currently protokit limits o1js types to be of
FlexibleProvablePure, covering 99% of all use-cases. But some advances users might want to use non-pure provable types as well (like all usages of Unconstrained<>) for example.For this, we'd need to change most serializations to have not only a
Field[], but additional auxiliary data as well.