Issues
- 0
Dockerfile for executing a sp1 script
#901 opened by mw2000 - 0
- 2
Self-modifying code?
#791 opened by matthiasgoergens - 5
Benchmark and accelerate `bn254` precompiles in `revm`
#723 opened by puma314 - 1
- 0
- 0
- 0
cargo prove --version showing commit hash, but not the more friendly tagged version (ex: testnet-1.0.4)
#865 opened by MauroToscano - 0
sp1up: set specific version
#863 opened by MauroToscano - 2
- 2
Implement an optimized SP1 Serializer
#724 opened by puma314 - 2
Deviations from Risc-V spec
#797 opened by matthiasgoergens - 1
- 1
Improve CLI
#814 opened by zemse - 0
- 0
add more meaningful github actions
#799 opened by malik672 - 1
Invalid Poseidon2 Chip Test Case
#743 opened by nyunyunyunyu - 0
Bug: underconstrained uint256_div
#746 opened by 0xLogos - 0
SP1PublicValues handling for the aggregation proof
#727 opened by shriphani - 0
[docs] Add a markdown to each precompile specifying some overall performance numbers
#722 opened by ValarDragon - 1
ProverClient::new() is slow
#705 opened by jtguibas - 0
ProverClient::new() is slow
#706 opened by jtguibas - 1
CI improvements
#680 opened by matthiasgoergens - 0
- 2
Proofs created using different ELF files still pass with client.verify(ELF, proof)
#596 opened by Levike34 - 0
- 0
- 0
Add `ignore-rust-version` flag to `sp1-helper`
#606 opened by ratankaliani - 1
SP1 version is not pinned when running `cargo prove new`, leading to errors
#513 opened by MauroToscano - 2
Proof format
#569 opened by makiv2 - 2
sp1_zkvm::io::write_slice() not found
#583 opened by Levike34 - 1
- 5
Failed to run custom command
#564 opened by Levike34 - 0
How long does it take to run test_prove_sp1?
#558 opened by juchiast - 5
- 1
Json Example dependency is missing
#446 opened by Chengcheng-S - 2
- 1
Precompile: BLS-12-381 operations
#334 opened by S1nus - 1
Outdated call to `Perm::new`
#474 opened by delehef - 3
Fibonacci example for large N
#361 opened by bogatyy - 0
- 3
Rand: How does it work for hashmaps
#333 opened by ValarDragon - 0
Incorrect template program
#472 opened by delehef - 0
SP1Verifier::verify panics
#468 opened by JulianGCalderon - 1
Question: how does lookup work in sp1? how are sends & receives converted to lookups?
#349 opened by GopherJ - 2
rename cargo-prove to cargo-sp1?
#344 opened by GopherJ - 1
save proof does not work
#348 opened by qiweiii - 1
ring crate does not compile
#324 opened by jtguibas - 3
- 0
Compilation Issue with `serial` Feature
#332 opened by 0xkanekiken