Add README for cairo verifier

[andrewmilson]

This change is 

[andrewmilson]

• Implement batch_inverse on M31,CM31 #137 : 2 dependent PRs (#138 , #162 )
• Optimize Coset::at #135
• Refactor FriVerifier::decommit_inner_layers #134
• Add README for cairo verifier #153 👈 (View in Graphite)
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[ilyalesokhin-starkware]

stwo_cairo_verifier/README.md line 7 at r1 (raw file):

## Running tests

[Install asdf](https://asdf-vm.com/guide/getting-started.html#_3-install-asdf).

install scarb?

[ilyalesokhin-starkware]

stwo_cairo_verifier/README.md line 15 at r1 (raw file):

## Visualising test step counts.

Modify [`Scarb.toml`](./Scarb.toml) to use [Starknet Foundary](https://github.com/foundry-rs/starknet-foundry).

install?

Code quote:

Modify [`Scarb.toml`](./Scarb.toml) to use [Starknet Foundary](https://github.com/foundry-rs/starknet-foundry).

[andrewmilson]

Reviewable status: 0 of 1 files reviewed, 2 unresolved discussions (waiting on @ilyalesokhin-starkware and @shaharsamocha7)

---

stwo_cairo_verifier/README.md line 7 at r1 (raw file):

Previously, ilyalesokhin-starkware wrote…

install scarb?

Done.

---

stwo_cairo_verifier/README.md line 15 at r1 (raw file):

Previously, ilyalesokhin-starkware wrote…

install?

Should be handled by the asdf install command.
It installs everything in .tool-versions

[ilyalesokhin-starkware]

stwo_cairo_verifier/README.md line 15 at r1 (raw file):

Previously, andrewmilson (Andrew Milson) wrote…

Should be handled by the asdf install command.
It installs everything in .tool-versions

You need to do it from the stwo_cairo_verifier folder right?

[ilyalesokhin-starkware]

stwo_cairo_verifier/README.md line 15 at r1 (raw file):

Previously, ilyalesokhin-starkware wrote…

You need to do it from the stwo_cairo_verifier folder right?

I get:
ilya@ilya-ThinkPad-T14-Gen-2i:~/workspaces/stwo-cairo/stwo_cairo_verifier$ asdf install
scarb plugin is not installed
starknet-foundry plugin is not installed

[ilyalesokhin-starkware]

stwo_cairo_verifier/README.md line 15 at r1 (raw file):

Previously, ilyalesokhin-starkware wrote…

I get:
ilya@ilya-ThinkPad-T14-Gen-2i:~/workspaces/stwo-cairo/stwo_cairo_verifier$ asdf install
scarb plugin is not installed
starknet-foundry plugin is not installed

I seems that I need to do:
asdf plugin add scarb
asdf plugin add starknet-foundry

[ilyalesokhin-starkware]

stwo_cairo_verifier/README.md line 33 at r3 (raw file):

```bash
scarb test -- --save-trace-data

ilya@ilya-ThinkPad-T14-Gen-2i:~/workspaces/stwo-cairo/stwo_cairo_verifier$ scarb test -- --save-trace-data
Running test stwo_cairo_verifier (snforge test --max-n-steps 100000000)
Compiling snforge_scarb_plugin v0.32.0 (git+https://github.com/foundry-rs/starknet-foundry?tag=v0.32.0#3817c903b640201c72e743b9bbe70a97149828a2)
error: package lalrpop-util v0.20.2 cannot be built because it requires rustc 1.70 or newer, while the currently active rustc version is 1.67.0
Either upgrade to rustc 1.70 or newer, or use
cargo update -p [email protected] --precise ver
where ver is the latest version of lalrpop-util supporting rustc 1.67.0

Code quote:

scarb test -- --save-trace-data

[andrewmilson]

Reviewable status: 0 of 6 files reviewed, 3 unresolved discussions (waiting on @ilyalesokhin-starkware and @shaharsamocha7)

---

stwo_cairo_verifier/README.md line 15 at r1 (raw file):

Previously, ilyalesokhin-starkware wrote…

I seems that I need to do:
asdf plugin add scarb
asdf plugin add starknet-foundry

Done. Thanks.

---

stwo_cairo_verifier/README.md line 33 at r3 (raw file):

Previously, ilyalesokhin-starkware wrote…

ilya@ilya-ThinkPad-T14-Gen-2i:~/workspaces/stwo-cairo/stwo_cairo_verifier$ scarb test -- --save-trace-data
Running test stwo_cairo_verifier (snforge test --max-n-steps 100000000)
Compiling snforge_scarb_plugin v0.32.0 (git+https://github.com/foundry-rs/starknet-foundry?tag=v0.32.0#3817c903b640201c72e743b9bbe70a97149828a2)
error: package lalrpop-util v0.20.2 cannot be built because it requires rustc 1.70 or newer, while the currently active rustc version is 1.67.0
Either upgrade to rustc 1.70 or newer, or use
cargo update -p [email protected] --precise ver
where ver is the latest version of lalrpop-util supporting rustc 1.67.0

Added TODO to investigate error.

[ilyalesokhin-starkware]

Reviewed 1 of 1 files at r5, all commit messages.
Reviewable status: 1 of 6 files reviewed, all discussions resolved (waiting on @shaharsamocha7)