This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
info: syncing channel updates for '1.76.0-x86_64-unknown-linux-gnu' | |
info: latest update on 2024-02-08, rust version 1.76.0 (07dca489a 2024-02-04) | |
info: downloading component 'cargo' | |
info: downloading component 'clippy' | |
info: downloading component 'rust-docs' | |
info: downloading component 'rust-std' for 'wasm32-unknown-unknown' | |
info: downloading component 'rust-std' | |
info: downloading component 'rustc' | |
info: downloading component 'rustfmt' | |
info: installing component 'cargo' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Checking circom-scotia v0.2.0 (https://github.com/lurk-lab/circom-scotia?branch=dev#e1ab689b) | |
Checking arecibo v0.2.0 (https://github.com/lurk-lab/arecibo?branch=cache-witnesses#a4c4d23c) | |
Checking statrs v0.16.0 | |
error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
--> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/circuit.rs:133:78 | |
| | |
133 | let i = AllocatedNum::alloc(cs.namespace(|| "i"), || Ok(self.inputs.get()?.i))?; | |
| ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | |
= note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
.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 +++ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Finished release [optimized] target(s) in 0.09s | |
Running `target/release/fibonacci-script` | |
[1;32mINFO [0m runtime.run(...) [ 17.4ms | 93.92% / 100.00% ] | |
[1;32mINFO [0m ┝━ load memory [ 217µs | 1.24% ] | |
[1;32mINFO [0m ┝━ 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 | |
[1;32mINFO [0m ┝━ 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 | |
[1;32mINFO [0m ┝━ 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 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/cor |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/python | |
####################################################################### | |
# This program is free software; you can redistribute it and/or # | |
# modify it under the terms of the GNU General Public License as # | |
# published by the Free Software Foundation; either version 2 of the # | |
# License, or (at your option) any later version. # | |
# # | |
# This program is distributed in the hope that it will be useful, but # | |
# WITHOUT ANY WARRANTY; without even the implied warranty of # | |
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU # |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Benchmarks | |
## Table of Contents | |
- [Benchmark Results](#benchmark-results) | |
- [CompressedSNARK](#compressedsnark) | |
- [CompressedSNARK-Commitments](#compressedsnark-commitments) | |
- [BatchedCompressedSNARK](#batchedcompressedsnark) | |
- [BatchedCompressedSNARK-Commitments](#batchedcompressedsnark-commitments) |
NewerOlder