Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Multi version and no-std #4

Merged
merged 7 commits into from
Dec 20, 2024
Merged

Multi version and no-std #4

merged 7 commits into from
Dec 20, 2024

Conversation

la10736
Copy link
Collaborator

@la10736 la10736 commented Dec 10, 2024

Support multiple risc0 version in no-std

Most of the code come from risc0-zkvm crate: just removed useless implementations.

In generate_proofs there is a program to generate method and proofs. The header-fix folder conatins a simple script to mix license headers from risc0 and our..

Add a test for no-std.

Add cases for 1.2.0-1.1.3 matrix cell.

Simplified how to select risc0 version (toml and docs)
src/context.rs Outdated Show resolved Hide resolved
src/receipt.rs Outdated Show resolved Hide resolved
src/receipt.rs Outdated Show resolved Hide resolved
Copy link
Collaborator

@DanieleDiBenedetto DanieleDiBenedetto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM amazing job ! A couple of requests:

  • Document how to update the code in case of new Risc0 upgrades
  • Add a small example on how to parse and verify Risc0 artifacts in the main README.md
  • Fix typos in readmes and docs

…e hash implementation.

- Add last matrix test cases
- little docs fix up
Copy link
Collaborator

@lgiussan lgiussan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

src/receipt/succinct.rs Outdated Show resolved Hide resolved
src/circuit.rs Outdated Show resolved Hide resolved
src/deserializer.rs Outdated Show resolved Hide resolved
Copy link
Collaborator Author

@la10736 la10736 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

For the sake of uniformity, we could treat also the latest version in the same manner as the previous ones (i.e. copy-pasting the circuits inside of src/circuit/v1_2, instead of importing the risc0_circuit_rv32im and risc0_circuit_recursion crates)?

I was fought about what's the best approach here. Anyway maybe the actula one is little bit fragile because we need to use = in cargo toml to avoid unexpected updataing. So, I'll accept your subbestion

- Add the method used to create the tests
- Add test for segment context stability
@la10736 la10736 merged commit 19bac27 into master Dec 20, 2024
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants