0xPolygonMiden / compiler

Compiler from MidenIR to Miden Assembly

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Native Miden VM `Felt`, `Word` types and ops

greenhat opened this issue · comments

To expose native Miden VM felts in Rust, implement a Felt(f64) type and
implement the following:

  • failable constructor from u64;
  • arithmetic ops recognizable in the compiler;

Felt an Word types will be re-mapped in WIT by #116