Skip to content

Instantly share code, notes, and snippets.

@huitseeker

huitseeker/gist:3ba54d1ea6df9528bf36e28103593913

Created February 7, 2024 17:47
Show Gist options
  • Save huitseeker/3ba54d1ea6df9528bf36e28103593913 to your computer and use it in GitHub Desktop.
Save huitseeker/3ba54d1ea6df9528bf36e28103593913 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
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 ┆
AZ_2, BZ_2, CZ_2 902μs ┆
cross terms 700μs ┆
T 98μs ┆
PedersenCommitmentEngine::commit 11ms ┆
PPSNARK::prove 7s ├───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┤
PPSNARK::prove_commit_to_matrices 538ms ├───────┤
PPSNARK::prove_evals_at_tau 22ms ┆
PPSNARK::prove_commit_to_evaluation_oracles 1s ├──────────────────┤
sumcheck_instances 1s ├─────────────────────────────┤
PPSNARK:prove_helper 295ms ├───┤
HyperKZG::prove 2s ├──────────────────────────────────────────────┤
hyperkzg parallel commitments 763ms ├──────────┤
compute_challenge 13μs ┆
kzg_open_batch 2s ├──────────────────────────────────┤
get_batch_challenge 24μs ┆
kzg_opens 2s ├─────────────────────────────────┤
verifier_second_challenge 9μs ┆
PPSNARK::prove 4s ├─────────────────────────────────────────────────────────────────────────┤
PPSNARK::prove_commit_to_matrices 23ms ┆
PPSNARK::prove_evals_at_tau 3ms ┆
PPSNARK::prove_commit_to_evaluation_oracles 182ms ├─┤
sumcheck_instances 264ms ├──┤
PPSNARK:prove_helper 45ms │
IPA::prove 4s ├────────────────────────────────────────────────────────────────┤
PedersenCommitmentKey::split_at 1μs ┆
PedersenCommitmentKey::scale 147μs ┆
PedersenCommitmentKey::split_at 380μs ┆
inner product 1 377μs ┆
inner product 2 266μs ┆
PedersenCommitmentKey::combine 123μs ┆
PedersenCommitmentEngine::commit 59ms │
PedersenCommitmentKey::combine 431μs ┆
PedersenCommitmentEngine::commit 59ms │
inner IPA absorbs 1μs ┆
a_vec folding 592μs ┆
b_vec folding 656μs ┆
PedersenCommitmentKey::fold 1s ├────────────────────────────┤
PedersenCommitmentKey::split_at 133μs ┆
inner product 1 300μs ┆
inner product 2 195μs ┆
PedersenCommitmentKey::combine 192μs ┆
PedersenCommitmentEngine::commit 33ms │
PedersenCommitmentKey::combine 234μs ┆
PedersenCommitmentEngine::commit 31ms │
inner IPA absorbs 0ns ┆
a_vec folding 301μs ┆
b_vec folding 265μs ┆
PedersenCommitmentKey::fold 990ms ├──────────────┤
PedersenCommitmentKey::split_at 104μs ┆
inner product 1 260μs ┆
inner product 2 298μs ┆
PedersenCommitmentKey::combine 108μs ┆
PedersenCommitmentEngine::commit 17ms ┆
PedersenCommitmentKey::combine 25μs ┆
PedersenCommitmentEngine::commit 16ms ┆
inner IPA absorbs 1μs ┆
a_vec folding 235μs ┆
b_vec folding 147μs ┆
PedersenCommitmentKey::fold 436ms ├─────┤
PedersenCommitmentKey::split_at 10μs ┆
inner product 1 181μs ┆
inner product 2 124μs ┆
PedersenCommitmentKey::combine 14μs ┆
PedersenCommitmentEngine::commit 9ms ┆
PedersenCommitmentKey::combine 42μs ┆
PedersenCommitmentEngine::commit 12ms ┆
inner IPA absorbs 1μs ┆
a_vec folding 165μs ┆
b_vec folding 161μs ┆
PedersenCommitmentKey::fold 231ms ├──┤
PedersenCommitmentKey::split_at 5μs ┆
inner product 1 156μs ┆
inner product 2 81μs ┆
PedersenCommitmentKey::combine 6μs ┆
PedersenCommitmentEngine::commit 7ms ┆
PedersenCommitmentKey::combine 7μs ┆
PedersenCommitmentEngine::commit 6ms ┆
inner IPA absorbs 1μs ┆
a_vec folding 209μs ┆
b_vec folding 113μs ┆
PedersenCommitmentKey::fold 108ms ├┤
PedersenCommitmentKey::split_at 4μs ┆
inner product 1 139μs ┆
inner product 2 98μs ┆
PedersenCommitmentKey::combine 6μs ┆
PedersenCommitmentEngine::commit 3ms ┆
PedersenCommitmentKey::combine 4μs ┆
PedersenCommitmentEngine::commit 3ms ┆
inner IPA absorbs 1μs ┆
a_vec folding 224μs ┆
b_vec folding 136μs ┆
PedersenCommitmentKey::fold 60ms │
PedersenCommitmentKey::split_at 2μs ┆
inner product 1 100μs ┆
inner product 2 33μs ┆
PedersenCommitmentKey::combine 2μs ┆
PedersenCommitmentEngine::commit 1ms ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 1ms ┆
inner IPA absorbs 1μs ┆
a_vec folding 118μs ┆
b_vec folding 99μs ┆
PedersenCommitmentKey::fold 29ms ┆
PedersenCommitmentKey::split_at 2μs ┆
inner product 1 128μs ┆
inner product 2 39μs ┆
PedersenCommitmentKey::combine 2μs ┆
PedersenCommitmentEngine::commit 1ms ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 1ms ┆
inner IPA absorbs 1μs ┆
a_vec folding 103μs ┆
b_vec folding 50μs ┆
PedersenCommitmentKey::fold 14ms ┆
PedersenCommitmentKey::split_at 1μs ┆
inner product 1 182μs ┆
inner product 2 134μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 710μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 723μs ┆
inner IPA absorbs 1μs ┆
a_vec folding 118μs ┆
b_vec folding 26μs ┆
PedersenCommitmentKey::fold 7ms ┆
PedersenCommitmentKey::split_at 1μs ┆
inner product 1 66μs ┆
inner product 2 32μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 454μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 456μs ┆
inner IPA absorbs 1μs ┆
a_vec folding 96μs ┆
b_vec folding 24μs ┆
PedersenCommitmentKey::fold 4ms ┆
PedersenCommitmentKey::split_at 1μs ┆
inner product 1 109μs ┆
inner product 2 17μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 774μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 749μs ┆
inner IPA absorbs 0ns ┆
a_vec folding 83μs ┆
b_vec folding 57μs ┆
PedersenCommitmentKey::fold 2ms ┆
PedersenCommitmentKey::split_at 0ns ┆
inner product 1 35μs ┆
inner product 2 41μs ┆
PedersenCommitmentKey::combine 0ns ┆
PedersenCommitmentEngine::commit 607μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 667μs ┆
inner IPA absorbs 1μs ┆
a_vec folding 146μs ┆
b_vec folding 84μs ┆
PedersenCommitmentKey::fold 1ms ┆
PedersenCommitmentKey::split_at 1μs ┆
inner product 1 12μs ┆
inner product 2 12μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 547μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 602μs ┆
inner IPA absorbs 0ns ┆
a_vec folding 34μs ┆
b_vec folding 27μs ┆
PedersenCommitmentKey::fold 699μs ┆
PedersenCommitmentKey::split_at 1μs ┆
inner product 1 12μs ┆
inner product 2 16μs ┆
PedersenCommitmentKey::combine 3μs ┆
PedersenCommitmentEngine::commit 425μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 415μs ┆
inner IPA absorbs 0ns ┆
a_vec folding 79μs ┆
b_vec folding 11μs ┆
PedersenCommitmentKey::fold 539μs ┆
PedersenCommitmentKey::split_at 0ns ┆
inner product 1 42μs ┆
inner product 2 67μs ┆
PedersenCommitmentKey::combine 7μs ┆
PedersenCommitmentEngine::commit 319μs ┆
PedersenCommitmentKey::combine 0ns ┆
PedersenCommitmentEngine::commit 311μs ┆
inner IPA absorbs 0ns ┆
a_vec folding 25μs ┆
b_vec folding 56μs ┆
PedersenCommitmentKey::fold 266μs ┆
PedersenCommitmentKey::split_at 0ns ┆
inner product 1 16μs ┆
inner product 2 14μs ┆
PedersenCommitmentKey::combine 1μs ┆
PedersenCommitmentEngine::commit 297μs ┆
PedersenCommitmentKey::combine 0ns ┆
PedersenCommitmentEngine::commit 291μs ┆
inner IPA absorbs 3μs ┆
a_vec folding 13μs ┆
b_vec folding 13μs ┆
PedersenCommitmentKey::fold 270μs ┆
PedersenCommitmentKey::split_at 1μs ┆
inner product 1 1μs ┆
inner product 2 0ns ┆
PedersenCommitmentKey::combine 0ns ┆
PedersenCommitmentEngine::commit 235μs ┆
PedersenCommitmentKey::combine 0ns ┆
PedersenCommitmentEngine::commit 236μs ┆
inner IPA absorbs 4μs ┆
a_vec folding 0ns ┆
b_vec folding 0ns ┆
PedersenCommitmentKey::fold 244μs ┆
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment