Skip to content

Instantly share code, notes, and snippets.

View huitseeker's full-sized avatar

François Garillot huitseeker

463 followers · 298 following
View GitHub Profile
@huitseeker
huitseeker / week-7report.md
Created February 15, 2024 16:07

Lurk Lab Activity Reports

@huitseeker
huitseeker / january-report.md
Created February 14, 2024 15:23

Lurk Lab Activity Reports

@huitseeker
huitseeker / report.md
Created February 14, 2024 13:30

Lurk Lab Activity Reports

@huitseeker
huitseeker / gist:5f66110ae13f5adf36112da89eece211
Created February 7, 2024 18:07
Finished release [optimized] target(s) in 0.27s
Running `target/release/examples/minroot`
Number of constraints per step (primary circuit): 206594
Number of constraints per step (secondary circuit): 10538
Number of variables per step (primary circuit): 206586
Number of variables per step (secondary circuit): 10518
Compressed::Prove 1s ├───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┤
CompressedSNARK::prove 1s ├───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┤
NIFS::prove 12ms ├┤
AZ_1, BZ_1, CZ_1 825μs ┆
@huitseeker
huitseeker / gist:3ba54d1ea6df9528bf36e28103593913
Created February 7, 2024 17:47
Finished release [optimized] target(s) in 0.25s
Running `target/release/examples/minroot`
Number of constraints per step (primary circuit): 206594
Number of constraints per step (secondary circuit): 10538
Number of variables per step (primary circuit): 206586
Number of variables per step (secondary circuit): 10518
Compressed::Prove 12s ├──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┤
CompressedSNARK::prove 12s ├──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┤
NIFS::prove 14ms ┆
AZ_1, BZ_1, CZ_1 945μs ┆
@huitseeker
huitseeker / gist:bdbb330a84b28e1a5add9516af6623aa
Created January 26, 2024 01:58
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.5ms
PCS-Proving 10/nova_snark::provider::hyperkzg::EvaluationEngine<nova_snark::provider::hyperkzg::Bn256EngineKZG>/10 7.7ms
PCS-Proving 10/nova_snark::provider::mlkzg::EvaluationEngine<nova_snark::provider::mlkzg::Bn256Engi
@huitseeker
huitseeker / gist:c5b6fd61ec734840f634335c215fd099
Created January 26, 2024 01:57
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
huitseeker / gist:4adf58c70ba2ac95e9bc1373ab49448b
Created January 26, 2024 01:48
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
huitseeker / gist:8401e4be3ef1430277d3fee6cd84efc4
Last active January 26, 2024 00:30
{"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
huitseeker / gist:eb1a1812b1caefc496a73b3447a44652
Created January 25, 2024 02:01
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