Skip to content

Instantly share code, notes, and snippets.

View huitseeker's full-sized avatar

François Garillot huitseeker

View GitHub Profile
Compiling sp1-cli v0.1.0 (/home/huitseeker/tmp/sp1/cli)
Finished dev [unoptimized + debuginfo] target(s) in 0.75s
Starting 1 test across 19 binaries (139 skipped; run ID: dc0f8363-6a18-43fc-bf2d-9043b61d8978, nextest profile: default)
FAIL [ 6.230s] sp1-core stark::machine::tests::test_mul_prove
--- STDOUT: sp1-core stark::machine::tests::test_mul_prove ---
running 1 test
test stark::machine::tests::test_mul_prove ... FAILED
warning: bls12381-pairing-script@0.1.0: bls12381-pairing built at 2024-04-03 09:22:42
warning: unused import: `SP1ProofWithIO`
--> src/main.rs:1:22
|
1 | use wp1_sdk::{utils, SP1ProofWithIO, SP1Prover, SP1Stdin, SP1Verifier};
| ^^^^^^^^^^^^^^
|
= note: `#[warn(unused_imports)]` on by default
warning: `bls12381-pairing-script` (bin "bls12381-pairing-script") generated 1 warning (run `cargo fix --bin "bls12381-pairing-script"` to apply 1 suggestion)
.DS_Store | Bin 6148 -> 0 bytes
.github/workflows/ci.yml | 2 -
Cargo.toml | 3 +-
README.md | 22 +-
air/src/virtual_column.rs | 31 +-
baby-bear/Cargo.toml | 9 +
baby-bear/src/baby_bear.rs | 65 +-
baby-bear/src/lib.rs | 25 +
baby-bear/src/mds.rs | 564 +++++++++
baby-bear/src/poseidon2.rs | 140 +++
Finished release [optimized] target(s) in 0.09s
Running `target/release/fibonacci-script`
INFO  runtime.run(...) [ 17.4ms | 93.92% / 100.00% ]
INFO  ┝━ load memory [ 217µs | 1.24% ]
INFO  ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42
INFO  ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53
INFO  ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42
INFO  ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/cor

Lurk Lab Activity Reports

Lurk Lab Activity Reports

# Benchmarks
## Table of Contents
- [Benchmark Results](#benchmark-results)
- [CompressedSNARK](#compressedsnark)
- [CompressedSNARK-Commitments](#compressedsnark-commitments)
- [BatchedCompressedSNARK](#batchedcompressedsnark)
- [BatchedCompressedSNARK-Commitments](#batchedcompressedsnark-commitments)
# Benchmarks
## Table of Contents
- [Benchmark Results](#benchmark-results)
- [CompressedSNARK](#compressedsnark)
- [CompressedSNARK-Commitments](#compressedsnark-commitments)
- [BatchedCompressedSNARK](#batchedcompressedsnark)
- [BatchedCompressedSNARK-Commitments](#batchedcompressedsnark-commitments)
huitseeker@sleipnir➜tmp/Nova/benches(dev✗)» git checkout rayon_parscan [11:46:17]
Switched to branch 'rayon_parscan'
huitseeker@sleipnir➜tmp/Nova/benches(rayon_parscan✗)» ARECIBO_BENCH_OUTPUT=commit-comment just gpu-bench-ci pcs
/home/huitseeker//.gem/ruby/3.0.0/bin:/home/huitseeker/.opam/fiat/bin:/home/huitseeker//node_modules/.bin:/home/huitseeker//.local/share/ponyup/bin:/home/huitseeker//.local/bin:/bin:/home/huitseeker//golang/bin:/home/huitseeker//bin:/home/huitseeker//.g
em/ruby/3.0.0/bin:/home/huitseeker/.opam/fiat/bin:/home/huitseeker//node_modules/.bin:/home/huitseeker//.local/share/ponyup/bin:/home/huitseeker//.local/bin:/bin:/home/huitseeker//golang/bin:/home/huitseeker//bin:/home/huitseeker//.cargo/bin:/usr/texbin
/:/usr/local/bin:/usr/local/sbin:/home/huitseeker//bin:/home/huitseeker//.gem/ruby/3.0.0/bin:/home/huitseeker/.opam/fiat/bin:/home/huitseeker//node_modules/.bin:/home/huitseeker//.local/share/ponyup/bin:/home/huitseeker//.local/bin:/bin:/home/huitseeker
//golang/bin:/home/huitseeker//bi

Lurk Lab Activity Reports