Victor Snyder-Graf

[Feature] Support deployment `config.toml` files with our own library

2

We currently some code sitting in the Foundry template for handling deployment configs. In particular, it helps the user specify which verifier they want to use on the chain they...

Add a rerun if output to try to invalidate the build cache when sol files change

1

An attempt to resolve the issues with https://github.com/risc0/risc0-ethereum/issues/106 by adding a `rerun-if` output to the `build.rs` script

Implement changes to the `cargo risczero new` command such that it can instantiate a project from the Foundry template, and that it can instantiate a project from examples in `risc0`...

`SessionInfo` should include a method to construct the associated `ReceiptClaim`

2

### Is there an existing issue? - [X] I have searched the existing issues ### Experiencing problems? Have you tried our Discord first? - [X] This is not a support...

Fix note about paging in RISC-V cycle table

1

In the table of cycle counts per instruction, in the optimization guide, there is a note that says "1 if [paged-in](#paging) 1094 to 5130 otherwise". In the case of load...

I found a couple of broken links using `git ls-files '*.md' | xargs lychee --base . --cache --`. This PR fixes them and additionally formats the modified .md file.

Check the config ID of the `Commitment` in the `Steel` contract

1

When we validate a commitment, we should check that the config ID matches the chain on which we are verifying (e.g. that a call that is executing against Sepolia used...

Updating risc0 dependency versions requires updates in multiple places

1

When updating the zkVM version, it requires updates to a number of places in client applications (e.g. applications based on the Foundry template). It would be good to simplify this...

Steel cannot be published to creats.io due to `git` dependency on `beacon-api-client`.

1

Steel cannot be published to creats.io due to `git` dependency on `beacon-api-client`. Can be reproduced with `cargo publish -p risc0-steel --dry-run`.