blocksense/zkVMs-benchmarks/zkvms_host_io, branch mainSetups and programs for zero-knowledge virtual machine benchmarkinghttps://git.syndamia.com/work/blocksense/zkVMs-benchmarks/atom?h=main2025-05-05T12:07:49Zfix(zkvms_host_io): Remove millis flag2025-05-05T12:07:49ZKamen Mladenovkamen@syndamia.com2025-05-05T11:21:57Zurn:sha1:480a98015ca577968c635b7f0b86adeb7b259adb
The usages of this flag were removed when we introduced our JSON metrics
format.
feat(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_guest_io): Output proof size2025-05-02T12:32:54ZKamen Mladenovkamen@syndamia.com2025-04-30T14:25:15Zurn:sha1:eefb57f2c035be1a398f630dd8cfed8b4ccbe348
In each zkVM we'll write the size to /tmp/proof_size and then guest_io
will read that value and place it inside our metrics output. This is not
the most elegant, and in certain zkVMs the file output is a part of the
benchmark timing, but it will have to do.
fix(zkvms io): More detailed errors on metrics output failure2025-05-02T12:32:54ZKamen Mladenovkamen@syndamia.com2025-04-30T10:41:49Zurn:sha1:42d9672e3f2110c58d1af9de542a08ba0ab6f358fix(zkvms_host_io): Truncate output file in emit_benchmark_results when appropriate2025-05-02T12:32:54ZKamen Mladenovkamen@syndamia.com2025-04-29T13:34:19Zurn:sha1:c427fed7a28aee28579806fdc7cb432fd8f6a0c0
If we're not appending to a file with contents, then when we write our
data, we're going to be overwriting the old data. If the old data is
longer than the new one, we'll have some leftover text in the end, which
will cause a problem with JSON parsing.
We'll be truncating the file (i.e. emptying it out), but only when not
appending to it.
feat(zkvms_host_io): Implement new output format for zkvm/guest2025-05-02T12:32:54ZKamen Mladenovkamen@syndamia.com2025-04-29T12:48:34Zurn:sha1:1112cce22f81341dfd0553034ca927e823bb36bffeat(zkvms_host_io): Add json dependency2025-05-02T12:32:54ZKamen Mladenovkamen@syndamia.com2025-03-28T10:38:04Zurn:sha1:c8505d63fcc46df5ec5e2f3e99517408d95bc8a6feat(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.