huitseeker

docs/PROOF.md:Lemma run_unwrap_or_default {T : Set}
CoqOfRust/proofs/M.v:  Lemma eqb_refl (kind : IntegerKind.t) : IntegerKind.eqb kind kind = true.
CoqOfRust/experiments/MonadExperiments.v:  Lemma State_is_valid : State.Valid.t State_Trait.
CoqOfRust/experiments/MonadExperiments.v:  Lemma run_main :
CoqOfRust/lib/proofs/lib.v:  Lemma normalize_wrap_is_valid (kind : IntegerKind.t) (z : Z) :
CoqOfRust/lib/proofs/lib.v:  Lemma normalize_with_error_eq (kind : IntegerKind.t) (z z' : Z) :
CoqOfRust/lib/proofs/lib.v:    Lemma add_is_valid (kind : IntegerKind.t) (z1 z2 z : Z)
CoqOfRust/core/num/flt2dec/strategy/grisu.v:            // scale fps. this gives the maximal error of 1 ulp (proved from Theorem 5.1).
CoqOfRust/core/num/flt2dec/strategy/grisu.v:            // Theorem 6.2: if `k` is the greatest integer s.t. `0 <= y mod 10^k <= y - x`,
CoqOfRust/core/num/flt2dec/strategy/grisu.v:            // find the digit length `kappa` between `(minus1, plus1)` as per Theorem 6.2.

huitseeker

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

huitseeker

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'

huitseeker

    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

huitseeker

   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

huitseeker

warning: [email protected]: 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)

huitseeker

 .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 +++

huitseeker

    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     ┝━ ｉ [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     ┝━ ｉ [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     ┝━ ｉ [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     ┝━ ｉ [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/cor

huitseeker

Lurk Lab Activity Reports

huitseeker

Lurk Lab Activity Reports