|
@@ -25,6 +25,9 @@ structure with `-e` as well.
|
|
|
## Structure of a ZK File
|
|
## Structure of a ZK File
|
|
|
|
|
|
|
|
Take a look at existing ZK files in `proof/` directory for examples.
|
|
Take a look at existing ZK files in `proof/` directory for examples.
|
|
|
|
|
+See also `src/contract/dao/proof/` and `src/contract/money/proof/`.
|
|
|
|
|
+In all of those directories is a `witness/` subdirectory containing
|
|
|
|
|
+witness JSON files that can be used with the zkrunner and zkrender tools below.
|
|
|
|
|
|
|
|
`k = ...` indicates the number of rows which is $2ᵏ$. Bigger values make
|
|
`k = ...` indicates the number of rows which is $2ᵏ$. Bigger values make
|
|
|
your proof slower, whereas if `k` is too low then the proof generation will
|
|
your proof slower, whereas if `k` is too low then the proof generation will
|
|
@@ -75,6 +78,9 @@ log, and compare it with the public values you see in the `witness.json`
|
|
|
from when the proof was created. This will allow you to pinpoint exactly
|
|
from when the proof was created. This will allow you to pinpoint exactly
|
|
|
where the error occurs.
|
|
where the error occurs.
|
|
|
|
|
|
|
|
|
|
+For example files to try, see the comment in the section above
|
|
|
|
|
+[Structure of a ZK File](structure-of-a-zk-file).
|
|
|
|
|
+
|
|
|
## Viewing the ZK Circuit Layout
|
|
## Viewing the ZK Circuit Layout
|
|
|
|
|
|
|
|
ZK circuit have a layout. The less empty space, the more efficient is your
|
|
ZK circuit have a layout. The less empty space, the more efficient is your
|
zero