Website Summary Files Commits Branches @commit @diff @stats
path: root / zkvms_host_io / input_macros / src
Commit message (Collapse)AuthorAgeLinesSHA
* feat(zkvms_host_io): Rename argument and metrics output "repeats" to "runs"
 Kamen Mladenov
2025-05-05-1/+135ee63c
|
* chore: cargo fmt
 Kamen Mladenov
2025-05-02-6/+191a2ad55
|
* feat(zkvms_host_io): Move metrics output from the benchmarkable macro to ↵
 Kamen Mladenov
2025-05-02-57/+39f3bb19
| | | | zkvsm_host_io lib
* fix(zkvms_host_io/input_macros): Add comma on public_types count
 Kamen Mladenov
2025-04-23-1/+1fa36823
| | | | | | 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-77/+36882f8e9
|
* feat(zkvms_host_io): Add the "Return" type, which only contains the function ↵
 Kamen Mladenov
2025-04-04-1/+5023070d
| | | | | | | | | | | | | | 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-2/+22cb82e5
| | | | | | | 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-17/+44dce57e6
| | | | | | | | | | | | | | | | 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-22/+435b82ac7
|
* feat(zkvms_host_io): Output guest name when benchmarking
 Kamen Mladenov
2025-02-11-1/+1601d190
|
* docs(zkvms_host_io): Add detailed documentation comments
 Kamen Mladenov
2025-02-10-0/+642ed8a2c
|
* feat(zkvms_host_io): Allow appending to metric_output file
 Kamen Mladenov
2025-02-10-2/+7ceed1b4
|
* feat(zkvms_host_io): Metrics output now contains the name of the zkvm
 Kamen Mladenov
2025-02-10-1/+1bb7f09e
|
* feat(zkvms_host_io): More standard CSV metrics output format and ↵
 Kamen Mladenov
2025-02-10-20/+17bc92441
| | | | milliseconds flag
* feat(zkvms_host_io): Create "benchmarkable" macro and add benchmarking flags
 Kamen Mladenov
2025-02-07-0/+5319834f2
|
* feat(zkvms_host_io): Implement foreach_private_input_field and ↵
 Kamen Mladenov
2025-02-03-6/+36765f559
| | | | foreach_public_input_field macros
* feat(guests_macro/parse_fn): Make _public functions also return private values
 Kamen Mladenov
2025-02-03-5/+5434248b
|
* feat(zkvms_host_io): Add public_inputs and private_inputs attributes to RunWith
 Kamen Mladenov
2025-02-03-4/+200e2db3d
|
* fix(zkvms_host_io): Remove useless template parameter to RunWith
 Kamen Mladenov
2025-02-03-1/+1729c607
|
* feat: Move some public input parsing logic to parse_fn
 Kamen Mladenov
2025-02-03-12/+76155820
|
* feat(zkvms_host_io): Make Output type contain public inputs
 Kamen Mladenov
2025-02-03-1/+16600b7ef
|
* feat: Add output type to zkvms_host_io macro
 Kamen Mladenov
2025-01-31-6/+12a673cfb
|
* feat: Pass guest entrypoint type to host
 Kamen Mladenov
2025-01-30-2/+1b0fda4c
|
* feat(zkvms_host_io/input_macros): Implement forach_input_field macro
 Kamen Mladenov
2025-01-28-0/+1317bcac0
|
* feat(zkvms_host_io): Generate input type from string and read input data ↵
 Kamen Mladenov
2025-01-28-0/+366e3ef85
from TOML file