blocksense/zkVMs-benchmarks/zkvms_host_io/input_macros, branch dvt-circuits-portSetups and programs for zero-knowledge virtual machine benchmarkinghttps://git.syndamia.com/work/blocksense/zkVMs-benchmarks/atom?h=dvt-circuits-port2025-04-07T14:41:20Zfeat(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:601d190f3401c71864399a40df32bb8c9ace42dddocs(zkvms_host_io): Add detailed documentation comments2025-02-10T13:39:06ZKamen Mladenovkamen@syndamia.com2025-02-10T13:39:06Zurn:sha1:2ed8a2cb0d955752f2b212b6898ab58ebfb7f220feat(zkvms_host_io): Allow appending to metric_output file2025-02-10T08:52:35ZKamen Mladenovkamen@syndamia.com2025-02-10T08:52:35Zurn:sha1:ceed1b4a33a9b8d0580bd35493f34102ae59d184feat(zkvms_host_io): Metrics output now contains the name of the zkvm2025-02-10T08:52:15ZKamen Mladenovkamen@syndamia.com2025-02-10T08:52:15Zurn:sha1:bb7f09ea36d5ba02fe5648941de51aa5765d4010feat(zkvms_host_io): More standard CSV metrics output format and milliseconds flag2025-02-10T08:20:53ZKamen Mladenovkamen@syndamia.com2025-02-10T08:20:53Zurn:sha1:bc92441157bbcea095d1fb2bbfc8ecf19c1b1346