François Garillot huitseeker
huitseeker
/ gist:add807778c9379edcdc194fee6b45bed
Created
April 18, 2024 13:39
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 |
huitseeker
/ gist:c3f9d7fa8a33e8f44f39b0c545d38023
Created
April 3, 2024 20:33
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 |
huitseeker
/ gist:a45a69a0c09d0045c1566093fc49d2c0
Created
April 3, 2024 16:00
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) |
huitseeker
/ gist:da5fe17613e8cc514a321c64913ce3da
Created
March 18, 2024 12:19
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 +++ |
huitseeker
/ gist:4854258399e06a7fe271bd3d67c454f8
Created
February 29, 2024 14:26
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 ┝━ ｉ [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 ┝━ ｉ [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 ┝━ ｉ [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 ┝━ ｉ [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/cor |
huitseeker
/ week-8-report-kadena.md
Created
February 22, 2024 16:47
huitseeker
/ week-8-report-jump.md
Created
February 20, 2024 17:45
huitseeker
/ gist:d4c4f93f9bcd59cf9dc114bef85926ee
Created
February 17, 2024 22:28
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) |
huitseeker
/ gist:fbfd63904832cb6d7eedca0fde592b1a
Created
February 17, 2024 21:51
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) |
huitseeker
/ gist:9094bf6b1c68d83f4c0290e68c6c5beb
Created
February 17, 2024 17:13
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
| 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 |
NewerOlder