aboutsummaryrefslogtreecommitdiff
path: root/zkvms/zkwasm
Commit message (Collapse)AuthorAgeFilesLines
* fix(zkvms/zkwasm): Change default output paths to /tmpKamen Mladenov2025-05-051-3/+3
|
* chore: cargo fmtKamen Mladenov2025-05-022-7/+19
|
* feat(zkvms_guest_io): Output proof sizeKamen Mladenov2025-05-021-0/+7
| | | | | | | 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.
* feat(zkvms_host_io): Implement new output format for zkvm/guestKamen Mladenov2025-05-021-5/+228
|
* feat(zkvms_host_io): Add json dependencyKamen Mladenov2025-05-021-49/+441
|
* fix(zkvms/zkwasm): Explicit type in argumentKamen Mladenov2025-04-231-1/+1
| | | | | In certain cases, we would get errors that the "x" type cannot be inferred.
* feat(zkvms/zkwasm); Update to use FunctionDefinitionKamen Mladenov2025-04-071-16/+6
|
* chore: Nix and Rust fmtKamen Mladenov2025-04-041-5/+6
|
* chore(flake.nix): Replace rust-overlay with fenixKamen Mladenov2025-04-041-4/+12
| | | | This follows the same change which was made in mcl-blockchain
* feat(zkvms/zkwasm): Support non-numeric types as guest function outputKamen Mladenov2025-03-053-25/+34
|
* feat(zkvms/zkwasm): Export macro which converts to bytes vector as a libraryKamen Mladenov2025-03-055-112/+130
|
* chore: Rust fmtKamen Mladenov2025-02-273-120/+158
|
* chore: Nix fmtKamen Mladenov2025-02-271-47/+28
|
* feat: Add zkvm cargo featuresKamen Mladenov2025-02-261-1/+1
| | | | So you can make code modifications compile-time, based on the zkVM
* chore: Update zkVM packagesKamen Mladenov2025-02-261-16/+16
| | | | | | | | This includes: - Updating flake.lock - Updating all host and guest Cargo.toml and Cargo.lock files - Making zkvm default.nix file modifications to account for toolchain and setup changes
* feat(zkvms): Change package versions from infdev to the corresponding zkVM ↵Kamen Mladenov2025-02-111-1/+1
| | | | versions
* fix: Delete unused old input fileKamen Mladenov2025-02-101-1/+0
|
* docs(zkvms/zkwasm): Add detailed documentation commentsKamen Mladenov2025-02-103-1/+65
|
* feat(zkvms/zkwasm): Add benchmarking capabilityKamen Mladenov2025-02-071-13/+15
|
* feat(zkvms/zkwasm): Support all std containers as input typesKamen Mladenov2025-02-061-7/+14
|
* feat(zkvms/zkwasm): Proper handling of input strings and hashmapsKamen Mladenov2025-02-065-48/+52
|
* feat(zkvms/zkwasm): Use path input type and move container size information ↵Kamen Mladenov2025-02-062-99/+127
| | | | to host
* feat(zkvms/zkwasm): Support reading hashmapsKamen Mladenov2025-02-051-0/+24
|
* feat(zkvms/zkwasm): Properly read string and char valuesKamen Mladenov2025-02-051-2/+25
|
* feat(guest/zkwasm): Add support for unflattening tuple typesKamen Mladenov2025-02-051-9/+20
|
* feat(zkvms/zkwasm): Rework read macro into a procedural macro and improve ↵Kamen Mladenov2025-02-052-43/+120
| | | | type composition
* feat(zkvms/zkwasm): Proper Vec input type handlingKamen Mladenov2025-02-042-17/+25
| | | | Also handles multidimentional vec
* feat(zkvms/zkwasm): Implement proper handling of public and private inputsKamen Mladenov2025-02-035-27/+174
|
* feat(zkvms/zkwasm): Update Cargo.lock, make variables depend on environment ↵Kamen Mladenov2025-01-312-19/+479
| | | | and use default environments
* feat(zkwasm): Update to use zkvmLibKamen Mladenov2025-01-301-5/+5
|
* feat(zkwasm): Remove workspace and use withGeneratedLockfileKamen Mladenov2025-01-298-197/+220
|
* feat(flake): Move creating guest (zkp) symlink to a custom phaseKamen Mladenov2025-01-281-1/+0
|
* feat(zkvms/zkwasm): Adapt to new input typeKamen Mladenov2025-01-281-14/+16
|
* fix(zkvms/zkwasm): Lock wasm-bindgen version and add regexKamen Mladenov2025-01-283-10/+157
|
* feat(flake): Rework withCustomPhases variablesKamen Mladenov2025-01-211-13/+8
|
* feat(flake): Implement zkwasm packageKamen Mladenov2025-01-151-0/+77
|
* feat(zkvms): Add zkwasm guest and it's macroKamen Mladenov2025-01-156-0/+114
|
* feat(zkvms): Add zkwasm hostKamen Mladenov2025-01-154-0/+533