Website Summary Files Commits Branches @commit @diff @stats
Commit message (Collapse)AuthorAgeLinesSHA
* feat(guests): Add polynomial evaluation program evaluate_polynomial
 Kamen Mladenov
2025-03-05-0/+256f0a9a58
| | | | | | | 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 Mladenov
2025-03-05-4/+124eea9fa
| | | | to /tmp
* fix(zkvmLib): Use generated Cargo.lock in host build
 Kamen Mladenov
2025-03-05-0/+2c094dce
|
* fix(zkvms/zkm): Use string from alloc
 Kamen Mladenov
2025-03-05-2/+2f85bfb8
|
* feat(guests/zk_dungeon): Remove zkwasm block
 Kamen Mladenov
2025-03-05-1/+0eea1157
|
* feat(zkvms/zkwasm): Support non-numeric types as guest function output
 Kamen Mladenov
2025-03-05-25/+3494115de
|
* feat(zkvms/zkwasm): Export macro which converts to bytes vector as a library
 Kamen Mladenov
2025-03-05-112/+130776f0b6
|
* feat(guest): Add zk_dungeon program
 Kamen Mladenov
2025-03-04-0/+130298455c
| | | | | | | 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 print
 Kamen Mladenov
2025-03-04-2/+2b2635c1
|
* fix(guests_macro/parse_fn): Return unit ret type when main doesn't return ↵
 Kamen Mladenov
2025-03-04-0/+3b70295c
| | | | anything
* chore: Rust fmt
 Kamen Mladenov
2025-02-27-317/+4565b82ac7
|
* chore: Nix fmt
 Kamen Mladenov
2025-02-27-501/+41939ec264
|
* feat(flake): Add nixfmt formatter
 Kamen Mladenov
2025-02-27-0/+23b037df
|
* feat: Add script for formatting all rust files in a directory
 Kamen Mladenov
2025-02-27-1/+23a486a8e
| | | | This is meant to be used in our codebase, especially in CI pipelines
* docs(guest): Explain blacklisting feature
 Kamen Mladenov
2025-02-26-0/+127cae7ec
|
* fix(guest.nix): Make order of zkVM runs alphabetic
 Kamen Mladenov
2025-02-26-3/+30cc9b75
|
* feat(zkvmLib): Add ability to stop compilation and execution of certain ↵
 Kamen Mladenov
2025-02-26-101/+120c92624c
| | | | | | | | 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 features
 Kamen Mladenov
2025-02-26-4/+23aaedf9d
| | | | So you can make code modifications compile-time, based on the zkVM
* fix(zkvms/zkm): Downgrade host toolchain
 Kamen Mladenov
2025-02-26-1/+1438ec0bc2c
| | | | | | | 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 SDK
 Kamen Mladenov
2025-02-26-0/+524bba003
| | | | | | | 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 packages
 Kamen Mladenov
2025-02-26-2071/+136291fb361
| | | | | | | | 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 toolchains
 Kamen Mladenov
2025-02-26-0/+9c02d489
| | | | | 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.lock
 Kamen Mladenov
2025-02-26-0/+697975be
| | | | | | | | | | 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 dependencies
 Kamen Mladenov
2025-02-26-5/+15a8264df
| | | | | | | | | 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 clap
 Kamen Mladenov
2025-02-26-1/+15904bf4
| | | | | | 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 build
 Kamen Mladenov
2025-02-26-0/+168ced10
|
* docs(guests/README): Remove requirement for package name to be the same as ↵
 Kamen Mladenov
2025-02-18-2/+0d815a08
| | | | dir name
* feat(zkvmLib): Use generated Cargo.lock in guest phases and add guest dep ↵
 Kamen Mladenov
2025-02-18-4/+40e0404c
| | | | | | | properly Adding the zkp dependency with a command allows us to ignore the package's original name
* feat(zkvmLib): Reorganize and rename linkGuest phase
 Kamen Mladenov
2025-02-18-5/+899a6c88
|
* feat(zkvmLib): Handle duplicate entries in generated Cargo.lock file
 Kamen Mladenov
2025-02-18-4/+62f2ce346
|
* feat(zkvmLib): Use generated Cargo.lock in dependencies package
 Kamen Mladenov
2025-02-18-2/+319d878d
|
* feat: Add CONTRIBUTING
 Kamen Mladenov
2025-02-13-0/+1114d029a4
|
* fix(README): Wording update
 Kamen Mladenov
2025-02-13-1/+19d0a737
|
* fix(zkvms/README): Squash typos
 Kamen Mladenov
2025-02-13-1/+13d8e153
|
* fix(README): Squash typos
 Kamen Mladenov
2025-02-13-4/+432311fc
|
* feat(README): Add details on the available nix packages
 Kamen Mladenov
2025-02-13-2/+1628a13b1
|
* feat(guests/README): More specific link to zkvms README
 Kamen Mladenov
2025-02-13-1/+1c08e2c5
|
* feat(guests/README): Add more detail and examples
 Kamen Mladenov
2025-02-13-2/+33bec1651
|
* feat(README): Minor wording improvements
 Kamen Mladenov
2025-02-13-4/+504cb3f8
|
* feat: Add README
 Kamen Mladenov
2025-02-13-1/+17099b5db7
|
* feat(zkvms): Add README
 Kamen Mladenov
2025-02-13-0/+5732a586b
|
* feat(guests): Add README
 Kamen Mladenov
2025-02-13-0/+10606c7507
|
* feat(gitignore): Ignore csv files
 Kamen Mladenov
2025-02-11-0/+17e8e6df
|
* fix(zkvms_host_io): Rename short metrics output flag to 'o'
 Kamen Mladenov
2025-02-11-1/+1ceeb007
|
* feat(zkvms): Change package versions from infdev to the corresponding zkVM ↵
 Kamen Mladenov
2025-02-11-6/+650029c0
| | | | versions
* feat(zkvms_host_io): Output guest name when benchmarking
 Kamen Mladenov
2025-02-11-3/+3601d190
|
* feat: Create LICENSE
 Kamen Mladenov Unverified
2025-02-11-0/+214c34d47
|
* feat(zkm): Remove copy of sdk
 Kamen Mladenov
2025-02-10-2210/+00baed21
|
* feat(zkm/default.nix): Use repository instad of local copy of sdk for ↵
 Kamen Mladenov
2025-02-10-5/+1301b1997
| | | | libsnark Go module
* feat(zkm/host): Use cargo patching instead of local copy of sdk
 Kamen Mladenov
2025-02-10-163/+2316dc9a7f
|