Skip to content

perf(gpu): Implement BlockAir for Global.#2772

Open
erabinov wants to merge 6 commits into
mainfrom
erabinov/air_block_global
Open

perf(gpu): Implement BlockAir for Global.#2772
erabinov wants to merge 6 commits into
mainfrom
erabinov/air_block_global

Conversation

@erabinov
Copy link
Copy Markdown
Contributor

@erabinov erabinov commented May 5, 2026

Currently, all constraint evaluations of the Global chip in zerocheck occur entirely sequentially. In this PR, we implement the BlockAir trait for the chip so that the zerocheck prover can know which constraints it can evaluate in parallel blocks.

@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented May 5, 2026

Test Old New Diff
k256_test_recover_rand_lte_100 4457023 4450774 -0.1402 %
k256_test_recover_pubkey_infinity 98275 98275 0.0000 %
sha_test_sha2_v0_10_9_expected_digest_lte_100_times 1766404 1767549 0.0648 %
curve25519_dalek_ng_test_add_then_multiply 4396849 4663252 6.0590 %
curve25519_dalek_ng_test_zero_msm 125561 125561 0.0000 %
bls12_381_tests_test_inverse_fp2_100 2766659 2766659 0.0000 %
curve25519_dalek_test_decompressed_noncanonical 7661 7661 0.0000 %
p256_test_verify_rand_lte_100 11907782 11879479 -0.2377 %
curve25519_dalek_test_ed25519_verify 13288636 13287943 -0.0052 %
secp256k1_program_test_recover_rand_lte_100 5485376 5492984 0.1387 %
bn_test_bn_test_g1_mul_zero 46126 46126 0.0000 %
p256_test_recover_pubkey_infinity 102291 102291 0.0000 %
curve25519_dalek_test_zero_msm 83637 83637 0.0000 %
k256_test_verify_rand_lte_100 11908517 11903065 -0.0458 %
curve25519_dalek_ng_test_decompressed_noncanonical 195591 195591 0.0000 %
sha_test_sha2_v0_10_6_expected_digest_lte_100_times 1764136 1763469 -0.0378 %
bls12_381_tests_test_bls_add_100 10502109 10502109 0.0000 %
bls12_381_tests_test_bls_double_100 6348822 6348822 0.0000 %
bn_test_bn_test_fq_partial_ord 184121 184121 0.0000 %
k256_test_schnorr_verify 5753972 5754091 0.0021 %
sha_test_sha2_v0_10_8_expected_digest_lte_100_times 1765130 1770516 0.3051 %
bn_test_bn_test_fq_inverse_100 834818 834818 0.0000 %
curve25519_dalek_test_zero_mul 72087 72087 0.0000 %
sha_test_sha2_v0_9_9_expected_digest_lte_100_times 1263070 1266184 0.2465 %
sha_test_sha3_expected_digest_lte_100_times 1609254 1609212 -0.0026 %
bn_test_bn_test_fr_inverse_100 851818 851818 0.0000 %
curve25519_dalek_ng_test_zero_mul 108070 108070 0.0000 %
bn_test_bn_test_g1_double_100 727496 727496 0.0000 %
bls12_381_tests_test_inverse_fp_100 1416559 1416559 0.0000 %
keccack_test_expected_digest_lte_100 1718998 1716026 -0.1729 %
rust_crypto_rsa_test_pkcs_verify_100 28930023 28836728 -0.3225 %
bls12_381_tests_test_sqrt_fp_100 931163 1036447 11.3067 %
secp256k1_program_test_recover_v0_30_0_rand_lte_100 5482773 5500932 0.3312 %
bn_test_bn_test_g1_add_100 986810 986810 0.0000 %
bn_test_bn_test_g1_add_neg 306880 306880 0.0000 %
curve25519_dalek_test_add_then_multiply 3061504 2932988 -4.1978 %
bls12_381_tests_test_sqrt_fp2_100 1680932 1721922 2.4385 %
bn_test_bn_test_fq_sqrt_100 833218 833218 0.0000 %
curve25519_dalek_test_decompressed_expected_value 4545358 4663597 2.6013 %
p256_test_recover_rand_lte_100 16004462 15948699 -0.3484 %
p256_test_recover_high_hash_high_recid 5843182 5237502 -10.3656 %
secp256k1_program_test_verify_rand_lte_100 17169990 17107152 -0.3660 %
secp256k1_program_test_verify_v0_30_0_rand_lte_100 17156119 17150449 -0.0330 %
k256_test_point_ops_edge_cases 33844 33844 0.0000 %
k256_test_recover_high_hash_high_recid 2015220 1960787 -2.7011 %
rustcrypto_bigint_test_bigint_mul_add_residue 1736502 1736508 0.0003 %
rustcrypto_bigint_test_bigint_mul_mod_special 1753919 1753919 0.0000 %
bn_test_bn_test_g1_msm_edge 406722 406722 0.0000 %

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant