-
Notifications
You must be signed in to change notification settings - Fork 0
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
Conversation
Add cases for 1.2.0-1.1.3 matrix cell. Simplified how to select risc0 version (toml and docs)
There was a problem hiding this 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
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM!
There was a problem hiding this 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 therisc0_circuit_rv32im
andrisc0_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
…local source. - Some refactor - removed unused files
- Add the method used to create the tests - Add test for segment context stability
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. Theheader-fix
folder conatins a simple script to mix license headers from risc0 and our..Add a test for no-std.