blocksense/zkVMs-benchmarks/guests/fibonacci, branch dvt-circuits-portSetups and programs for zero-knowledge virtual machine benchmarkinghttps://git.syndamia.com/work/blocksense/zkVMs-benchmarks/atom?h=dvt-circuits-port2025-04-04T08:03:00Zfix(guests/fibonacci): Update SEG_SIZE constant2025-04-04T08:03:00ZKamen Mladenovkamen@syndamia.com2025-04-02T11:08:07Zurn:sha1:4716b9602964fec26ca94a4cd8134e9bbcc5f5a1feat: Add zkvm cargo features2025-02-26T11:59:43ZKamen Mladenovkamen@syndamia.com2025-02-26T09:19:14Zurn:sha1:aaedf9d730179082f6e9c6f15682390d3eb2dba2
So you can make code modifications compile-time, based on the zkVM
chore: Update zkVM packages2025-02-26T07:26:09ZKamen Mladenovkamen@syndamia.com2025-02-19T08:29:12Zurn:sha1:91fb36148723cf3f87fe596a565c9082f4d82b05
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
fix(guests/fibonacci): Update SEG_SIZE default value2025-02-04T07:05:15ZKamen Mladenovkamen@syndamia.com2025-02-04T07:05:15Zurn:sha1:b8c709b87ad8b9fd1a74de4b73f9bbd1bf51e364feat(zkvms_host_io): Add argument for private input2025-02-03T08:08:02ZKamen Mladenovkamen@syndamia.com2025-02-03T08:08:02Zurn:sha1:3a98310bafbfa7cf20d8bfcf41510781567b1417feat(guests): Add default environments2025-01-31T09:03:52ZKamen Mladenovkamen@syndamia.com2025-01-31T09:03:52Zurn:sha1:d02c64d78e350b7b0693a1428eca0b8c66ab302ffix(guests/fibonacci): Fix output being one value lower than n in the sequence2025-01-30T11:37:32ZKamen Mladenovkamen@syndamia.com2025-01-30T11:37:32Zurn:sha1:27fc1d69886a43d6d0d8be4627ec0cfeb7ce07d6
Note: SP1 still proved this incorrect program successfully
feat(guests): Add a second example guest2025-01-30T11:09:53ZKamen Mladenovkamen@syndamia.com2025-01-30T11:09:53Zurn:sha1:492467015ec8a339eefd816a818e73cbc3fcece8