François Garillot huitseeker
huitseeker
/ gist:4adf58c70ba2ac95e9bc1373ab49448b
Created
January 26, 2024 01: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
| group main main_before_299_300 zeromorp_and_kzg_pr | |
| ----- ---- ------------------- ------------------- | |
| PCS-Proving 10/nova_snark::provider::hyperkzg::EvaluationEngine<halo2curves::bn256::engine::Bn256, nova_snark::provider::Bn256EngineKZG>/10 7.5±0.02ms | |
| PCS-Proving 10/nova_snark::provider::hyperkzg::EvaluationEngine<nova_snark::provider::hyperkzg::Bn256EngineKZG>/10 7.7±0.09ms | |
| PCS-Proving 10/nova_snark::provider::mlkzg::EvaluationEngine<nova_snark::provider::mlkzg: |
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#[email protected]","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#[email protected]","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" |