blocksense/zkVMs-benchmarks/zkvmLib.nix, branch evaluate_polynomialSetups and programs for zero-knowledge virtual machine benchmarkinghttps://git.syndamia.com/work/blocksense/zkVMs-benchmarks/atom?h=evaluate_polynomial2025-03-05T14:04:14Zfix(zkvmLib): Use generated Cargo.lock in host build2025-03-05T14:04:14ZKamen Mladenovkamen@syndamia.com2025-02-26T14:19:51Zurn:sha1:c094dceb971ff22c1b578393605e4348987f834dchore: 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:68ced10106d54dd03fef9b13eff38157695091effeat(zkvmLib): Use generated Cargo.lock in guest phases and add guest dep properly2025-02-18T12:26:14ZKamen Mladenovkamen@syndamia.com2025-02-17T14:32:29Zurn:sha1:0e0404c856c07a6b3b6d957e5a27d9af380682e6
Adding the zkp dependency with a command allows us to ignore the
package's original name
feat(zkvmLib): Reorganize and rename linkGuest phase2025-02-18T12:26:14ZKamen Mladenovkamen@syndamia.com2025-02-17T14:29:39Zurn:sha1:99a6c880ec9f250f9b319a071635c38dc26e57e4