blocksense/zkVMs-benchmarks/zkvms_host_io/input_macros/src/lib.rs, branch mainSetups and programs for zero-knowledge virtual machine benchmarkinghttps://git.syndamia.com/work/blocksense/zkVMs-benchmarks/atom?h=main2025-05-05T08:07:41Zfeat(zkvms_host_io): Rename argument and metrics output "repeats" to "runs"2025-05-05T08:07:41ZKamen Mladenovkamen@syndamia.com2025-05-05T08:02:41Zurn:sha1:35ee63c12e5e50ff5fb5266c9c3bece8f6d52f2bchore: cargo fmt2025-05-02T12:32:54ZKamen Mladenovkamen@syndamia.com2025-05-02T07:24:47Zurn:sha1:1a2ad5528f7a61390c40c0b6f56fa507923d09f5feat(zkvms_host_io): Move metrics output from the benchmarkable macro to zkvsm_host_io lib2025-05-02T12:32:54ZKamen Mladenovkamen@syndamia.com2025-03-28T10:16:55Zurn:sha1:9f3bb196309a467a835759babe60b38ba0520656fix(zkvms_host_io/input_macros): Add comma on public_types count2025-04-23T14:28:22ZKamen Mladenovkamen@syndamia.com2025-04-16T06:46:19Zurn:sha1:fa368238729e95ade6ec907c9909e140d6322cf3
The `sep` variable is used below, in `output_type`, where the public
types are laid out. Before, we checked the count of all types, including
private ones, which caused a crash when we have no private inputs.
feat(zkvms_host_io): Update to use FunctionDefinition2025-04-07T14:41:20ZKamen Mladenovkamen@syndamia.com2025-04-07T13:01:45Zurn:sha1:882f8e99642931dbed953755344e1ebee4092db8feat(zkvms_host_io): Add the "Return" type, which only contains the function return type2025-04-04T08:03:00ZKamen Mladenovkamen@syndamia.com2025-03-24T10:51:22Zurn:sha1:023070de2dde4df9b809cf04ff09ab1a3af3e01c
Currently we create an "Output" type, which contains a tuple with all
public inputs and the function return type. In most zkVMs, public and
private inputs are not distinguished from the start, public inputs are
returned by the guest program and private are not.
Thus, most of the time we need a more complicated return type. However,
sometimes this is not the case, and the public/private distinction is
done upfront (and we don't need to output inputs). So we need to add the
appropriate type.
fix(metrics): Do not remove leading zeros2025-03-13T13:16:49ZAristotelis Papanisaristotelis.papanis@blocksense.network2025-03-13T13:12:45Zurn:sha1:2cb82e5981490274087e0d144dbc9aa947c91c22
With the commit for improving the metrics output we introduced a bug for
the milliseconds where we would lose information about leading zeros.
This has been now fixed.
chore(metrics): Change output format of metrics2025-03-13T12:46:56ZAristotelis Papanisaristotelis.papanis@blocksense.network2025-03-13T12:13:54Zurn:sha1:dce57e6332d3de458309b1f33377601cbe3f603e
We have improved the format of the benchmarking output. Now the metrics
follow a more standard CSV style.
Example:
```
name,guest,total duration,repeats,average
jolt,fibonacci,1.33,2,0.516
nexus,fibonacci,177.388,2,88.694
risc0,fibonacci,3.828,2,1.914
sp1,fibonacci,13.330,2,6.665
zkm,fibonacci,279.394,2,139.697
zkwasm,fibonacci,106.161,2,53.80
```
chore: Rust fmt2025-02-27T13:08:11ZKamen Mladenovkamen@syndamia.com2025-02-27T09:35:32Zurn:sha1:5b82ac769339938570c0d1f7230afc53732993b4feat(zkvms_host_io): Output guest name when benchmarking2025-02-11T15:09:35ZKamen Mladenovkamen@syndamia.com2025-02-11T15:09:27Zurn:sha1:601d190f3401c71864399a40df32bb8c9ace42dd