/pumice

An API compatible port of the Stone prover.

Primary LanguageRustOtherNOASSERTION

Pumice

Pumice is a work-in-progress, portable, pure-rust, reimplementation of the Starkware stone-prover.

Contributions

Please adhere to Conventional Commits