| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | feat(zkvms_host_io): Rename argument and metrics output "repeats" to "runs" | Kamen Mladenov | 2025-05-05 | 1 | -1/+1 |
| | | |||||
| * | chore: cargo fmt | Kamen Mladenov | 2025-05-02 | 1 | -6/+19 |
| | | |||||
| * | feat(zkvms_host_io): Move metrics output from the benchmarkable macro to ↵ | Kamen Mladenov | 2025-05-02 | 1 | -57/+3 |
| | | | | | 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 | 1 | -22/+43 |
| | | |||||
| * | feat(zkvms_host_io): Output guest name when benchmarking | Kamen Mladenov | 2025-02-11 | 1 | -1/+1 |
| | | |||||
| * | docs(zkvms_host_io): Add detailed documentation comments | Kamen Mladenov | 2025-02-10 | 1 | -0/+64 |
| | | |||||
| * | feat(zkvms_host_io): Allow appending to metric_output file | Kamen Mladenov | 2025-02-10 | 1 | -2/+7 |
| | | |||||
| * | 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 | 1 | -21/+18 |
| | | | | | milliseconds flag | ||||
| * | feat(zkvms_host_io): Create "benchmarkable" macro and add benchmarking flags | Kamen Mladenov | 2025-02-07 | 1 | -0/+53 |
| | | |||||
| * | feat(zkvms_host_io): Implement foreach_private_input_field and ↵ | Kamen Mladenov | 2025-02-03 | 1 | -6/+36 |
| | | | | | 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 | 1 | -4/+20 |
| | | |||||
| * | fix(zkvms_host_io): Remove useless template parameter to RunWith | Kamen Mladenov | 2025-02-03 | 1 | -1/+1 |
| | | |||||
| * | 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 | 1 | -1/+16 |
| | | |||||
| * | feat: Add output type to zkvms_host_io macro | Kamen Mladenov | 2025-01-31 | 1 | -6/+12 |
| | | |||||
| * | feat: Pass guest entrypoint type to host | Kamen Mladenov | 2025-01-30 | 1 | -2/+1 |
| | | |||||
| * | 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 | 1 | -0/+36 |
| from TOML file | |||||
