clarifying image vs imageid

[pdg744]

Current documentation suggests verification algorithm takes the entire binary file as input.
This PR clarifies that it just needs the ImageID

[pdg744]

@tzerrell is this way of including links fair game here?

[tzerrell]

Yes, this is fine here. If you ever want to check for yourself, you can build the docs locally with cargo doc from the risc0 root directory and open the generated webpage in a browser (in target/doc ... e.g. on my system the relevant file is at file:///Users/tzerrell/code/risc0/target/doc/risc0_zkvm/struct.Receipt.html). I'm also happy to answer too though!

[mothran]

Yes, this is fine here. If you ever want to check for yourself, you can build the docs locally with cargo doc from the risc0 root directory and open the generated webpage in a browser (in target/doc ... e.g. on my system the relevant file is at file:///Users/tzerrell/code/risc0/target/doc/risc0_zkvm/struct.Receipt.html). I'm also happy to answer too though!

Additionally: cargo doc --no-deps -p <crate-name> to make the build way faster!

[flaub]

and there's a nice --open flag

[github-actions]

Benchmark for Linux-cuda

    <details open>
      <summary>Click to hide benchmark</summary>
      Benchmarks have changed between the two branches, unable to diff.
    </details>

Benchmark for Linux-default 2a8a8fd

Click to hide benchmark

Test	Base	PR	%
fib/100/execute	6.8±0.46ms	6.7±0.41ms	-1.47%
fib/100/prove	5.0±0.03s	5.0±0.03s	0.00%
fib/100/total	5.0±0.02s	5.0±0.02s	0.00%
fib/1000/execute	8.0±0.69ms	7.9±0.42ms	-1.25%
fib/1000/prove	5.0±0.03s	5.0±0.02s	0.00%
fib/1000/total	5.0±0.02s	5.0±0.01s	0.00%
fib/10000/execute	14.6±0.56ms	14.4±0.46ms	-1.37%
fib/10000/prove	20.8±0.09s	20.8±0.12s	0.00%
fib/10000/total	20.9±0.06s	20.8±0.10s	-0.48%

Benchmark for macOS-default 2a8a8fd

Click to hide benchmark

Test	Base	PR	%
fib/100/execute	2.8±0.17ms	2.7±0.11ms	-3.57%
fib/100/prove	3.6±0.05s	3.6±0.07s	0.00%
fib/100/total	3.6±0.05s	3.6±0.05s	0.00%
fib/1000/execute	3.1±0.18ms	3.1±0.16ms	0.00%
fib/1000/prove	3.7±0.08s	3.7±0.04s	0.00%
fib/1000/total	3.7±0.03s	3.7±0.07s	0.00%
fib/10000/execute	6.0±0.16ms	5.8±0.10ms	-3.33%
fib/10000/prove	15.1±0.18s	15.0±0.07s	-0.66%
fib/10000/total	15.0±0.12s	15.0±0.11s	0.00%

Benchmark for macOS-metal 2a8a8fd

Click to hide benchmark

Test	Base	PR	%
fib/100/execute	2.8±0.13ms	2.7±0.20ms	-3.57%
fib/100/prove	804.7±4.17ms	800.3±3.77ms	-0.55%
fib/100/total	824.2±3.74ms	821.5±5.26ms	-0.33%
fib/1000/execute	3.1±0.07ms	3.0±0.07ms	-3.23%
fib/1000/prove	822.5±3.58ms	818.7±2.80ms	-0.46%
fib/1000/total	844.1±3.52ms	838.0±6.53ms	-0.72%
fib/10000/execute	5.8±0.07ms	5.8±0.05ms	0.00%
fib/10000/prove	3.1±0.01s	3.1±0.01s	0.00%
fib/10000/total	3.1±0.01s	3.1±0.01s	0.00%

[github-actions]

Benchmark for Linux-cuda

    <details open>
      <summary>Click to hide benchmark</summary>
      Benchmarks have changed between the two branches, unable to diff.
    </details>

Benchmark for Linux-default

    <details open>
      <summary>Click to hide benchmark</summary>
      Benchmarks have changed between the two branches, unable to diff.
    </details>

Benchmark for macOS-default a839d05

Click to hide benchmark

Test	Base	PR	%
fib/100/execute	2.8±0.10ms	2.7±0.20ms	-3.57%
fib/100/prove	3.7±0.05s	3.6±0.06s	-2.70%
fib/100/total	3.6±0.06s	3.6±0.07s	0.00%
fib/1000/execute	3.0±0.09ms	3.0±0.02ms	0.00%
fib/1000/prove	3.7±0.07s	3.7±0.07s	0.00%
fib/1000/total	3.7±0.07s	3.7±0.06s	0.00%
fib/10000/execute	5.9±0.05ms	5.7±0.12ms	-3.39%
fib/10000/prove	15.1±0.11s	15.0±0.12s	-0.66%
fib/10000/total	15.2±0.21s	15.0±0.11s	-1.32%

Benchmark for macOS-metal

    <details open>
      <summary>Click to hide benchmark</summary>
      Benchmarks have changed between the two branches, unable to diff.
    </details>