| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fix(zkvms_host_io): Remove millis flag | Kamen Mladenov | 2025-05-05 | 1 | -6/+0 |
| | | | | | | 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" | Kamen Mladenov | 2025-05-05 | 2 | -4/+4 |
| | | |||||
| * | chore: cargo fmt | Kamen Mladenov | 2025-05-02 | 2 | -13/+34 |
| | | |||||
| * | feat(zkvms_guest_io): Output proof size | Kamen Mladenov | 2025-05-02 | 1 | -0/+9 |
| | | | | | | | | 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 failure | Kamen Mladenov | 2025-05-02 | 1 | -2/+2 |
| | | |||||
| * | fix(zkvms_host_io): Truncate output file in emit_benchmark_results when ↵ | Kamen Mladenov | 2025-05-02 | 1 | -0/+1 |
| | | | | | | | | | | | | | appropriate 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/guest | Kamen Mladenov | 2025-05-02 | 2 | -52/+61 |
| | | |||||
| * | feat(zkvms_host_io): Add json dependency | Kamen Mladenov | 2025-05-02 | 2 | -0/+2 |
| | | |||||
| * | feat(zkvms_host_io): Move metrics output from the benchmarkable macro to ↵ | Kamen Mladenov | 2025-05-02 | 2 | -58/+69 |
| | | | | | zkvsm_host_io lib | ||||
| * | fix(zkvms_host_io/input_macros): Add comma on public_types count | Kamen Mladenov | 2025-04-23 | 1 | -1/+1 |
| | | | | | | | 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 FunctionDefinition | Kamen Mladenov | 2025-04-07 | 1 | -77/+36 |
| | | |||||
| * | feat(zkvms_host_io): Add the "Return" type, which only contains the function ↵ | Kamen Mladenov | 2025-04-04 | 1 | -1/+5 |
| | | | | | | | | | | | | | | | return type 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 zeros | Aristotelis Papanis | 2025-03-13 | 1 | -2/+2 |
| | | | | | | | | 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 metrics | Aristotelis Papanis | 2025-03-13 | 1 | -17/+44 |
| | | | | | | | | | | | | | | | | | 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 fmt | Kamen Mladenov | 2025-02-27 | 2 | -43/+71 |
| | | |||||
| * | fix(zkvms_host_io): Reduce version constraint for clap | Kamen Mladenov | 2025-02-26 | 1 | -1/+1 |
| | | | | | | | Certain zkVMs may use clap with versions lower than 4.5 (e.g. 4.5.9). Here we do not really care about the version, so this change will fix compatibility issues. | ||||
| * | fix(zkvms_host_io): Rename short metrics output flag to 'o' | Kamen Mladenov | 2025-02-11 | 1 | -1/+1 |
| | | |||||
| * | feat(zkvms_host_io): Output guest name when benchmarking | Kamen Mladenov | 2025-02-11 | 1 | -1/+1 |
| | | |||||
| * | feat(zkvms_host_io): Remove version flag | Kamen Mladenov | 2025-02-10 | 1 | -1/+1 |
| | | |||||
| * | docs(zkvms_host_io): Improve help message | Kamen Mladenov | 2025-02-10 | 1 | -3/+8 |
| | | |||||
| * | docs(zkvms_host_io): Add detailed documentation comments | Kamen Mladenov | 2025-02-10 | 2 | -1/+85 |
| | | |||||
| * | feat(zkvms_host_io): Allow appending to metric_output file | Kamen Mladenov | 2025-02-10 | 2 | -2/+12 |
| | | |||||
| * | feat(zkvms_host_io): Metrics output now contains the name of the zkvm | Kamen Mladenov | 2025-02-10 | 1 | -1/+1 |
| | | |||||
| * | feat(zkvms_host_io): More standard CSV metrics output format and ↵ | Kamen Mladenov | 2025-02-10 | 2 | -21/+23 |
| | | | | | milliseconds flag | ||||
| * | feat(zkvms_host_io): Create "benchmarkable" macro and add benchmarking flags | Kamen Mladenov | 2025-02-07 | 2 | -1/+73 |
| | | |||||
| * | feat(zkvms/zkwasm): Support all std containers as input types | Kamen Mladenov | 2025-02-06 | 1 | -1/+1 |
| | | |||||
| * | feat(zkvms_host_io): Implement foreach_private_input_field and ↵ | Kamen Mladenov | 2025-02-03 | 2 | -7/+37 |
| | | | | | foreach_public_input_field macros | ||||
| * | feat(guests_macro/parse_fn): Make _public functions also return private values | Kamen Mladenov | 2025-02-03 | 1 | -5/+5 |
| | | |||||
| * | feat(zkvms_host_io): Add public_inputs and private_inputs attributes to RunWith | Kamen Mladenov | 2025-02-03 | 2 | -5/+27 |
| | | |||||
| * | fix(zkvms_host_io): Remove useless template parameter to RunWith | Kamen Mladenov | 2025-02-03 | 2 | -6/+6 |
| | | |||||
| * | feat: Move some public input parsing logic to parse_fn | Kamen Mladenov | 2025-02-03 | 1 | -12/+7 |
| | | |||||
| * | feat(zkvms_host_io): Make Output type contain public inputs | Kamen Mladenov | 2025-02-03 | 2 | -1/+19 |
| | | |||||
| * | feat(zkvms_host_io): Add argument for private input | Kamen Mladenov | 2025-02-03 | 1 | -2/+10 |
| | | |||||
| * | feat: Add output type to zkvms_host_io macro | Kamen Mladenov | 2025-01-31 | 2 | -7/+13 |
| | | |||||
| * | feat(zkvms_host_io): Implement convinence environment variable methods | Kamen Mladenov | 2025-01-31 | 1 | -1/+18 |
| | | |||||
| * | feat(zkvms_host_io): Add default_env RunWith attribute | Kamen Mladenov | 2025-01-31 | 2 | -4/+11 |
| | | |||||
| * | feat: Pass guest entrypoint type to host | Kamen Mladenov | 2025-01-30 | 1 | -2/+1 |
| | | |||||
| * | feat(zkwasm): Remove workspace and use withGeneratedLockfile | Kamen Mladenov | 2025-01-29 | 1 | -260/+0 |
| | | |||||
| * | feat(zkvms_host_io): Implement using a guest's default input | Kamen Mladenov | 2025-01-28 | 1 | -3/+10 |
| | | |||||
| * | feat(zkvms_host_io/input_macros): Implement forach_input_field macro | Kamen Mladenov | 2025-01-28 | 1 | -0/+13 |
| | | |||||
| * | feat(zkvms_host_io): Generate input type from string and read input data ↵ | Kamen Mladenov | 2025-01-28 | 4 | -5/+56 |
| | | | | | from TOML file | ||||
| * | feat(zkvms): Export io logic to it's own crate | Kamen Mladenov | 2025-01-14 | 3 | -0/+303 |
