blocksense/zkVMs-benchmarks/zkvmLib.nix, branch mainSetups and programs for zero-knowledge virtual machine benchmarkinghttps://git.syndamia.com/work/blocksense/zkVMs-benchmarks/atom?h=main2025-05-27T13:27:32Zchore(nix): annotate `awk` script as such2025-05-27T13:27:32Zreo101pavel.atanasov2001@gmail.com2025-05-13T08:05:46Zurn:sha1:1e64259e1eae8a78e8cff1a2c16b51b467bb4629fix(zkvmLib): Don't remove final entry in lockfile2025-04-23T14:28:22ZKamen Mladenovkamen@syndamia.com2025-04-16T08:51:38Zurn:sha1:cde8452f059bc2f918b43c451404ea8927e34b47
The AWK script goes to the next line when a property is found. If the
lock file ends on a property, the next line will be "fetched", but that
is after the end of the file, so we'll never reach the printing logic.
We're adding a blank line to the end of the lock file, so we never hit
this edge case.
fix(zkvmLib): Add zkVM feature on cargo add2025-04-14T10:40:57ZKamen Mladenovkamen@syndamia.com2025-04-14T09:58:29Zurn:sha1:8ce46210fd8936e4a20b94374dd9eb0c8892deb5
`cargo add` modifies the Cargo.lock, and optional dependencies will be
removed if the feature is not passed through
chore: Nix fmt2025-02-27T13:08:11ZKamen Mladenovkamen@syndamia.com2025-02-27T09:35:14Zurn:sha1:39ec264c0d90555237debff519cc890b755a0646feat(zkvmLib): Add ability to stop compilation and execution of certain zkVMs with guests2025-02-26T15:10:12ZKamen Mladenovkamen@syndamia.com2025-02-26T11:27:18Zurn:sha1:c92624c518609245340df6c3afb919ff6f0ecd29
You need to add a ".no_zkvm" file in the guests/guest/ directory for
your guest and zkvm. You may add details on why the zkVM is not
supported inside the file itself, but it is not mandatory.
feat: 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
feat(zkvmLib): Attribute for specifying a guest or host specific Rust toolchains2025-02-26T07:26:09ZKamen Mladenovkamen@syndamia.com2025-02-21T08:34:35Zurn:sha1:c02d4899e0af97b045ebc8f522daa30fa6de3fcb
Allows the host and guest program toolchains to differ. Generally, you
should only need to set one.
feat(zkvmLib): Ability to add an extra Cargo.lock2025-02-26T07:26:09ZKamen Mladenovkamen@syndamia.com2025-02-21T08:35:38Zurn:sha1:97975bed0221b12a99177c8107c6a59d5f72023b
Adds the ability to specify an `extraLockfile` attribute in args. Its
value should evaluate to a string path. It's included in the beginning,
so it overshadows dependencies, which are specified in the other
Cargo.lock files.
Must be added to commonArgs (i.e. to both `buildDepsOnly` and
`buildPackage` args).
feat(zkvmLib): Add the ability to override dependencies2025-02-26T07:26:09ZKamen Mladenovkamen@syndamia.com2025-02-24T13:24:56Zurn:sha1:a8264df8b851c60011f89295685d75f66291f28b
Allows you to add `overrideVendorCargoPackage` and
`overrideVendorGitCheckout` to args, which allow the overriding of
vendored dependencies, as is implemented in crane.lib.
The respective attribute must be added to commonArgs (i.e. to both
`buildDepsOnly` and `buildPackage` args).
feat(zkvmLib): Show cargo version in host build2025-02-26T07:26:09ZKamen Mladenovkamen@syndamia.com2025-02-21T08:36:31Zurn:sha1:68ced10106d54dd03fef9b13eff38157695091ef