docs: new FAQs from the ZK Hack #731
Conversation
|
The latest updates on your projects. Learn more about Vercel for Git ↗︎
1 Ignored Deployment
|
| - The first line of code executes before the proof is generated. | ||
| - The second line of code creates a precondition that is checked when the proof is sent to the blockchain to be verified. | ||
|
|
||
| This ensures that the transaction fails if the value of the field in question has changed. |
There was a problem hiding this comment.
Is this another way of saying that that this addresses race conditions vulnerabilities? @jackryanservia @LucidSamuel
|
|
||
| Yes, just pass in the appropriate BigInt literal. | ||
|
|
||
| `Field(0x1337)` |
There was a problem hiding this comment.
Just curious about the context of this question, why wouldn't this be possible in the first place? @jackryanservia @LucidSamuel
There was a problem hiding this comment.
It's likely a matter of developer familiarity. When using a new tool, developers often seek clarity, just to be sure, especially in case there are differences in how things work.
|
Left some comments - overall, it looks good just had one question about the Field type questions. |
docs/zkapps/faq.mdx
Outdated
| ``` | ||
|
|
||
| - The first line of code executes before the proof is generated. | ||
| - The second line of code creates a precondition that is checked when the proof is sent to the blockchain to be verified. |
There was a problem hiding this comment.
The second line of code creates a precondition that is checked when the proof is sent in a transaction the blockchain to be verified.
|
@barriebyron |
barriebyron
changed the title
Closes: #730
Adds FAQs that came up during zkHack 2023
Question: do we want to include the Mina Protocol FAQs in this doc?