François Garillot huitseeker
huitseeker
/ gist:8401e4be3ef1430277d3fee6cd84efc4
Last active
January 26, 2024 00:30
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
| {"reason":"compiler-artifact","package_id":"registry+https://github.com/rust-lang/crates.io-index#autocfg@1.1.0","manifest_path":"/home/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/autocfg-1.1.0/Cargo.toml","target":{"kind":["lib"],"crate_types":["lib"],"name":"autocfg","src_path":"/home/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/autocfg-1.1.0/src/lib.rs","edition":"2015","doc":true,"doctest":true,"test":true},"profile":{"opt_level":"0","debuginfo":0,"debug_assertions":false,"overflow_checks":false,"test":false},"features":[],"filenames":["/home/huitseeker/tmp/Nova/target/release/deps/libautocfg-e6a0820febf7e1cb.rlib","/home/huitseeker/tmp/Nova/target/release/deps/libautocfg-e6a0820febf7e1cb.rmeta"],"executable":null,"fresh":true} | |
| {"reason":"compiler-artifact","package_id":"registry+https://github.com/rust-lang/crates.io-index#proc-macro2@1.0.78","manifest_path":"/home/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/proc-macro2-1.0.78/Cargo.toml","target |
huitseeker
/ gist:eb1a1812b1caefc496a73b3447a44652
Created
January 25, 2024 02:01
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
| group dev killing_params | |
| ----- --- -------------- | |
| CompressedSNARK-Commitments/Prove/StepCircuitSize-0-8fe744a82bbc8042bf46915ce258705d8b69f6e8-2024-01-24 1.00 2.9±0.05s ? ?/sec | |
| CompressedSNARK-Commitments/Prove/StepCircuitSize-0-db4375f58356f121f706447b95fb76af230092af-2024-01-23 1.00 2.8±0.07s ? ?/sec | |
| CompressedSNARK-Commitments/Prove/StepCircuitSize-121247-8fe744a82bbc8042bf46915ce258705d8b69f6e8-2024-01-24 1.00 7.1±0.12s ? ?/sec | |
| CompressedSNARK-Commitments/Prove/StepCircuitSize-121247-db4375f58356f121f706447b95fb76af230092af-2024-01-23 1.00 7.2±0.11s ? ?/sec | |
| CompressedSN |
huitseeker
/ gist:cad65b7125f1cc78791ad0d8f2899bc5
Created
January 13, 2024 20:30
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) | |
| - [CompressedSNARKSuperNova-1circuit](#compressedsnarksupernova-1circuit) | |
| - [CompressedSNARKSuperNova-2circuit](#compressedsnarksupernova-2circuit) | |
| - [CompressedSNARKSuperNova-Commitments-2circuit](#compressedsnarksupernova-commitments-2circuit) |
huitseeker
/ grumpkin_corrected.json
Created
January 13, 2024 14:52
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
| {"reason":"benchmark-complete","id":"CompressedSNARK/Grumpkin/Prove-StepCircuitSize-0","report_directory":"/home/huitseeker/tmp/Nova/target/criterion/reports/CompressedSNARK/Grumpkin/Prove-StepCircuitSize-0","iteration_count":[2,2,2,2,2,2,2,2,2,2],"measured_values":[853210869.0,855760563.0,858388556.0,852692206.0,854569269.0,855083655.0,865932724.0,854311536.0,850045970.0,860423065.0],"unit":"ns","throughput":[],"typical":{"estimate":428020920.65,"lower_bound":426786000.7,"upper_bound":429458525.1,"unit":"ns"},"mean":{"estimate":428020920.65,"lower_bound":426786000.7,"upper_bound":429458525.1,"unit":"ns"},"median":{"estimate":427413231.0,"lower_bound":426605434.5,"upper_bound":429194278.0,"unit":"ns"},"median_abs_dev":{"estimate":1389881.5071746707,"lower_bound":286185.9022691846,"upper_bound":3622499.5261877775,"unit":"ns"},"slope":null,"change":null} | |
| {"reason":"benchmark-complete","id":"CompressedSNARK/Grumpkin/Verify-StepCircuitSize-0","report_directory":"/home/huitseeker/tmp/Nova/target/criterion/reports/ |
huitseeker
/ gist:18d3c2f67362ba23ccef8c4bce5b641a
Created
January 12, 2024 19:43
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) | |
| - [RecursiveSNARK](#recursivesnark) | |
| ## Benchmark Results | |
| ### RecursiveSNARK |
huitseeker
/ Benchmark-CPU.md
Last active
January 12, 2024 18:39
huitseeker
/ Benches.md
Last active
January 12, 2024 18:36
CPU bench of cpu_best_msm against SN on CPU
huitseeker
/ Benchmarks_fg.md
Last active
January 12, 2024 13:32
huitseeker
/ gist:99ba921da591497de7879d1724e3e96b
Created
January 5, 2024 20:48
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
| #!/bin/bash | |
| set -euo pipefail | |
| # Constants | |
| REGEX='s/^(\s*)pub(\(.*\))?\s/\1/' | |
| EX=".rs" | |
| MSG="removing public modifier(s) in" | |
| CHECK="cargo check --all --tests --examples --benches" |
huitseeker
/ gist:6d7561bbc3bb5c008ba70bbb44f2e104
Created
December 19, 2023 13:04
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
| diff --git a/src/lem/tests/eval_tests.rs b/src/lem/tests/eval_tests.rs | |
| index fbd5d4d9a..924a9e6e2 100644 | |
| --- a/src/lem/tests/eval_tests.rs | |
| +++ b/src/lem/tests/eval_tests.rs | |
| @@ -176,11 +176,11 @@ fn self_evaluating() { | |
| ] | |
| .into_iter() | |
| .for_each(|(expr, expt)| { | |
| - test_aux::<Coproc<Fr>>(s, expr, Some(expt), None, None, None, 1, &None); | |
| + test_aux::<Coproc<Fr>>(s, expr, Some(expt), None, None, None, expect!("1"), &None); |