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
OpenSSH_9.4p1, LibreSSL 3.3.6 | |
debug1: Reading configuration data /Users/huitseeker/.ssh/config | |
debug1: /Users/huitseeker/.ssh/config line 13: Applying options for * | |
debug1: Reading configuration data /etc/ssh/ssh_config | |
debug1: /etc/ssh/ssh_config line 21: include /etc/ssh/ssh_config.d/* matched no files | |
debug1: /etc/ssh/ssh_config line 54: Applying options for * | |
debug2: resolve_canonicalize: hostname 35.193.14.107 is address | |
debug3: expanded UserKnownHostsFile '~/.ssh/known_hosts' -> '/Users/huitseeker/.ssh/known_hosts' | |
debug3: expanded UserKnownHostsFile '~/.ssh/known_hosts2' -> '/Users/huitseeker/.ssh/known_hosts2' | |
debug1: Authenticator provider $SSH_SK_PROVIDER did not resolve; disabling |
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
# Benchmarks | |
## Table of Contents | |
- [Benchmark Results](#benchmark-results) | |
- [CompressedSNARK](#compressedsnark) | |
- [CompressedSNARK-Commitments](#compressedsnark-commitments) | |
- [BatchedCompressedSNARK](#batchedcompressedsnark) | |
- [BatchedCompressedSNARK-Commitments](#batchedcompressedsnark-commitments) |
NewerOlder