Paul
Paul
This PR mostly just moves content around in order to make the conceptual flow clearer. Rather than looking at the diff in GitHub, I suggest reviewing by opening the deployment,...
I just went to run the zkVM for the first time in a while and found it challenging to find the update instructions. ## My Intuitive Click Path I went...
Frank opened this as a draft; I just converted it to an issue so I could add a label. Edit: Looking at this again, this is more of a testing...
We have a STARK by Hand explainer to help people understand the mechanics of STARK construction. Currently there is a markdown version and a Python version [available on the website](https://dev.risczero.com/proof-system/stark-by-hand)....
## Goal Add terminal output to indicate security level for zkVM proofs, in terms of "proven security" and "conjectured security" ## References [Ulvetanna's analysis - PDF](https://drive.google.com/file/d/1tuY4QbuMJ5Oe6oIvGVlipZWSfjjq1XFV/view?usp=sharing) [Ulvetanna's analysis - python...
We can count the total number of columns in the accum/auxiliary section, but in order to compute soundness bounds, we need to have a more granular enumeration. Specifically, we need...
The STARK by Hand explainer shows the process of FRI folding as: - convert to coefficient form - sort even/odd coefficients - combine In reality, the folding is done directly...
## Brief Description I guess we've decided to re-name `accum` to `auxiliary`? ## Elaborated Description Seems like we're not going to go out of our way to implement this change,...