aboutsummaryrefslogtreecommitdiff
path: root/zkvms
Commit message (Expand)AuthorAgeFilesLines
* chore: Nix and Rust fmtKamen Mladenov2025-04-044-18/+23
* feat(zkvms/zkm): Update SDK usage, add witness generation commandKamen Mladenov2025-04-043-65/+105
* feat(zkvms/risc0): Implement elf encodingKamen Mladenov2025-04-044-1/+29
* feat(zkvms/risc0): Upper bound for bytemuck_deriveKamen Mladenov2025-04-043-15/+17
* feat(zkvms/nexus): Update SDK usageKamen Mladenov2025-04-046-67/+30
* feat(zkvms/zkm): Remove SDK override, Go lib build, update SDK usageKamen Mladenov2025-04-044-84/+12
* feat(zkvms/jolt): Add libcxx and openssl dependencies, upper bound for bytemu...Kamen Mladenov2025-04-044-7/+8
* chore: Update flake.lock and Cargo.lockKamen Mladenov2025-04-0421-4326/+2494
* chore(flake.nix): Replace rust-overlay with fenixKamen Mladenov2025-04-042-5/+13
* 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
* fix(zkvms/jolt/host): Replace default formatting with debug formatting in printKamen Mladenov2025-03-041-2/+2
* chore: Rust fmtKamen Mladenov2025-02-2718-227/+304
* chore: Nix fmtKamen Mladenov2025-02-276-258/+149
* feat: Add zkvm cargo featuresKamen Mladenov2025-02-261-1/+1
* fix(zkvms/zkm): Downgrade host toolchainKamen Mladenov2025-02-261-0/+3
* fix(zkvms/zkm): Override zkm SDKKamen Mladenov2025-02-262-0/+52
* chore: Update zkVM packagesKamen Mladenov2025-02-2625-2067/+1358
* fix(zkvms/README): Squash typosKamen Mladenov2025-02-131-1/+1
* feat(zkvms): Add READMEKamen Mladenov2025-02-131-0/+57
* feat(zkvms): Change package versions from infdev to the corresponding zkVM ve...Kamen Mladenov2025-02-116-6/+6
* feat(zkm): Remove copy of sdkKamen Mladenov2025-02-1019-2210/+0
* feat(zkm/default.nix): Use repository instad of local copy of sdk for libsnar...Kamen Mladenov2025-02-101-5/+13
* feat(zkm/host): Use cargo patching instead of local copy of sdkKamen Mladenov2025-02-103-163/+231
* fix: Delete unused old input fileKamen Mladenov2025-02-106-6/+0
* fix(zkvms/risc0): Revert changes to benchmark only the relevant function callsKamen Mladenov2025-02-101-24/+20
* fix(zkvms/risc0): Move prove output from journal message to benchmarkable scopeKamen Mladenov2025-02-101-2/+1
* docs(zkvms/zkwasm): Add detailed documentation commentsKamen Mladenov2025-02-103-1/+65
* docs(zkvms/zkm): Add detailed documentation commentsKamen Mladenov2025-02-104-0/+33
* fix(zkvms/sp1): When benchmarking verification, only benchmark the function callKamen Mladenov2025-02-101-3/+5
* fix(zkvms/sp1): Remove unused guests_macro symlinkKamen Mladenov2025-02-101-1/+0
* docs(zkvms/sp1): Add detailed documentation commentsKamen Mladenov2025-02-102-0/+30
* docs(zkvms/nexus/wrapper_macro): Minor detail addedKamen Mladenov2025-02-101-1/+1
* fix(zkvms/risc0): Benchmark only the specific function instead of everything ...Kamen Mladenov2025-02-101-15/+23
* docs(zkvms/risc0): Add detailed documentation commentsKamen Mladenov2025-02-103-1/+33
* fix(zkvms/nexus): When benchmarking verification, benchmark only the verifica...Kamen Mladenov2025-02-101-3/+5
* docs(zkvms/nexus): Add detailed documentation commentsKamen Mladenov2025-02-103-0/+32
* docs(zkvms/jolt): Add detailed documentation commentsKamen Mladenov2025-02-103-1/+41
* chore(nexus): Update nix cargo dependenciesKamen Mladenov2025-02-104-35/+86
* feat(zkvms/jolt): Add benchmarking capabilityKamen Mladenov2025-02-071-5/+5
* fix(zkvms/jolt): Add proper panic on attempted executionKamen Mladenov2025-02-071-0/+3
* feat(zkvms/nexus): Add benchmarking capabilityKamen Mladenov2025-02-071-6/+9
* feat(zkvms/risc0): Add benchmarking capabilityKamen Mladenov2025-02-071-5/+7
* feat(zkvms/sp1): Add benchmarking capabilityKamen Mladenov2025-02-071-6/+6
* feat(zkvms/zkm): Add benchmarking capabilityKamen Mladenov2025-02-071-3/+7
* feat(zkvms/zkwasm): Add benchmarking capabilityKamen Mladenov2025-02-071-13/+15
* feat(zkvms): Use std (or alloc) collections in all guestsKamen Mladenov2025-02-075-7/+5
* feat(zkvms/zkwasm): Support all std containers as input typesKamen Mladenov2025-02-061-7/+14
* feat(zkvms/zkwasm): Proper handling of input strings and hashmapsKamen Mladenov2025-02-065-48/+52
* feat(zkvms/zkwasm): Use path input type and move container size information t...Kamen Mladenov2025-02-062-99/+127