https://github.com/m-kus/cpu_air_prover2
Drop-in replacement for cpu_air_prover for testing purposes
https://github.com/m-kus/cpu_air_prover2
cairo stone stwo
Last synced: 2 months ago
JSON representation
Drop-in replacement for cpu_air_prover for testing purposes
- Host: GitHub
- URL: https://github.com/m-kus/cpu_air_prover2
- Owner: m-kus
- License: mit
- Created: 2024-12-31T12:16:51.000Z (over 1 year ago)
- Default Branch: master
- Last Pushed: 2024-12-31T15:49:01.000Z (over 1 year ago)
- Last Synced: 2024-12-31T16:22:40.979Z (over 1 year ago)
- Topics: cairo, stone, stwo
- Language: Rust
- Homepage:
- Size: 2.54 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# CPU AIR Prover II
> [!WARNING]
> Use [`adapted_stwo`](https://github.com/starkware-libs/stwo-cairo/blob/main/stwo_cairo_prover/crates/adapted_prover) instead
>
> ```sh
> cargo install --git https://github.com/starkware-libs/stwo-cairo adapted_stwo
> ```
Stone compatible CLI for Stwo.
Just replace `cpu_air_prover` with `cpu_air_prover2` to do quick proving time benchmarks Stwo vs Stone.
## Install
Make sure you have the recent Rust nightly toolchain installed.
```sh
cargo install --git https://github.com/m-kus/cpu_air_prover2 cpu_air_prover2
```
> [!NOTE]
> This fork can work slower for small inputs because of the extra preprocessed columns.
> If you want to check againts the untampered version, use an earlier revision:
> `cargo install --git https://github.com/m-kus/cpu_air_prover2 --rev 1cfa34a11aacf6e23ff6b01d3bbdea170086950c`
## Use
See https://stone-packaging.pages.dev/usage/proving
> [!NOTE]
> Stwo might not yet support all the builtins your program uses.
> The outputs are not compatible.
## Test
Clone this repo and run `make test`