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
docs(website): Add dev-mode instructions #1033
Conversation
The latest updates on your projects. Learn more about Vercel for Git ↗︎
|
…//github.com/risc0/risc0 into cardosaum/docs/add-risc0-dev-mode-to-website
website/docs/faq.md
Outdated
|
||
A risc0 project in dev mode supports ([fake](https://docs.rs/risc0-zkvm/0.18.0/risc0_zkvm/enum.InnerReceipt.html#variant.Fake)) receipt creation and pass-through (fake) 'verification' workflows, so that dev mode may be switched on and off without impacting project workflows. In particular, receipts generated in dev mode still include public outputs written to the [journal](https://dev.risczero.com/terminology#journal). | ||
|
||
However, because the proving process is bypassed, receipts generated in dev mode will fail a standard receipt verification check. Only when the verifier is also built in dev mode will it perform pass-through 'verification' of the fake receipt. |
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.
This flag is an environment variable checked at runtime rather than at build-time
website/docs/faq.md
Outdated
| Dev mode env var | Feature flag off | Feature flag on | | ||
| ----------------------------- | ------------------------ | ------------------------ | | ||
| RISC0_DEV_MODE=true | Developer mode activated | Prover panic | | ||
| RISCO_DEV_MODE={false, unset} | Default project behavior | Default project behavior | |
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.
Will the verifier panic when the disable-dev-mode
flag is on? Also it's not clear just looking at this table which feature flag you are referring to. Directly referencing diable-dev-mode
would be helpful to make this table self-contained.
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.
It will panic, we test for this property here.
I changed the table to reference disable-dev-mode
directly, thanks for pointing out!
A reminder to rename the PR before landing. :) |
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.
We discussed this a while ago but I think we should consider referring to "developer mode" as "dev-mode" throughout the document so that we have consistency in terminology
Co-authored-by: Erik Kaneda <erik@risczero.com>
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.
Looks good but before you merge, could you update the links to reflect the latest version? I see some 0.18
For prerelease, you can use |
|
Closes #434