| Commit message (Collapse) | Author | Age | Lines | SHA |
| |
|
|
|
| |
The previous value would result in a crash. This value will produce a
succesfull prove after ~5.5 hours.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
| |
Originally tried by Dimo Dimov
Co-authored-by: Dimo99 <dimodimov1999@gmail.com>
|
| | |
|
| |
|
|
| |
Simple program which tests the SHA256 hashing algorithm
|
| | |
|
| |
|
|
|
|
| |
early return
This test should be pretty difficult for Noir, but less so for the zkVMs
|
| | |
|
| |
|
|
|
|
|
| |
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>
|
| | |
|
| | |
|
| |
|
|
| |
So you can make code modifications compile-time, based on the zkVM
|
| |
|
|
|
|
|
|
| |
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
|
| |
|
|
| |
dir name
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
Note: SP1 still proved this incorrect program successfully
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
For use in Nexus
|
| | |
|
| |
|