Max Gillett

The documentation for `mtree_set` currently states that the Merkle tree with the old root is removed from the advice set map in the advice provider, but not that the new...

When generating combined assembly module file `asm.rs`, a backlash within commented code in a `.masm` file produces an unknown character escape error and causes the build process to fail. This...

Implement stdlib smt module for Word key/values

1

Partially addresses issue https://github.com/maticnetwork/miden/issues/258 by introducing the procedures `smt::get`, `smt::update` and `smt::insert` in a new `smt` standard library module. These procedures allow manipulation of compacted sparse Merkle trees with Word-sized...

support for building on Apple

1

Minimal changes necessary to support Rust FFI bindings on macOS (see https://github.com/xJonathanLEI/starkware-crypto-rs/issues/1)

Support multiple Rust runners

3

The current runner is based on an implementation by O(1) labs, and in particular is lacking Python hint support. It would be nice to integrate Cleopatra and/or Oriac (two other...

For example, some structs lacking in documentation include the following: https://github.com/maxgillett/giza/blob/934d4f421764173080ca0c3078b53b98ae895c7c/air/src/frame.rs#L76 https://github.com/maxgillett/giza/blob/934d4f421764173080ca0c3078b53b98ae895c7c/air/src/frame.rs#L278

Implement Bitwise builtin constraints

1

The bitwise constraints are not implemented at all, and not documented for the Cairo VM. It might be possible to adapt the bitwise constraints that are documented for Miden (https://maticnetwork.github.io/miden/design/aux_table/bitwise.html).

RC constraints are currently implemented in Giza, but they're only enforcing that the instruction offsets of the Cairo VM are within $[0,2^{16}]$. These RC constraints will also need to be...