Generates a STARK proof from a State Machine written in PIL2 Language.
Licensed under either of
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.
This code has not yet been audited, and should not be used in any production systems.