aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* feat(guests): Add polynomial evaluation programevaluate_polynomialKamen Mladenov2025-03-059-0/+256
| | | | | | | Adapted from https://github.com/metacraft-labs/dvt-circuits/blob/master/crates/bls_utils/src/bls.rs#L26 Co-authored-by: Marto <martindobrev0@gmail.com>
* feat(zkvms/zkwasm): Move default ZKWASM_OUTPUT and ZKWASM_PARAMS directories ↵Kamen Mladenov2025-03-052-4/+12
| | | | to /tmp
* fix(zkvmLib): Use generated Cargo.lock in host buildKamen Mladenov2025-03-051-0/+2
|
* fix(zkvms/zkm): Use string from allocKamen Mladenov2025-03-051-2/+2
|
* feat(guests/zk_dungeon): Remove zkwasm blockKamen Mladenov2025-03-051-1/+0
|
* 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
|
* feat(guest): Add zk_dungeon programKamen Mladenov2025-03-048-0/+130
| | | | | | | Ported from https://github.com/blocksense-network/noir/tree/6a4f172c0cbee1e2baea7d4c0684121d5921c09a/test_programs/plonky2_prove_success/zk_dungeon Co-authored-by: Stan Manilov <stanislav.manilov@gmail.com>
* fix(zkvms/jolt/host): Replace default formatting with debug formatting in printKamen Mladenov2025-03-041-2/+2
|
* fix(guests_macro/parse_fn): Return unit ret type when main doesn't return ↵Kamen Mladenov2025-03-041-0/+3
| | | | anything
* chore: Rust fmtKamen Mladenov2025-02-2723-320/+459
|
* chore: Nix fmtKamen Mladenov2025-02-2710-525/+443
|
* feat(flake): Add nixfmt formatterKamen Mladenov2025-02-271-0/+2
|
* feat: Add script for formatting all rust files in a directoryKamen Mladenov2025-02-272-1/+23
| | | | This is meant to be used in our codebase, especially in CI pipelines
* docs(guest): Explain blacklisting featureKamen Mladenov2025-02-261-0/+12
|
* fix(guest.nix): Make order of zkVM runs alphabeticKamen Mladenov2025-02-262-3/+3
|
* feat(zkvmLib): Add ability to stop compilation and execution of certain ↵Kamen Mladenov2025-02-261-108/+127
| | | | | | | | zkVMs with guests 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 featuresKamen Mladenov2025-02-265-4/+23
| | | | So you can make code modifications compile-time, based on the zkVM
* fix(zkvms/zkm): Downgrade host toolchainKamen Mladenov2025-02-263-1/+1438
| | | | | | | The newest toolchain causes errors, an issue has been filed upstream: https://github.com/zkMIPS/toolchain/issues/4 However, it is not certain when it will be resolved, so for now this workaround will be used.
* fix(zkvms/zkm): Override zkm SDKKamen Mladenov2025-02-262-0/+52
| | | | | | | The SDK is out of date. A PR is opened: https://github.com/zkMIPS/zkm-project-template/pull/54 However, its not certain it will be merged soon, so for now this workaround will have to do.
* chore: Update zkVM packagesKamen Mladenov2025-02-2627-2071/+1362
| | | | | | | | 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(zkvmLib): Attribute for specifying a guest or host specific Rust toolchainsKamen Mladenov2025-02-261-0/+9
| | | | | 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.lockKamen Mladenov2025-02-261-0/+6
| | | | | | | | | | 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 dependenciesKamen Mladenov2025-02-261-5/+15
| | | | | | | | | 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).
* fix(zkvms_host_io): Reduce version constraint for clapKamen Mladenov2025-02-261-1/+1
| | | | | | Certain zkVMs may use clap with versions lower than 4.5 (e.g. 4.5.9). Here we do not really care about the version, so this change will fix compatibility issues.
* feat(zkvmLib): Show cargo version in host buildKamen Mladenov2025-02-261-0/+1
|
* docs(guests/README): Remove requirement for package name to be the same as ↵Kamen Mladenov2025-02-181-2/+0
| | | | dir name
* feat(zkvmLib): Use generated Cargo.lock in guest phases and add guest dep ↵Kamen Mladenov2025-02-181-4/+4
| | | | | | | properly Adding the zkp dependency with a command allows us to ignore the package's original name
* feat(zkvmLib): Reorganize and rename linkGuest phaseKamen Mladenov2025-02-181-5/+8
|
* feat(zkvmLib): Handle duplicate entries in generated Cargo.lock fileKamen Mladenov2025-02-181-4/+62
|
* feat(zkvmLib): Use generated Cargo.lock in dependencies packageKamen Mladenov2025-02-181-2/+3
|
* feat: Add CONTRIBUTINGKamen Mladenov2025-02-131-0/+111
|
* fix(README): Wording updateKamen Mladenov2025-02-131-1/+1
|
* fix(zkvms/README): Squash typosKamen Mladenov2025-02-131-1/+1
|
* fix(README): Squash typosKamen Mladenov2025-02-131-4/+4
|
* feat(README): Add details on the available nix packagesKamen Mladenov2025-02-131-2/+16
|
* feat(guests/README): More specific link to zkvms READMEKamen Mladenov2025-02-131-1/+1
|
* feat(guests/README): Add more detail and examplesKamen Mladenov2025-02-131-2/+33
|
* feat(README): Minor wording improvementsKamen Mladenov2025-02-131-4/+5
|
* feat: Add READMEKamen Mladenov2025-02-131-1/+170
|
* feat(zkvms): Add READMEKamen Mladenov2025-02-131-0/+57
|
* feat(guests): Add READMEKamen Mladenov2025-02-131-0/+106
|
* feat(gitignore): Ignore csv filesKamen Mladenov2025-02-111-0/+1
|
* fix(zkvms_host_io): Rename short metrics output flag to 'o'Kamen Mladenov2025-02-111-1/+1
|
* feat(zkvms): Change package versions from infdev to the corresponding zkVM ↵Kamen Mladenov2025-02-116-6/+6
| | | | versions
* feat(zkvms_host_io): Output guest name when benchmarkingKamen Mladenov2025-02-112-3/+3
|
* feat: Create LICENSEKamen Mladenov2025-02-111-0/+21
|
* feat(zkm): Remove copy of sdkKamen Mladenov2025-02-1019-2210/+0
|
* feat(zkm/default.nix): Use repository instad of local copy of sdk for ↵Kamen Mladenov2025-02-101-5/+13
| | | | libsnark Go module
* feat(zkm/host): Use cargo patching instead of local copy of sdkKamen Mladenov2025-02-103-163/+231
|
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-14 09:23:43 +0000