Skip to content

Instantly share code, notes, and snippets.

@huitseeker

huitseeker/gist:5f66110ae13f5adf36112da89eece211

Created February 7, 2024 18:07
Show Gist options
  • Save huitseeker/5f66110ae13f5adf36112da89eece211 to your computer and use it in GitHub Desktop.
Save huitseeker/5f66110ae13f5adf36112da89eece211 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
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 ┆
AZ_2, BZ_2, CZ_2 462μs ┆
cross terms 598μs ┆
T 100μs ┆
PedersenCommitmentEngine::commit 9ms ├┤
SNARK::prove 704ms ├─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┤
prove_cubic_with_additive_term 14ms ├┤
prove_quad 11ms ├┤
prove_quad_batch 10ms ├┤
HyperKZG::prove 608ms ├────────────────────────────────────────────────────────────────────────────────────────────────────┤
hyperkzg parallel commitments 179ms ├────────────────────────────┤
compute_challenge 12μs ┆
kzg_open_batch 425ms ├──────────────────────────────────────────────────────────────────────┤
get_batch_challenge 12μs ┆
kzg_opens 406ms ├──────────────────────────────────────────────────────────────────┤
verifier_second_challenge 7μs ┆
SNARK::prove 501ms ├──────────────────────────────────────────────────────────────────────────────────┤
prove_cubic_with_additive_term 2ms ┆
prove_quad 1ms ┆
prove_quad_batch 2ms ┆
IPA::prove 482ms ├───────────────────────────────────────────────────────────────────────────────┤
PedersenCommitmentKey::split_at 0ns ┆
PedersenCommitmentKey::scale 162μs ┆
PedersenCommitmentKey::split_at 49μs ┆
inner product 1 161μs ┆
inner product 2 98μs ┆
PedersenCommitmentKey::combine 54μs ┆
PedersenCommitmentEngine::commit 8ms │
PedersenCommitmentKey::combine 15μs ┆
PedersenCommitmentEngine::commit 4ms │
inner IPA absorbs 1μs ┆
a_vec folding 185μs ┆
b_vec folding 136μs ┆
PedersenCommitmentKey::fold 211ms ├──────────────────────────────────┤
PedersenCommitmentKey::split_at 6μs ┆
inner product 1 212μs ┆
inner product 2 79μs ┆
PedersenCommitmentKey::combine 23μs ┆
PedersenCommitmentEngine::commit 6ms │
PedersenCommitmentKey::combine 8μs ┆
PedersenCommitmentEngine::commit 5ms │
inner IPA absorbs 0ns ┆
a_vec folding 174μs ┆
b_vec folding 113μs ┆
PedersenCommitmentKey::fold 105ms ├────────────────┤
PedersenCommitmentKey::split_at 17μs ┆
inner product 1 751μs ┆
inner product 2 240μs ┆
PedersenCommitmentKey::combine 24μs ┆
PedersenCommitmentEngine::commit 3ms │
PedersenCommitmentKey::combine 13μs ┆
PedersenCommitmentEngine::commit 3ms │
inner IPA absorbs 0ns ┆
a_vec folding 408μs ┆
b_vec folding 101μs ┆
PedersenCommitmentKey::fold 53ms ├───────┤
PedersenCommitmentKey::split_at 2μs ┆
inner product 1 118μs ┆
inner product 2 65μs ┆
PedersenCommitmentKey::combine 2μs ┆
PedersenCommitmentEngine::commit 1ms ┆
PedersenCommitmentKey::combine 3μs ┆
PedersenCommitmentEngine::commit 1ms ┆
inner IPA absorbs 0ns ┆
a_vec folding 126μs ┆
b_vec folding 65μs ┆
PedersenCommitmentKey::fold 28ms ├───┤
PedersenCommitmentKey::split_at 3μs ┆
inner product 1 137μs ┆
inner product 2 45μs ┆
PedersenCommitmentKey::combine 2μs ┆
PedersenCommitmentEngine::commit 1ms ┆
PedersenCommitmentKey::combine 2μs ┆
PedersenCommitmentEngine::commit 1ms ┆
inner IPA absorbs 1μs ┆
a_vec folding 159μs ┆
b_vec folding 47μs ┆
PedersenCommitmentKey::fold 13ms ├┤
PedersenCommitmentKey::split_at 0ns ┆
inner product 1 53μs ┆
inner product 2 59μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 761μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 720μs ┆
inner IPA absorbs 1μs ┆
a_vec folding 107μs ┆
b_vec folding 49μs ┆
PedersenCommitmentKey::fold 6ms │
PedersenCommitmentKey::split_at 1μs ┆
inner product 1 50μs ┆
inner product 2 120μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 509μs ┆
PedersenCommitmentKey::combine 2μs ┆
PedersenCommitmentEngine::commit 451μs ┆
inner IPA absorbs 1μs ┆
a_vec folding 132μs ┆
b_vec folding 53μs ┆
PedersenCommitmentKey::fold 3ms │
PedersenCommitmentKey::split_at 1μs ┆
inner product 1 47μs ┆
inner product 2 62μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 699μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 839μs ┆
inner IPA absorbs 0ns ┆
a_vec folding 101μs ┆
b_vec folding 57μs ┆
PedersenCommitmentKey::fold 2ms ┆
PedersenCommitmentKey::split_at 1μs ┆
inner product 1 32μs ┆
inner product 2 61μs ┆
PedersenCommitmentKey::combine 0ns ┆
PedersenCommitmentEngine::commit 724μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 692μs ┆
inner IPA absorbs 0ns ┆
a_vec folding 88μs ┆
b_vec folding 36μs ┆
PedersenCommitmentKey::fold 1ms ┆
PedersenCommitmentKey::split_at 1μs ┆
inner product 1 39μs ┆
inner product 2 35μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 657μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 601μs ┆
inner IPA absorbs 0ns ┆
a_vec folding 91μs ┆
b_vec folding 22μs ┆
PedersenCommitmentKey::fold 615μs ┆
PedersenCommitmentKey::split_at 1μs ┆
inner product 1 26μs ┆
inner product 2 14μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 447μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 442μs ┆
inner IPA absorbs 0ns ┆
a_vec folding 146μs ┆
b_vec folding 20μs ┆
PedersenCommitmentKey::fold 527μs ┆
PedersenCommitmentKey::split_at 0ns ┆
inner product 1 43μs ┆
inner product 2 13μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 316μs ┆
PedersenCommitmentKey::combine 0ns ┆
PedersenCommitmentEngine::commit 312μs ┆
inner IPA absorbs 0ns ┆
a_vec folding 11μs ┆
b_vec folding 44μs ┆
PedersenCommitmentKey::fold 283μs ┆
PedersenCommitmentKey::split_at 1μs ┆
inner product 1 11μs ┆
inner product 2 14μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 292μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 287μs ┆
inner IPA absorbs 3μs ┆
a_vec folding 22μs ┆
b_vec folding 10μs ┆
PedersenCommitmentKey::fold 270μs ┆
PedersenCommitmentKey::split_at 0ns ┆
inner product 1 1μs ┆
inner product 2 0ns ┆
PedersenCommitmentKey::combine 0ns ┆
PedersenCommitmentEngine::commit 235μs ┆
PedersenCommitmentKey::combine 0ns ┆
PedersenCommitmentEngine::commit 234μs ┆
inner IPA absorbs 1μs ┆
a_vec folding 1μs ┆
b_vec folding 1μs ┆
PedersenCommitmentKey::fold 238μs ┆
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment