Skip to content

chore: use dependency tags - #18

Merged
stephenh-axiom-xyz merged 1 commit into
release-v1.0.1from
chore/update-to-tag
Aug 10, 2026
Merged

chore: use dependency tags#18
stephenh-axiom-xyz merged 1 commit into
release-v1.0.1from
chore/update-to-tag

Conversation

@stephenh-axiom-xyz

@stephenh-axiom-xyz stephenh-axiom-xyz commented Aug 10, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

@stephenh-axiom-xyz stephenh-axiom-xyz added the benchmark Runs the e2e benchmark label Aug 10, 2026
@github-actions

github-actions Bot commented Aug 10, 2026

Copy link
Copy Markdown

Code review

No issues found. Checked for bugs and CLAUDE.md compliance.

Last reviewed head SHA: 5030ccda949af43965be318f337a105654508436

@stephenh-axiom-xyz
stephenh-axiom-xyz merged commit 9250fd3 into release-v1.0.1 Aug 10, 2026
8 checks passed
@stephenh-axiom-xyz
stephenh-axiom-xyz deleted the chore/update-to-tag branch August 10, 2026 17:50
stephenh-axiom-xyz added a commit that referenced this pull request Aug 10, 2026
@stephenh-axiom-xyz
chore: use dependency tags (#18)
1dedd92
stephenh-axiom-xyz added a commit that referenced this pull request Aug 10, 2026
@stephenh-axiom-xyz
chore: use dependency tags (#18)
95609f1
@github-actions

This comment has been minimized.

Sign in to view
@github-actions

github-actions Bot commented Aug 10, 2026

Copy link
Copy Markdown
group total_proof_time_ms populate_inputs_time_ms halo2_wrapper_k halo2_verifier_k graph_witness_gen_time_ms collect_pvs_time_ms
halo2_outer 2,779 1 23 146 0
halo2_wrapper 1,490 22
group phase halo2_section_time_ms
halo2_outer create_proof 2,630
halo2_outer create_proof.commit_vanishing_random_poly 0
halo2_outer create_proof.commit_vanishing_random_poly.vanishing.commit 0
halo2_outer create_proof.gpu_pk_from_host 0
halo2_outer create_proof.phase1 760
halo2_outer create_proof.phase1.convert_raw_advice 760
halo2_outer create_proof.phase1.convert_raw_advice.add_blinding_factors 0
halo2_outer create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice 640
halo2_outer create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread 625
halo2_outer create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.advice_ifft 0
halo2_outer create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.advice_ifft.domain.lagrange_to_coeff_many_device_inputs 0
halo2_outer create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.advice_ifft.domain.lagrange_to_coeff_many_device_inputs.ifft_many_device_to_device 0
halo2_outer create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.advice_msms 539
halo2_outer create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.advice_msms.kzg.g_lagrange_device_first_touch 0
halo2_outer create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.advice_msms.multiexp_device_scalars_device_bases 48
halo2_outer create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.batch_normalize_commitments 0
halo2_outer create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.instance_ifft 20
halo2_outer create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.instance_ifft.domain.lagrange_to_coeff_many_device_inputs 0
halo2_outer create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.instance_ifft.domain.lagrange_to_coeff_many_device_inputs.ifft_many_device_to_device 0
halo2_outer create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.instance_to_device 64
halo2_outer create_proof.phase1.convert_raw_advice.transcript_write_squeeze 0
halo2_outer create_proof.phase2 101
halo2_outer create_proof.phase2.column_pool.upload 0
halo2_outer create_proof.phase2.lookup_commit_permuted 100
halo2_outer create_proof.phase2.lookup_commit_permuted.compress_expressions_in_place_device 0
halo2_outer create_proof.phase2.lookup_commit_permuted.kzg.g_lagrange_device_first_touch 0
halo2_outer create_proof.phase2.lookup_commit_permuted.multiexp_device_scalars_device_bases 13
halo2_outer create_proof.phase2.lookup_commit_permuted.permute_expression_pair 0
halo2_outer create_proof.phase3 353
halo2_outer create_proof.phase3.phase3a 281
halo2_outer create_proof.phase3.phase3a.permutation_commit 281
halo2_outer create_proof.phase3.phase3a.permutation_commit.domain.lagrange_to_coeff_device_input 0
halo2_outer create_proof.phase3.phase3a.permutation_commit.domain.lagrange_to_coeff_device_input.ifft_many_device_to_device 0
halo2_outer create_proof.phase3.phase3a.permutation_commit.grand_product_scan 0
halo2_outer create_proof.phase3.phase3a.permutation_commit.grand_product_scan.grand_product_device_inputs 0
halo2_outer create_proof.phase3.phase3a.permutation_commit.kzg.g_lagrange_device_first_touch 0
halo2_outer create_proof.phase3.phase3a.permutation_commit.multiexp_device_scalars_device_bases 48
halo2_outer create_proof.phase3.phase3a.permutation_commit.permutation_product_device_inputs 0
halo2_outer create_proof.phase3.phase3b 72
halo2_outer create_proof.phase3.phase3b.lookup_commit_product 72
halo2_outer create_proof.phase3.phase3b.lookup_commit_product.domain.lagrange_to_coeff_device_input 0
halo2_outer create_proof.phase3.phase3b.lookup_commit_product.domain.lagrange_to_coeff_device_input.ifft_many_device_to_device 0
halo2_outer create_proof.phase3.phase3b.lookup_commit_product.grand_product_device_inputs 0
halo2_outer create_proof.phase3.phase3b.lookup_commit_product.kzg.g_lagrange_device_first_touch 0
halo2_outer create_proof.phase3.phase3b.lookup_commit_product.lookup_product_device 0
halo2_outer create_proof.phase3.phase3b.lookup_commit_product.multiexp_device_scalars_device_bases 72
halo2_outer create_proof.phase4a 927
halo2_outer create_proof.phase4a.evaluate_h 927
halo2_outer create_proof.phase4a.evaluate_h.coeff_to_extended_part 0
halo2_outer create_proof.phase4a.evaluate_h.coeff_to_extended_part.domain.coeff_to_extended_part_many_device_device_inputs 0
halo2_outer create_proof.phase4a.evaluate_h.coeff_to_extended_part.domain.coeff_to_extended_part_many_device_device_inputs.cosetfft_many_device_to_device 0
halo2_outer create_proof.phase4a.evaluate_h.column_pool.upload 0
halo2_outer create_proof.phase4a.evaluate_h.custom_gates 47
halo2_outer create_proof.phase4a.evaluate_h.extended_from_lagrange_vec_device 0
halo2_outer create_proof.phase4a.evaluate_h.lookups 153
halo2_outer create_proof.phase4a.evaluate_h.lookups.gpu_quotient_lookups 109
halo2_outer create_proof.phase4a.evaluate_h.lookups.gpu_quotient_lookups.quotient_lookups_gpu.calculate_constraints_full_device 109
halo2_outer create_proof.phase4a.evaluate_h.lookups.gpu_quotient_lookups.quotient_lookups_gpu.calculate_constraints_full_device.fft_normal 8
halo2_outer create_proof.phase4a.evaluate_h.lookups.gpu_quotient_lookups.quotient_lookups_gpu.calculate_constraints_full_device.quotient_lookups 0
halo2_outer create_proof.phase4a.evaluate_h.lookups.table_values 43
halo2_outer create_proof.phase4a.evaluate_h.lookups.table_values.compress_expressions_with_runtime_constants_device 43
halo2_outer create_proof.phase4a.evaluate_h.lookups.take_values_device_for_assembly 0
halo2_outer create_proof.phase4a.evaluate_h.lookups.take_values_device_for_assembly.quotient_lookups_gpu.take_values_device 0
halo2_outer create_proof.phase4a.evaluate_h.permutation_quotient_poly_part 0
halo2_outer create_proof.phase4a.evaluate_h.permutation_quotient_poly_part.permutations 0
halo2_outer create_proof.phase4a.evaluate_h.permutation_quotient_poly_part.permutations.permutation_coset_fft 0
halo2_outer create_proof.phase4a.evaluate_h.permutation_quotient_poly_part.permutations.permutation_coset_fft.domain.coeff_to_extended_part_many_device_device_inputs 0
halo2_outer create_proof.phase4a.evaluate_h.permutation_quotient_poly_part.permutations.permutation_coset_fft.domain.coeff_to_extended_part_many_device_device_inputs.cosetfft_many_device_to_device 0
halo2_outer create_proof.phase4a.evaluate_h.permutation_quotient_poly_part.permutations.quotient_lookups_gpu.add_permutation_constraints 0
halo2_outer create_proof.phase4a.evaluate_h.permutation_quotient_poly_part.permutations.quotient_lookups_gpu.add_permutation_constraints.quotient_permutation 0
halo2_outer create_proof.phase4a.evaluate_h.quotient_lookups_gpu.new_with_device_selectors 26
halo2_outer create_proof.phase4b 201
halo2_outer create_proof.phase4b.commit_vanishing_h_x 201
halo2_outer create_proof.phase4b.commit_vanishing_h_x.vanishing.construct 201
halo2_outer create_proof.phase4b.commit_vanishing_h_x.vanishing.construct.domain.divide_by_vanishing_poly_device 0
halo2_outer create_proof.phase4b.commit_vanishing_h_x.vanishing.construct.domain.divide_by_vanishing_poly_device.divide_by_vanishing_poly_device 0
halo2_outer create_proof.phase4b.commit_vanishing_h_x.vanishing.construct.domain.extended_to_coeff_device 0
halo2_outer create_proof.phase4b.commit_vanishing_h_x.vanishing.construct.domain.extended_to_coeff_device.distribute_powers_zeta_device 0
halo2_outer create_proof.phase4b.commit_vanishing_h_x.vanishing.construct.domain.extended_to_coeff_device.fft_normal_device 0
halo2_outer create_proof.phase4b.commit_vanishing_h_x.vanishing.construct.kzg.g_device_first_touch 0
halo2_outer create_proof.phase4b.commit_vanishing_h_x.vanishing.construct.multiexp_device_scalars_device_bases 49
halo2_outer create_proof.phase5 284
halo2_outer create_proof.phase5.batch_eval_polynomial_device 3
halo2_outer create_proof.phase5.batch_eval_polynomial_device.batch_eval_polynomial_device_out 0
halo2_outer create_proof.phase5.lagrange_to_coeff 0
halo2_outer create_proof.phase5.lagrange_to_coeff.domain.lagrange_to_coeff_device_input 0
halo2_outer create_proof.phase5.lagrange_to_coeff.domain.lagrange_to_coeff_device_input.ifft_many_device_to_device 0
halo2_outer create_proof.phase5.lookup.evaluate.eval_at_block 18
halo2_outer create_proof.phase5.lookup.evaluate.eval_at_block.batch_eval_polynomial_device 18
halo2_outer create_proof.phase5.lookup.evaluate.eval_at_block.batch_eval_polynomial_device.batch_eval_polynomial_device_out 0
halo2_outer create_proof.phase5.permutation.evaluate.eval_at_loop 6
halo2_outer create_proof.phase5.permutation.evaluate.eval_at_loop.batch_eval_polynomial_device 6
halo2_outer create_proof.phase5.permutation.evaluate.eval_at_loop.batch_eval_polynomial_device.batch_eval_polynomial_device_out 0
halo2_outer create_proof.phase5.permutation_pk.evaluate 10
halo2_outer create_proof.phase5.permutation_pk.evaluate.batch_eval_polynomial_device_out 0
halo2_outer create_proof.phase5.phase5_multiopen 235
halo2_outer create_proof.phase5.phase5_multiopen.shplonk 235
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.construct_intermediate_sets 26
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.construct_intermediate_sets.batch_eval_polynomial_device 25
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.construct_intermediate_sets.batch_eval_polynomial_device.batch_eval_polynomial_device_out 0
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.h_commit 139
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.h_commit.kzg.g_device_first_touch 0
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.h_commit.multiexp_device_scalars_device_bases 139
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.h_x_device_reduce 0
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.poly_multiply_add_device 0
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.poly_scale_device_with_d_s_minus_one 0
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.quotient_contribution.rayon_worker 1
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.quotient_contribution.rayon_worker.kate_division_device_padded 0
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.quotient_contribution.rayon_worker.kate_division_device_with_d_root 0
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.quotient_contribution.rayon_worker.poly_sub_short_out_of_place_device 0
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.shplonk.final_l_x_kate_div 0
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.shplonk.final_l_x_kate_div.kate_division_device 0
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.shplonk.h_final_commit 66
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.shplonk.h_final_commit.kzg.g_device_first_touch 0
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.shplonk.h_final_commit.multiexp_device_scalars_device_bases 66
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.shplonk.l_x_device_reduce 0
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.shplonk.linearisation_contribution.rayon_worker 0
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.shplonk.linearisation_contribution.rayon_worker.poly_scale_device_with_d_s_minus_one 0
halo2_outer create_proof.phase5.phase5_multiopen.shplonk.shplonk.linearisation_contribution.rayon_worker.poly_sub_scalar_at_zero_device 0
halo2_outer create_proof.phase5.vanishing.evaluate 0
halo2_outer create_proof.phase5.vanishing.evaluate.device_fold 0
halo2_outer create_proof.phase5.vanishing.evaluate.device_fold.poly_scale_device_with_d_s_minus_one 0
halo2_wrapper create_proof 1,198
halo2_wrapper create_proof.batch_invert_witness 23
halo2_wrapper create_proof.batch_invert_witness.batch_invert_device 0
halo2_wrapper create_proof.batch_invert_witness.decode_assigned_into_denom_slice_device 23
halo2_wrapper create_proof.commit_vanishing_random_poly 0
halo2_wrapper create_proof.commit_vanishing_random_poly.vanishing.commit 0
halo2_wrapper create_proof.gpu_pk_from_host 0
halo2_wrapper create_proof.phase1 192
halo2_wrapper create_proof.phase1.convert_raw_advice 192
halo2_wrapper create_proof.phase1.convert_raw_advice.add_blinding_factors 0
halo2_wrapper create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice 132
halo2_wrapper create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread 124
halo2_wrapper create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.advice_ifft 20
halo2_wrapper create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.advice_ifft.domain.lagrange_to_coeff_many_device_inputs 20
halo2_wrapper create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.advice_ifft.domain.lagrange_to_coeff_many_device_inputs.ifft_many_device_to_device 20
halo2_wrapper create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.advice_msms 52
halo2_wrapper create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.advice_msms.kzg.g_lagrange_device_first_touch 0
halo2_wrapper create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.advice_msms.multiexp_device_scalars_device_bases 52
halo2_wrapper create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.batch_normalize_commitments 0
halo2_wrapper create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.instance_ifft 30
halo2_wrapper create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.instance_ifft.domain.lagrange_to_coeff_many_device_inputs 10
halo2_wrapper create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.instance_ifft.domain.lagrange_to_coeff_many_device_inputs.ifft_many_device_to_device 10
halo2_wrapper create_proof.phase1.convert_raw_advice.ifft_msm_instance_advice.new_gpu_thread.instance_to_device 20
halo2_wrapper create_proof.phase1.convert_raw_advice.transcript_write_squeeze 0
halo2_wrapper create_proof.phase2 64
halo2_wrapper create_proof.phase2.column_pool.upload 0
halo2_wrapper create_proof.phase2.lookup_commit_permuted 64
halo2_wrapper create_proof.phase2.lookup_commit_permuted.compress_expressions_in_place_device 10
halo2_wrapper create_proof.phase2.lookup_commit_permuted.kzg.g_lagrange_device_first_touch 0
halo2_wrapper create_proof.phase2.lookup_commit_permuted.multiexp_device_scalars_device_bases 10
halo2_wrapper create_proof.phase2.lookup_commit_permuted.permute_expression_pair 10
halo2_wrapper create_proof.phase3 116
halo2_wrapper create_proof.phase3.phase3a 80
halo2_wrapper create_proof.phase3.phase3a.permutation_commit 80
halo2_wrapper create_proof.phase3.phase3a.permutation_commit.domain.lagrange_to_coeff_device_input 0
halo2_wrapper create_proof.phase3.phase3a.permutation_commit.domain.lagrange_to_coeff_device_input.ifft_many_device_to_device 0
halo2_wrapper create_proof.phase3.phase3a.permutation_commit.grand_product_scan 0
halo2_wrapper create_proof.phase3.phase3a.permutation_commit.grand_product_scan.grand_product_device_inputs 0
halo2_wrapper create_proof.phase3.phase3a.permutation_commit.kzg.g_lagrange_device_first_touch 0
halo2_wrapper create_proof.phase3.phase3a.permutation_commit.multiexp_device_scalars_device_bases 80
halo2_wrapper create_proof.phase3.phase3a.permutation_commit.permutation_product_device_inputs 0
halo2_wrapper create_proof.phase3.phase3b 35
halo2_wrapper create_proof.phase3.phase3b.lookup_commit_product 35
halo2_wrapper create_proof.phase3.phase3b.lookup_commit_product.domain.lagrange_to_coeff_device_input 0
halo2_wrapper create_proof.phase3.phase3b.lookup_commit_product.domain.lagrange_to_coeff_device_input.ifft_many_device_to_device 0
halo2_wrapper create_proof.phase3.phase3b.lookup_commit_product.grand_product_device_inputs 0
halo2_wrapper create_proof.phase3.phase3b.lookup_commit_product.kzg.g_lagrange_device_first_touch 0
halo2_wrapper create_proof.phase3.phase3b.lookup_commit_product.lookup_product_device 0
halo2_wrapper create_proof.phase3.phase3b.lookup_commit_product.multiexp_device_scalars_device_bases 35
halo2_wrapper create_proof.phase4a 261
halo2_wrapper create_proof.phase4a.evaluate_h 261
halo2_wrapper create_proof.phase4a.evaluate_h.coeff_to_extended_part 0
halo2_wrapper create_proof.phase4a.evaluate_h.coeff_to_extended_part.domain.coeff_to_extended_part_many_device_device_inputs 0
halo2_wrapper create_proof.phase4a.evaluate_h.coeff_to_extended_part.domain.coeff_to_extended_part_many_device_device_inputs.cosetfft_many_device_to_device 0
halo2_wrapper create_proof.phase4a.evaluate_h.column_pool.upload 0
halo2_wrapper create_proof.phase4a.evaluate_h.custom_gates 0
halo2_wrapper create_proof.phase4a.evaluate_h.extended_from_lagrange_vec_device 0
halo2_wrapper create_proof.phase4a.evaluate_h.lookups 64
halo2_wrapper create_proof.phase4a.evaluate_h.lookups.gpu_quotient_lookups 64
halo2_wrapper create_proof.phase4a.evaluate_h.lookups.gpu_quotient_lookups.quotient_lookups_gpu.calculate_constraints_full_device 64
halo2_wrapper create_proof.phase4a.evaluate_h.lookups.gpu_quotient_lookups.quotient_lookups_gpu.calculate_constraints_full_device.fft_normal 4
halo2_wrapper create_proof.phase4a.evaluate_h.lookups.gpu_quotient_lookups.quotient_lookups_gpu.calculate_constraints_full_device.quotient_lookups 0
halo2_wrapper create_proof.phase4a.evaluate_h.lookups.table_values 0
halo2_wrapper create_proof.phase4a.evaluate_h.lookups.table_values.compress_expressions_with_runtime_constants_device 0
halo2_wrapper create_proof.phase4a.evaluate_h.lookups.take_values_device_for_assembly 0
halo2_wrapper create_proof.phase4a.evaluate_h.lookups.take_values_device_for_assembly.quotient_lookups_gpu.take_values_device 0
halo2_wrapper create_proof.phase4a.evaluate_h.permutation_quotient_poly_part 0
halo2_wrapper create_proof.phase4a.evaluate_h.permutation_quotient_poly_part.permutations 0
halo2_wrapper create_proof.phase4a.evaluate_h.permutation_quotient_poly_part.permutations.permutation_coset_fft 0
halo2_wrapper create_proof.phase4a.evaluate_h.permutation_quotient_poly_part.permutations.permutation_coset_fft.domain.coeff_to_extended_part_many_device_device_inputs 0
halo2_wrapper create_proof.phase4a.evaluate_h.permutation_quotient_poly_part.permutations.permutation_coset_fft.domain.coeff_to_extended_part_many_device_device_inputs.cosetfft_many_device_to_device 0
halo2_wrapper create_proof.phase4a.evaluate_h.permutation_quotient_poly_part.permutations.quotient_lookups_gpu.add_permutation_constraints 0
halo2_wrapper create_proof.phase4a.evaluate_h.permutation_quotient_poly_part.permutations.quotient_lookups_gpu.add_permutation_constraints.quotient_permutation 0
halo2_wrapper create_proof.phase4a.evaluate_h.quotient_lookups_gpu.new_with_device_selectors 0
halo2_wrapper create_proof.phase4b 134
halo2_wrapper create_proof.phase4b.commit_vanishing_h_x 134
halo2_wrapper create_proof.phase4b.commit_vanishing_h_x.vanishing.construct 134
halo2_wrapper create_proof.phase4b.commit_vanishing_h_x.vanishing.construct.domain.divide_by_vanishing_poly_device 0
halo2_wrapper create_proof.phase4b.commit_vanishing_h_x.vanishing.construct.domain.divide_by_vanishing_poly_device.divide_by_vanishing_poly_device 0
halo2_wrapper create_proof.phase4b.commit_vanishing_h_x.vanishing.construct.domain.extended_to_coeff_device 0
halo2_wrapper create_proof.phase4b.commit_vanishing_h_x.vanishing.construct.domain.extended_to_coeff_device.distribute_powers_zeta_device 0
halo2_wrapper create_proof.phase4b.commit_vanishing_h_x.vanishing.construct.domain.extended_to_coeff_device.fft_normal_device 0
halo2_wrapper create_proof.phase4b.commit_vanishing_h_x.vanishing.construct.kzg.g_device_first_touch 0
halo2_wrapper create_proof.phase4b.commit_vanishing_h_x.vanishing.construct.multiexp_device_scalars_device_bases 28
halo2_wrapper create_proof.phase5 121
halo2_wrapper create_proof.phase5.batch_eval_polynomial_device 1
halo2_wrapper create_proof.phase5.batch_eval_polynomial_device.batch_eval_polynomial_device_out 0
halo2_wrapper create_proof.phase5.lagrange_to_coeff 0
halo2_wrapper create_proof.phase5.lagrange_to_coeff.domain.lagrange_to_coeff_device_input 0
halo2_wrapper create_proof.phase5.lagrange_to_coeff.domain.lagrange_to_coeff_device_input.ifft_many_device_to_device 0
halo2_wrapper create_proof.phase5.lookup.evaluate.eval_at_block 9
halo2_wrapper create_proof.phase5.lookup.evaluate.eval_at_block.batch_eval_polynomial_device 9
halo2_wrapper create_proof.phase5.lookup.evaluate.eval_at_block.batch_eval_polynomial_device.batch_eval_polynomial_device_out 0
halo2_wrapper create_proof.phase5.permutation.evaluate.eval_at_loop 0
halo2_wrapper create_proof.phase5.permutation.evaluate.eval_at_loop.batch_eval_polynomial_device 0
halo2_wrapper create_proof.phase5.permutation.evaluate.eval_at_loop.batch_eval_polynomial_device.batch_eval_polynomial_device_out 0
halo2_wrapper create_proof.phase5.permutation_pk.evaluate 5
halo2_wrapper create_proof.phase5.permutation_pk.evaluate.batch_eval_polynomial_device_out 0
halo2_wrapper create_proof.phase5.phase5_multiopen 103
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk 103
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.construct_intermediate_sets 7
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.construct_intermediate_sets.batch_eval_polynomial_device 7
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.construct_intermediate_sets.batch_eval_polynomial_device.batch_eval_polynomial_device_out 0
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.h_commit 58
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.h_commit.kzg.g_device_first_touch 0
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.h_commit.multiexp_device_scalars_device_bases 58
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.h_x_device_reduce 0
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.poly_multiply_add_device 0
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.poly_scale_device_with_d_s_minus_one 0
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.quotient_contribution.rayon_worker 1
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.quotient_contribution.rayon_worker.kate_division_device_padded 0
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.quotient_contribution.rayon_worker.kate_division_device_with_d_root 0
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.quotient_contribution.rayon_worker.poly_sub_short_out_of_place_device 0
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.shplonk.final_l_x_kate_div 0
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.shplonk.final_l_x_kate_div.kate_division_device 0
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.shplonk.h_final_commit 35
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.shplonk.h_final_commit.kzg.g_device_first_touch 0
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.shplonk.h_final_commit.multiexp_device_scalars_device_bases 34
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.shplonk.l_x_device_reduce 0
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.shplonk.linearisation_contribution.rayon_worker 0
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.shplonk.linearisation_contribution.rayon_worker.poly_scale_device_with_d_s_minus_one 0
halo2_wrapper create_proof.phase5.phase5_multiopen.shplonk.shplonk.linearisation_contribution.rayon_worker.poly_sub_scalar_at_zero_device 0
halo2_wrapper create_proof.phase5.vanishing.evaluate 0
halo2_wrapper create_proof.phase5.vanishing.evaluate.device_fold 0
halo2_wrapper create_proof.phase5.vanishing.evaluate.device_fold.poly_scale_device_with_d_s_minus_one 0
halo2_wrapper create_proof.synthesize 268
phase halo2_section_time_ms
kzg.g_device_first_touch 20
kzg.g_lagrange_device_first_touch 0

primitives

group primitive halo2_section_time_ms
halo2_outer,halo2_wrapper fft_normal 12
halo2_outer,halo2_wrapper extended_from_lagrange_vec_device 0
halo2_outer,halo2_wrapper distribute_powers_zeta_device 0
halo2_outer,halo2_wrapper divide_by_vanishing_poly_device 0
halo2_outer,halo2_wrapper quotient_lookups 0
halo2_outer,halo2_wrapper quotient_permutation 0
halo2_outer,halo2_wrapper quotient_lookups_gpu.add_permutation_constraints 0
halo2_outer,halo2_wrapper quotient_lookups_gpu.take_values_device 0

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

benchmark Runs the e2e benchmark

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@stephenh-axiom-xyz