François Garillot huitseeker
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
/ comparebooks.py
Created
December 28, 2010 14:03
{Chrome bookmarks} \ {Delicious bookmarks}
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 # |
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