diff --git a/third_party/move/move-prover/lab/data/mono/mod_by_mod.svg b/third_party/move/move-prover/lab/data/mono/mod_by_mod.svg index 5fd84411572..dd86fb14d65 100644 --- a/third_party/move/move-prover/lab/data/mono/mod_by_mod.svg +++ b/third_party/move/move-prover/lab/data/mono/mod_by_mod.svg @@ -1,407 +1 @@ - - - - -= poly_backend - - - -= mono_backend - - -0x1::DiemAccount - - - -7.006 - - - -5.063 - - -0x1::Diem - - - -3.364 - - - -2.177 - - -0x1::ValidatorAdministrationScripts - - - -2.101 - - - -1.191 - - -0x1::DiemSystem - - - -2.023 - - - -1.123 - - -0x1::TreasuryComplianceScripts - - - -1.998 - - - -1.606 - - -0x1::AccountAdministrationScripts - - - -1.431 - - - -1.187 - - -0x1::AccountCreationScripts - - - -1.300 - - - -1.215 - - -0x1::DiemTimestamp - - - -1.272 - - - -1.245 - - -0x1::Roles - - - -1.270 - - - -1.107 - - -0x1::Genesis - - - -1.142 - - - -1.084 - - -0x1::DualAttestation - - - -1.121 - - - -0.923 - - -0x1::AccountLimits - - - -1.096 - - - -0.743 - - -0x1::TransactionFee - - - -0.905 - - - -0.790 - - -0x1::ValidatorConfig - - - -0.902 - - - -0.709 - - -0x1::RecoveryAddress - - - -0.822 - - - -0.550 - - -0x1::DiemConfig - - - -0.774 - - - -0.596 - - -0x1::DesignatedDealer - - - -0.745 - - - -0.613 - - -0x1::VASP - - - -0.740 - - - -0.568 - - -0x1::DiemTransactionPublishingOption - - - -0.732 - - - -0.607 - - -0x1::SharedEd25519PublicKey - - - -0.729 - - - -0.598 - - -0x1::XDX - - - -0.715 - - - -0.680 - - -0x1::AccountFreezing - - - -0.709 - - - -0.576 - - -0x1::SystemAdministrationScripts - - - -0.665 - - - -0.535 - - -0x1::RegisteredCurrencies - - - -0.647 - - - -0.470 - - -0x1::DiemVMConfig - - - -0.643 - - - -0.508 - - -0x1::XUS - - - -0.638 - - - -0.542 - - -0x1::DiemBlock - - - -0.635 - - - -0.544 - - -0x1::CoreAddresses - - - -0.631 - - - -0.452 - - -0x1::Authenticator - - - -0.612 - - - -0.460 - - -0x1::ValidatorOperatorConfig - - - -0.585 - - - -0.446 - - -0x1::DiemVersion - - - -0.574 - - - -0.481 - - -0x1::DiemConsensusConfig - - - -0.566 - - - -0.443 - - -0x1::ChainId - - - -0.546 - - - -0.417 - - -0x1::SlidingNonce - - - -0.529 - - - -0.427 - - -0x1::PaymentScripts - - - -0.379 - - - -0.311 - - -0x1::Signature - - - -0.369 - - - -0.303 - - += poly_backend= mono_backend0x1::DiemAccount7.0065.0630x1::Diem3.3642.1770x1::ValidatorAdministrationScripts2.1011.1910x1::DiemSystem2.0231.1230x1::TreasuryComplianceScripts1.9981.6060x1::AccountAdministrationScripts1.4311.1870x1::AccountCreationScripts1.3001.2150x1::DiemTimestamp1.2721.2450x1::Roles1.2701.1070x1::Genesis1.1421.0840x1::DualAttestation1.1210.9230x1::AccountLimits1.0960.7430x1::TransactionFee0.9050.7900x1::ValidatorConfig0.9020.7090x1::RecoveryAddress0.8220.5500x1::DiemConfig0.7740.5960x1::DesignatedDealer0.7450.6130x1::VASP0.7400.5680x1::DiemTransactionPublishingOption0.7320.6070x1::SharedEd25519PublicKey0.7290.5980x1::XDX0.7150.6800x1::AccountFreezing0.7090.5760x1::SystemAdministrationScripts0.6650.5350x1::RegisteredCurrencies0.6470.4700x1::DiemVMConfig0.6430.5080x1::XUS0.6380.5420x1::DiemBlock0.6350.5440x1::CoreAddresses0.6310.4520x1::Authenticator0.6120.4600x1::ValidatorOperatorConfig0.5850.4460x1::DiemVersion0.5740.4810x1::DiemConsensusConfig0.5660.4430x1::ChainId0.5460.4170x1::SlidingNonce0.5290.4270x1::PaymentScripts0.3790.3110x1::Signature0.3690.303 \ No newline at end of file diff --git a/third_party/move/move-prover/lab/data/new-boogie-aptos-framework/mod_by_mod_boogie_3.0.9.svg b/third_party/move/move-prover/lab/data/new-boogie-aptos-framework/mod_by_mod_boogie_3.0.9.svg index 98ae4b1554d..cf9fb581c64 100644 --- a/third_party/move/move-prover/lab/data/new-boogie-aptos-framework/mod_by_mod_boogie_3.0.9.svg +++ b/third_party/move/move-prover/lab/data/new-boogie-aptos-framework/mod_by_mod_boogie_3.0.9.svg @@ -1,1188 +1 @@ - - - - -= current_boogie_1 - - - -= current_boogie_2 - - - -= current_boogie_3 - - - -= new_boogie_1 - - - -= new_boogie_2 - - - -= new_boogie_3 - - -0x1::gas_schedule - - - -104.634 - - - -106.439 - - - -104.991 - - - -104.530 - - - -106.978 - - - -104.656 - - -0x1::aptos_governance - - - -64.568 - - - -64.887 - - - -64.877 - - - -65.185 - - - -65.225 - - - -64.952 - - -0x1::block - - - -61.558 - - - -61.195 - - - -61.299 - - - -61.223 - - - -61.399 - - - -61.468 - - -0x1::genesis - - - -51.659 - - - -52.374 - - - -51.863 - - - -52.083 - - - -52.356 - - - -52.035 - - -0x1::staking_contract - - - -34.124 - - - -34.052 - - - -34.290 - - - -34.169 - - - -34.364 - - - -34.057 - - -0x1::execution_config - - - -31.121 - - - -31.850 - - - -30.937 - - - -31.180 - - - -31.640 - - - -31.057 - - -0x1::stake - - - -26.325 - - - -26.489 - - - -26.231 - - - -27.309 - - - -26.403 - - - -26.390 - - -0x1::reconfiguration - - - -19.666 - - - -19.785 - - - -19.664 - - - -19.785 - - - -19.691 - - - -19.638 - - -0x1::consensus_config - - - -18.899 - - - -18.913 - - - -18.831 - - - -18.787 - - - -18.836 - - - -18.825 - - -0x1::version - - - -15.664 - - - -15.670 - - - -15.640 - - - -15.614 - - - -15.657 - - - -15.614 - - -0x1::voting - - - -5.897 - - - -5.903 - - - -5.956 - - - -5.927 - - - -5.980 - - - -5.975 - - -0x1::transaction_validation - - - -5.490 - - - -5.503 - - - -5.482 - - - -5.497 - - - -5.510 - - - -5.475 - - -0x1::multisig_account - - - -5.185 - - - -5.093 - - - -5.060 - - - -5.012 - - - -5.036 - - - -5.063 - - -0x1::storage_gas - - - -3.503 - - - -3.533 - - - -3.502 - - - -3.506 - - - -3.541 - - - -3.528 - - -0x1::vesting - - - -3.408 - - - -3.316 - - - -3.299 - - - -3.332 - - - -3.323 - - - -3.352 - - -0x1::coin - - - -2.708 - - - -2.689 - - - -2.678 - - - -2.751 - - - -2.662 - - - -2.668 - - -0x1::aptos_account - - - -2.436 - - - -2.437 - - - -2.445 - - - -2.547 - - - -2.438 - - - -2.444 - - -0x1::transaction_fee - - - -2.418 - - - -2.448 - - - -2.435 - - - -2.415 - - - -2.458 - - - -2.437 - - -0x1::staking_config - - - -2.296 - - - -2.302 - - - -2.298 - - - -2.321 - - - -2.299 - - - -2.312 - - -0x1::account - - - -2.259 - - - -2.250 - - - -2.238 - - - -2.267 - - - -2.235 - - - -2.236 - - -0x1::object - - - -2.014 - - - -2.026 - - - -2.014 - - - -1.989 - - - -2.067 - - - -2.013 - - -0x1::resource_account - - - -1.576 - - - -1.589 - - - -1.593 - - - -1.580 - - - -1.578 - - - -1.591 - - -0x1::optional_aggregator - - - -1.310 - - - -1.238 - - - -1.226 - - - -1.241 - - - -1.225 - - - -1.222 - - -0x1::staking_proxy - - - -1.287 - - - -1.293 - - - -1.283 - - - -1.269 - - - -1.279 - - - -1.275 - - -0x1::code - - - -1.219 - - - -1.230 - - - -1.226 - - - -1.217 - - - -1.232 - - - -1.240 - - -0x1::managed_coin - - - -1.166 - - - -1.170 - - - -1.192 - - - -1.175 - - - -1.157 - - - -1.153 - - -0x1::aptos_coin - - - -1.010 - - - -1.011 - - - -1.006 - - - -1.007 - - - -1.007 - - - -0.997 - - -0x1::chain_status - - - -0.952 - - - -0.950 - - - -0.948 - - - -1.018 - - - -0.962 - - - -0.956 - - -0x1::state_storage - - - -0.889 - - - -0.899 - - - -0.894 - - - -0.883 - - - -0.899 - - - -0.885 - - -0x1::timestamp - - - -0.888 - - - -0.892 - - - -0.899 - - - -0.907 - - - -0.891 - - - -0.887 - - -0x1::system_addresses - - - -0.813 - - - -0.818 - - - -0.820 - - - -0.871 - - - -0.825 - - - -0.817 - - -0x1::event - - - -0.736 - - - -0.715 - - - -0.726 - - - -0.737 - - - -0.715 - - - -0.719 - - -0x1::guid - - - -0.732 - - - -0.730 - - - -0.738 - - - -0.759 - - - -0.733 - - - -0.732 - - -0x1::aggregator_factory - - - -0.731 - - - -0.698 - - - -0.685 - - - -0.694 - - - -0.683 - - - -0.685 - - -0x1::transaction_context - - - -0.672 - - - -0.671 - - - -0.675 - - - -0.722 - - - -0.671 - - - -0.674 - - -0x1::aggregator - - - -0.669 - - - -0.624 - - - -0.628 - - - -0.632 - - - -0.628 - - - -0.633 - - -0x1::chain_id - - - -0.654 - - - -0.646 - - - -0.648 - - - -0.670 - - - -0.661 - - - -0.645 - - -0x1::governance_proposal - - - -0.642 - - - -0.644 - - - -0.650 - - - -0.646 - - - -0.643 - - - -0.647 - - -0x1::util - - - -0.625 - - - -0.629 - - - -0.627 - - - -0.623 - - - -0.628 - - - -0.630 - - -0x1::create_signer - - - -0.420 - - - -0.412 - - - -0.414 - - - -0.411 - - - -0.412 - - - -0.412 - - -0x1::fungible_asset - - - -0.414 - - - -0.415 - - - -0.413 - - - -0.413 - - - -0.425 - - - -0.416 - - -0x1::primary_fungible_store - - - -0.413 - - - -0.422 - - - -0.409 - - - -0.413 - - - -0.413 - - - -0.415 - - -0x1::delegation_pool - - - -0.412 - - - -0.415 - - - -0.414 - - - -0.411 - - - -0.418 - - - -0.413 - - += current_boogie_1= current_boogie_2= current_boogie_3= new_boogie_1= new_boogie_2= new_boogie_30x1::gas_schedule104.634106.439104.991104.530106.978104.6560x1::aptos_governance64.56864.88764.87765.18565.22564.9520x1::block61.55861.19561.29961.22361.39961.4680x1::genesis51.65952.37451.86352.08352.35652.0350x1::staking_contract34.12434.05234.29034.16934.36434.0570x1::execution_config31.12131.85030.93731.18031.64031.0570x1::stake26.32526.48926.23127.30926.40326.3900x1::reconfiguration19.66619.78519.66419.78519.69119.6380x1::consensus_config18.89918.91318.83118.78718.83618.8250x1::version15.66415.67015.64015.61415.65715.6140x1::voting5.8975.9035.9565.9275.9805.9750x1::transaction_validation5.4905.5035.4825.4975.5105.4750x1::multisig_account5.1855.0935.0605.0125.0365.0630x1::storage_gas3.5033.5333.5023.5063.5413.5280x1::vesting3.4083.3163.2993.3323.3233.3520x1::coin2.7082.6892.6782.7512.6622.6680x1::aptos_account2.4362.4372.4452.5472.4382.4440x1::transaction_fee2.4182.4482.4352.4152.4582.4370x1::staking_config2.2962.3022.2982.3212.2992.3120x1::account2.2592.2502.2382.2672.2352.2360x1::object2.0142.0262.0141.9892.0672.0130x1::resource_account1.5761.5891.5931.5801.5781.5910x1::optional_aggregator1.3101.2381.2261.2411.2251.2220x1::staking_proxy1.2871.2931.2831.2691.2791.2750x1::code1.2191.2301.2261.2171.2321.2400x1::managed_coin1.1661.1701.1921.1751.1571.1530x1::aptos_coin1.0101.0111.0061.0071.0070.9970x1::chain_status0.9520.9500.9481.0180.9620.9560x1::state_storage0.8890.8990.8940.8830.8990.8850x1::timestamp0.8880.8920.8990.9070.8910.8870x1::system_addresses0.8130.8180.8200.8710.8250.8170x1::event0.7360.7150.7260.7370.7150.7190x1::guid0.7320.7300.7380.7590.7330.7320x1::aggregator_factory0.7310.6980.6850.6940.6830.6850x1::transaction_context0.6720.6710.6750.7220.6710.6740x1::aggregator0.6690.6240.6280.6320.6280.6330x1::chain_id0.6540.6460.6480.6700.6610.6450x1::governance_proposal0.6420.6440.6500.6460.6430.6470x1::util0.6250.6290.6270.6230.6280.6300x1::create_signer0.4200.4120.4140.4110.4120.4120x1::fungible_asset0.4140.4150.4130.4130.4250.4160x1::primary_fungible_store0.4130.4220.4090.4130.4130.4150x1::delegation_pool0.4120.4150.4140.4110.4180.413 \ No newline at end of file diff --git a/third_party/move/move-prover/lab/data/new-boogie-aptos-stdlib/fun_by_fun_boogie_3.0.1.svg b/third_party/move/move-prover/lab/data/new-boogie-aptos-stdlib/fun_by_fun_boogie_3.0.1.svg index 972851aa784..2952a377cdf 100644 --- a/third_party/move/move-prover/lab/data/new-boogie-aptos-stdlib/fun_by_fun_boogie_3.0.1.svg +++ b/third_party/move/move-prover/lab/data/new-boogie-aptos-stdlib/fun_by_fun_boogie_3.0.1.svg @@ -1,14229 +1 @@ - - - - -= current_boogie_1 - - - -= current_boogie_2 - - - -= current_boogie_3 - - - -= new_boogie_1 - - - -= new_boogie_2 - - - -= new_boogie_3 - - -smart_vector::borrow - - - -23.253 - - - -23.629 - - - -23.361 - - - -8.894 - - - -8.910 - - - -8.929 - - -fixed_point64::round - - - -8.299 - - - -8.258 - - - -8.448 - - - -2.436 - - - -2.439 - - - -2.513 - - -big_vector::pop_back - - - -3.227 - - - -3.217 - - - -3.220 - - - -3.590 - - - -3.589 - - - -3.691 - - -big_vector::push_back - - - -2.860 - - - -2.860 - - - -2.851 - - - -4.053 - - - -4.045 - - - -4.086 - - -smart_vector::borrow_mut - - - -1.999 - - - -2.005 - - - -1.995 - - - -1.274 - - - -1.331 - - - -1.268 - - -type_info::account_address - - - -1.006 - - - -0.794 - - - -1.026 - - - -0.636 - - - -0.642 - - - -0.635 - - -smart_vector::singleton - - - -0.911 - - - -0.927 - - - -0.907 - - - -1.127 - - - -1.131 - - - -1.172 - - -smart_vector::reverse - - - -0.890 - - - -0.877 - - - -0.883 - - - -1.010 - - - -1.021 - - - -1.014 - - -fixed_point64::floor - - - -0.812 - - - -0.795 - - - -0.797 - - - -0.771 - - - -0.775 - - - -0.773 - - -smart_vector::add_all - - - -0.709 - - - -0.705 - - - -0.705 - - - -0.813 - - - -0.822 - - - -0.812 - - -fixed_point64::create_from_u128 - - - -0.700 - - - -0.699 - - - -0.701 - - - -0.759 - - - -0.759 - - - -0.761 - - -fixed_point64::multiply_u128 - - - -0.689 - - - -0.689 - - - -0.688 - - - -0.650 - - - -0.652 - - - -0.657 - - -fixed_point64::divide_u128 - - - -0.682 - - - -0.678 - - - -0.679 - - - -0.741 - - - -0.743 - - - -0.741 - - -comparator::compare_u8_vector - - - -0.677 - - - -0.716 - - - -0.669 - - - -0.764 - - - -0.729 - - - -0.735 - - -pool_u64_unbound::buy_in - - - -0.667 - - - -0.675 - - - -0.678 - - - -0.760 - - - -0.751 - - - -0.756 - - -pool_u64_unbound::redeem_shares - - - -0.650 - - - -0.647 - - - -0.645 - - - -0.722 - - - -0.720 - - - -0.736 - - -multi_ed25519::public_key_validate_v2 - - - -0.649 - - - -0.602 - - - -0.599 - - - -0.678 - - - -0.685 - - - -0.680 - - -smart_vector::destroy_empty - - - -0.648 - - - -0.639 - - - -0.642 - - - -0.742 - - - -0.737 - - - -0.756 - - -big_vector::borrow_mut - - - -0.645 - - - -0.649 - - - -0.649 - - - -0.711 - - - -0.714 - - - -0.722 - - -multi_ed25519::new_validated_public_key_from_bytes_v2 - - - -0.643 - - - -0.601 - - - -0.594 - - - -0.673 - - - -0.679 - - - -0.674 - - -smart_vector::contains - - - -0.643 - - - -0.643 - - - -0.651 - - - -0.749 - - - -0.749 - - - -0.753 - - -crypto_algebra::div - - - -0.639 - - - -0.602 - - - -0.602 - - - -0.672 - - - -0.673 - - - -0.696 - - -pool_u64_unbound::transfer_shares - - - -0.639 - - - -0.696 - - - -0.637 - - - -0.712 - - - -0.712 - - - -0.717 - - -multi_ed25519::unvalidated_public_key_threshold - - - -0.638 - - - -0.594 - - - -0.595 - - - -0.663 - - - -0.681 - - - -0.664 - - -crypto_algebra::double - - - -0.634 - - - -0.576 - - - -0.580 - - - -0.639 - - - -0.644 - - - -0.652 - - -smart_vector::is_empty - - - -0.634 - - - -0.634 - - - -0.629 - - - -0.724 - - - -0.723 - - - -0.737 - - -smart_vector::index_of - - - -0.632 - - - -0.635 - - - -0.638 - - - -0.725 - - - -0.723 - - - -0.728 - - -big_vector::borrow - - - -0.630 - - - -0.629 - - - -0.627 - - - -0.701 - - - -0.700 - - - -0.698 - - -smart_vector::empty - - - -0.630 - - - -0.625 - - - -0.624 - - - -0.733 - - - -0.716 - - - -0.728 - - -smart_vector::new - - - -0.630 - - - -0.629 - - - -0.625 - - - -0.736 - - - -0.715 - - - -0.719 - - -smart_vector::empty_with_config - - - -0.630 - - - -0.626 - - - -0.637 - - - -0.732 - - - -0.723 - - - -0.736 - - -crypto_algebra::multi_pairing - - - -0.629 - - - -0.626 - - - -0.626 - - - -0.717 - - - -0.718 - - - -0.739 - - -smart_vector::to_vector - - - -0.629 - - - -0.632 - - - -0.638 - - - -0.726 - - - -0.770 - - - -0.726 - - -ristretto255_pedersen::randomness_base_for_bulletproof - - - -0.626 - - - -0.611 - - - -0.616 - - - -0.685 - - - -0.683 - - - -0.707 - - -smart_vector::length - - - -0.626 - - - -0.625 - - - -0.639 - - - -0.721 - - - -0.726 - - - -0.720 - - -big_vector::singleton - - - -0.621 - - - -0.619 - - - -0.617 - - - -0.694 - - - -0.682 - - - -0.700 - - -crypto_algebra::multi_scalar_mul - - - -0.620 - - - -0.620 - - - -0.620 - - - -0.706 - - - -0.712 - - - -0.711 - - -ristretto255_pedersen::new_commitment_for_bulletproof - - - -0.619 - - - -0.614 - - - -0.620 - - - -0.691 - - - -0.736 - - - -0.693 - - -ristretto255_elgamal::new_ciphertext_from_bytes - - - -0.616 - - - -0.628 - - - -0.620 - - - -0.715 - - - -0.717 - - - -0.710 - - -multi_ed25519::unvalidated_public_key_num_sub_pks - - - -0.615 - - - -0.571 - - - -0.572 - - - -0.637 - - - -0.684 - - - -0.635 - - -pool_u64_unbound::balance - - - -0.614 - - - -0.614 - - - -0.612 - - - -0.681 - - - -0.683 - - - -0.681 - - -ristretto255_pedersen::new_commitment_from_bytes - - - -0.613 - - - -0.614 - - - -0.610 - - - -0.704 - - - -0.703 - - - -0.727 - - -ristretto255::new_point_from_bytes - - - -0.612 - - - -0.636 - - - -0.584 - - - -0.673 - - - -0.671 - - - -0.673 - - -ristretto255_bulletproofs::range_proof_to_bytes - - - -0.612 - - - -0.571 - - - -0.567 - - - -0.633 - - - -0.641 - - - -0.680 - - -ristretto255_elgamal::new_pubkey_from_bytes - - - -0.610 - - - -0.613 - - - -0.611 - - - -0.716 - - - -0.704 - - - -0.699 - - -secp256k1::ecdsa_recover - - - -0.610 - - - -0.610 - - - -0.610 - - - -0.694 - - - -0.686 - - - -0.681 - - -big_vector::contains - - - -0.609 - - - -0.601 - - - -0.598 - - - -0.668 - - - -0.665 - - - -0.718 - - -aptos_hash::sip_hash_from_value - - - -0.608 - - - -0.616 - - - -0.578 - - - -0.658 - - - -0.637 - - - -0.639 - - -multi_ed25519::check_and_get_threshold - - - -0.607 - - - -0.585 - - - -0.589 - - - -0.658 - - - -0.665 - - - -0.654 - - -bls12381::aggregate_signatures - - - -0.606 - - - -0.609 - - - -0.612 - - - -0.691 - - - -0.688 - - - -0.688 - - -crypto_algebra::handles_from_elements - - - -0.605 - - - -0.606 - - - -0.601 - - - -0.678 - - - -0.691 - - - -0.677 - - -from_bcs::to_bytes - - - -0.604 - - - -0.566 - - - -0.566 - - - -0.632 - - - -0.633 - - - -0.633 - - -type_info::verify_type_of - - - -0.603 - - - -0.580 - - - -0.586 - - - -0.673 - - - -0.639 - - - -0.638 - - -crypto_algebra::downcast - - - -0.603 - - - -0.597 - - - -0.596 - - - -0.679 - - - -0.706 - - - -0.692 - - -pool_u64_unbound::amount_to_shares_with_total_coins - - - -0.603 - - - -0.603 - - - -0.604 - - - -0.674 - - - -0.681 - - - -0.677 - - -type_info::verify_type_of_generic - - - -0.602 - - - -0.574 - - - -0.577 - - - -0.639 - - - -0.650 - - - -0.642 - - -math_fixed::exp - - - -0.602 - - - -0.608 - - - -0.602 - - - -0.668 - - - -0.666 - - - -0.672 - - -math_fixed64::exp - - - -0.602 - - - -0.603 - - - -0.623 - - - -0.688 - - - -0.672 - - - -0.670 - - -pool_u64_unbound::shares_to_amount_with_total_coins - - - -0.602 - - - -0.596 - - - -0.598 - - - -0.670 - - - -0.665 - - - -0.670 - - -ristretto255::scalar_invert - - - -0.602 - - - -0.609 - - - -0.601 - - - -0.669 - - - -0.676 - - - -0.675 - - -fixed_point64::equal - - - -0.601 - - - -0.573 - - - -0.570 - - - -0.637 - - - -0.650 - - - -0.636 - - -bls12381::verify_aggregate_signature - - - -0.600 - - - -0.607 - - - -0.603 - - - -0.688 - - - -0.693 - - - -0.695 - - -math_fixed64::exp_raw - - - -0.600 - - - -0.598 - - - -0.636 - - - -0.684 - - - -0.667 - - - -0.671 - - -crypto_algebra::inv - - - -0.599 - - - -0.596 - - - -0.599 - - - -0.673 - - - -0.674 - - - -0.718 - - -aptos_hash::sha2_512 - - - -0.598 - - - -0.576 - - - -0.589 - - - -0.638 - - - -0.635 - - - -0.642 - - -math_fixed::exp_raw - - - -0.598 - - - -0.593 - - - -0.592 - - - -0.675 - - - -0.655 - - - -0.669 - - -fixed_point64::get_raw_value - - - -0.597 - - - -0.570 - - - -0.573 - - - -0.630 - - - -0.632 - - - -0.628 - - -pool_u64_unbound::amount_to_shares - - - -0.597 - - - -0.598 - - - -0.597 - - - -0.665 - - - -0.667 - - - -0.663 - - -crypto_algebra::add - - - -0.596 - - - -0.577 - - - -0.585 - - - -0.637 - - - -0.637 - - - -0.640 - - -ed25519::new_validated_public_key_from_bytes - - - -0.596 - - - -0.589 - - - -0.592 - - - -0.675 - - - -0.670 - - - -0.677 - - -multi_ed25519::public_key_validate - - - -0.596 - - - -0.599 - - - -0.606 - - - -0.715 - - - -0.679 - - - -0.676 - - -ristretto255::new_compressed_point_from_bytes - - - -0.596 - - - -0.590 - - - -0.592 - - - -0.676 - - - -0.670 - - - -0.672 - - -ristretto255::new_scalar_uniform_from_64_bytes - - - -0.596 - - - -0.595 - - - -0.595 - - - -0.711 - - - -0.676 - - - -0.667 - - -ristretto255_pedersen::new_commitment_with_basepoint - - - -0.596 - - - -0.576 - - - -0.578 - - - -0.648 - - - -0.646 - - - -0.647 - - -bls12381::public_key_from_bytes_with_pop - - - -0.595 - - - -0.595 - - - -0.599 - - - -0.704 - - - -0.671 - - - -0.672 - - -pool_u64_unbound::multiply_then_divide - - - -0.595 - - - -0.592 - - - -0.590 - - - -0.665 - - - -0.666 - - - -0.666 - - -ristretto255_bulletproofs::verify_range_proof - - - -0.595 - - - -0.581 - - - -0.579 - - - -0.647 - - - -0.648 - - - -0.678 - - -big_vector::empty - - - -0.594 - - - -0.592 - - - -0.595 - - - -0.669 - - - -0.684 - - - -0.671 - - -crypto_algebra::deserialize - - - -0.594 - - - -0.598 - - - -0.595 - - - -0.679 - - - -0.674 - - - -0.685 - - -math_fixed64::ln_plus_32ln2 - - - -0.594 - - - -0.585 - - - -0.590 - - - -0.648 - - - -0.658 - - - -0.644 - - -ristretto255::new_point_from_64_uniform_bytes - - - -0.594 - - - -0.594 - - - -0.595 - - - -0.678 - - - -0.690 - - - -0.673 - - -any::pack - - - -0.593 - - - -0.580 - - - -0.579 - - - -0.644 - - - -0.650 - - - -0.642 - - -big_vector::destroy_empty - - - -0.593 - - - -0.593 - - - -0.595 - - - -0.669 - - - -0.665 - - - -0.673 - - -pool_u64_unbound::add_shares - - - -0.593 - - - -0.602 - - - -0.593 - - - -0.678 - - - -0.675 - - - -0.674 - - -bls12381::public_key_from_bytes - - - -0.592 - - - -0.591 - - - -0.595 - - - -0.681 - - - -0.676 - - - -0.673 - - -crypto_algebra::abort_unless_cryptography_algebra_natives_enabled - - - -0.592 - - - -0.574 - - - -0.574 - - - -0.635 - - - -0.635 - - - -0.634 - - -pool_u64_unbound::deduct_shares - - - -0.592 - - - -0.596 - - - -0.600 - - - -0.679 - - - -0.674 - - - -0.667 - - -ristretto255::new_scalar_reduced_from_32_bytes - - - -0.592 - - - -0.590 - - - -0.585 - - - -0.687 - - - -0.681 - - - -0.691 - - -pool_u64_unbound::total_coins - - - -0.591 - - - -0.584 - - - -0.584 - - - -0.648 - - - -0.652 - - - -0.653 - - -ristretto255::new_scalar_from_bytes - - - -0.591 - - - -0.592 - - - -0.600 - - - -0.673 - - - -0.681 - - - -0.695 - - -from_bcs::to_address - - - -0.590 - - - -0.567 - - - -0.568 - - - -0.632 - - - -0.631 - - - -0.634 - - -big_vector::is_empty - - - -0.590 - - - -0.592 - - - -0.592 - - - -0.662 - - - -0.663 - - - -0.668 - - -pool_u64_unbound::create_with_scaling_factor - - - -0.590 - - - -0.584 - - - -0.583 - - - -0.652 - - - -0.654 - - - -0.657 - - -pool_u64_unbound::shares_to_amount - - - -0.590 - - - -0.591 - - - -0.595 - - - -0.662 - - - -0.665 - - - -0.660 - - -ristretto255_pedersen::commitment_as_compressed_point - - - -0.590 - - - -0.587 - - - -0.570 - - - -0.647 - - - -0.645 - - - -0.636 - - -capability::revoke - - - -0.589 - - - -0.582 - - - -0.585 - - - -0.664 - - - -0.661 - - - -0.671 - - -math128::sqrt - - - -0.589 - - - -0.583 - - - -0.584 - - - -0.648 - - - -0.652 - - - -0.648 - - -from_bcs::to_u128 - - - -0.588 - - - -0.569 - - - -0.568 - - - -0.632 - - - -0.633 - - - -0.636 - - -from_bcs::to_u8 - - - -0.588 - - - -0.576 - - - -0.569 - - - -0.632 - - - -0.635 - - - -0.633 - - -big_vector::to_vector - - - -0.588 - - - -0.590 - - - -0.587 - - - -0.668 - - - -0.668 - - - -0.667 - - -crypto_algebra::upcast - - - -0.588 - - - -0.575 - - - -0.585 - - - -0.643 - - - -0.635 - - - -0.640 - - -multi_ed25519::new_validated_public_key_from_bytes - - - -0.588 - - - -0.594 - - - -0.597 - - - -0.671 - - - -0.669 - - - -0.673 - - -multi_ed25519::signature_verify_strict_t - - - -0.588 - - - -0.587 - - - -0.584 - - - -0.689 - - - -0.648 - - - -0.653 - - -pool_u64_unbound::shares_to_amount_with_total_stats - - - -0.588 - - - -0.610 - - - -0.591 - - - -0.664 - - - -0.658 - - - -0.655 - - -ristretto255::multi_scalar_mul - - - -0.588 - - - -0.618 - - - -0.588 - - - -0.668 - - - -0.669 - - - -0.675 - - -any::type_name - - - -0.587 - - - -0.571 - - - -0.569 - - - -0.635 - - - -0.635 - - - -0.633 - - -capability::delegate - - - -0.587 - - - -0.590 - - - -0.587 - - - -0.651 - - - -0.650 - - - -0.658 - - -crypto_algebra::hash_to - - - -0.587 - - - -0.578 - - - -0.568 - - - -0.644 - - - -0.643 - - - -0.664 - - -ed25519::public_key_validate - - - -0.587 - - - -0.599 - - - -0.588 - - - -0.678 - - - -0.678 - - - -0.673 - - -math_fixed64::log2_plus_64 - - - -0.587 - - - -0.575 - - - -0.588 - - - -0.650 - - - -0.649 - - - -0.648 - - -table::borrow_with_default - - - -0.586 - - - -0.578 - - - -0.574 - - - -0.641 - - - -0.640 - - - -0.635 - - -big_vector::length - - - -0.586 - - - -0.589 - - - -0.591 - - - -0.662 - - - -0.665 - - - -0.665 - - -capability::validate_acquire - - - -0.586 - - - -0.620 - - - -0.590 - - - -0.661 - - - -0.664 - - - -0.657 - - -string_utils::format4 - - - -0.586 - - - -0.588 - - - -0.590 - - - -0.664 - - - -0.657 - - - -0.657 - - -math128::average - - - -0.586 - - - -0.573 - - - -0.586 - - - -0.641 - - - -0.636 - - - -0.640 - - -math_fixed::pow - - - -0.586 - - - -0.587 - - - -0.589 - - - -0.650 - - - -0.667 - - - -0.646 - - -math128::log2_64 - - - -0.585 - - - -0.581 - - - -0.583 - - - -0.639 - - - -0.654 - - - -0.642 - - -from_bcs::to_u256 - - - -0.584 - - - -0.571 - - - -0.569 - - - -0.671 - - - -0.642 - - - -0.632 - - -aptos_hash::ripemd160 - - - -0.584 - - - -0.574 - - - -0.576 - - - -0.635 - - - -0.640 - - - -0.639 - - -crypto_algebra::neg - - - -0.584 - - - -0.577 - - - -0.576 - - - -0.641 - - - -0.643 - - - -0.657 - - -pool_u64_unbound::destroy_empty - - - -0.584 - - - -0.627 - - - -0.584 - - - -0.660 - - - -0.655 - - - -0.654 - - -pool_u64_unbound::to_u256 - - - -0.584 - - - -0.572 - - - -0.573 - - - -0.635 - - - -0.638 - - - -0.635 - - -pool_u64_unbound::shares - - - -0.584 - - - -0.583 - - - -0.594 - - - -0.658 - - - -0.660 - - - -0.657 - - -pool_u64_unbound::update_total_coins - - - -0.584 - - - -0.617 - - - -0.586 - - - -0.658 - - - -0.656 - - - -0.655 - - -ristretto255_pedersen::new_commitment - - - -0.584 - - - -0.578 - - - -0.581 - - - -0.646 - - - -0.675 - - - -0.644 - - -bls12381::aggregate_pubkeys - - - -0.583 - - - -0.585 - - - -0.579 - - - -0.655 - - - -0.651 - - - -0.648 - - -capability::create - - - -0.583 - - - -0.583 - - - -0.586 - - - -0.658 - - - -0.656 - - - -0.662 - - -math64::log2 - - - -0.583 - - - -0.587 - - - -0.591 - - - -0.645 - - - -0.644 - - - -0.653 - - -math64::sqrt - - - -0.583 - - - -0.585 - - - -0.587 - - - -0.652 - - - -0.650 - - - -0.644 - - -multi_ed25519::unvalidated_public_key_to_authentication_key - - - -0.583 - - - -0.582 - - - -0.571 - - - -0.631 - - - -0.632 - - - -0.633 - - -ristretto255_bulletproofs::verify_range_proof_pedersen - - - -0.583 - - - -0.583 - - - -0.582 - - - -0.658 - - - -0.652 - - - -0.660 - - -ristretto255_elgamal::ciphertext_clone - - - -0.583 - - - -0.579 - - - -0.580 - - - -0.643 - - - -0.649 - - - -0.699 - - -capability::add_element - - - -0.582 - - - -0.584 - - - -0.579 - - - -0.647 - - - -0.646 - - - -0.653 - - -comparator::compare - - - -0.582 - - - -0.605 - - - -0.583 - - - -0.648 - - - -0.649 - - - -0.641 - - -crypto_algebra::one - - - -0.582 - - - -0.605 - - - -0.576 - - - -0.647 - - - -0.640 - - - -0.643 - - -crypto_algebra::sub - - - -0.582 - - - -0.587 - - - -0.575 - - - -0.638 - - - -0.640 - - - -0.643 - - -math128::floor_log2 - - - -0.582 - - - -0.580 - - - -0.568 - - - -0.638 - - - -0.639 - - - -0.640 - - -pool_u64_unbound::new - - - -0.582 - - - -0.580 - - - -0.583 - - - -0.648 - - - -0.649 - - - -0.653 - - -ristretto255_pedersen::commitment_clone - - - -0.582 - - - -0.599 - - - -0.583 - - - -0.639 - - - -0.639 - - - -0.640 - - -ristretto255_elgamal::ciphertext_sub_assign - - - -0.582 - - - -0.577 - - - -0.577 - - - -0.637 - - - -0.648 - - - -0.639 - - -type_info::chain_id - - - -0.581 - - - -0.573 - - - -0.588 - - - -0.648 - - - -0.637 - - - -0.641 - - -capability::acquire - - - -0.581 - - - -0.580 - - - -0.618 - - - -0.659 - - - -0.659 - - - -0.689 - - -capability::remove_element - - - -0.581 - - - -0.583 - - - -0.583 - - - -0.651 - - - -0.654 - - - -0.647 - - -string_utils::format2 - - - -0.581 - - - -0.578 - - - -0.586 - - - -0.644 - - - -0.643 - - - -0.645 - - -math_fixed::log2_plus_32 - - - -0.581 - - - -0.582 - - - -0.584 - - - -0.652 - - - -0.651 - - - -0.649 - - -math_fixed64::mul_div - - - -0.581 - - - -0.581 - - - -0.603 - - - -0.634 - - - -0.641 - - - -0.638 - - -ristretto255::scalar_mul_assign - - - -0.581 - - - -0.567 - - - -0.569 - - - -0.634 - - - -0.641 - - - -0.634 - - -ristretto255_pedersen::commitment_into_compressed_point - - - -0.581 - - - -0.574 - - - -0.573 - - - -0.641 - - - -0.665 - - - -0.641 - - -ristretto255_bulletproofs::range_proof_from_bytes - - - -0.581 - - - -0.568 - - - -0.567 - - - -0.635 - - - -0.631 - - - -0.648 - - -ristretto255_elgamal::pubkey_to_point - - - -0.581 - - - -0.580 - - - -0.574 - - - -0.636 - - - -0.638 - - - -0.637 - - -capability::acquire_linear - - - -0.580 - - - -0.581 - - - -0.606 - - - -0.668 - - - -0.662 - - - -0.687 - - -string_utils::format3 - - - -0.580 - - - -0.578 - - - -0.577 - - - -0.652 - - - -0.650 - - - -0.657 - - -ed25519::validated_public_key_to_bytes - - - -0.580 - - - -0.567 - - - -0.568 - - - -0.632 - - - -0.632 - - - -0.631 - - -math128::pow - - - -0.580 - - - -0.576 - - - -0.572 - - - -0.636 - - - -0.632 - - - -0.640 - - -math_fixed::pow_raw - - - -0.580 - - - -0.577 - - - -0.596 - - - -0.637 - - - -0.642 - - - -0.640 - - -math_fixed64::pow - - - -0.580 - - - -0.583 - - - -0.621 - - - -0.653 - - - -0.640 - - - -0.647 - - -pool_u64_unbound::create - - - -0.580 - - - -0.597 - - - -0.583 - - - -0.654 - - - -0.649 - - - -0.651 - - -pool_u64_unbound::shareholders_count - - - -0.580 - - - -0.586 - - - -0.583 - - - -0.652 - - - -0.652 - - - -0.656 - - -pool_u64_unbound::total_shares - - - -0.580 - - - -0.579 - - - -0.581 - - - -0.648 - - - -0.649 - - - -0.654 - - -ristretto255_bulletproofs::get_max_range_bits - - - -0.580 - - - -0.574 - - - -0.569 - - - -0.636 - - - -0.630 - - - -0.653 - - -secp256k1::ecdsa_signature_from_bytes - - - -0.580 - - - -0.573 - - - -0.575 - - - -0.647 - - - -0.639 - - - -0.643 - - -from_bcs::to_string - - - -0.579 - - - -0.571 - - - -0.569 - - - -0.636 - - - -0.637 - - - -0.637 - - -any::unpack - - - -0.579 - - - -0.581 - - - -0.592 - - - -0.644 - - - -0.641 - - - -0.642 - - -aptos_hash::blake2b_256 - - - -0.579 - - - -0.571 - - - -0.581 - - - -0.653 - - - -0.642 - - - -0.639 - - -fixed_point64::add - - - -0.579 - - - -0.581 - - - -0.580 - - - -0.647 - - - -0.641 - - - -0.638 - - -math64::floor_log2 - - - -0.579 - - - -0.575 - - - -0.577 - - - -0.633 - - - -0.644 - - - -0.640 - - -math_fixed::mul_div - - - -0.579 - - - -0.575 - - - -0.573 - - - -0.639 - - - -0.672 - - - -0.634 - - -math_fixed::ln_plus_32ln2 - - - -0.579 - - - -0.579 - - - -0.580 - - - -0.657 - - - -0.660 - - - -0.661 - - -multi_ed25519::validated_public_key_threshold - - - -0.579 - - - -0.572 - - - -0.574 - - - -0.642 - - - -0.655 - - - -0.638 - - -ristretto255::double_scalar_mul - - - -0.579 - - - -0.581 - - - -0.607 - - - -0.637 - - - -0.637 - - - -0.638 - - -crypto_algebra::sqr - - - -0.578 - - - -0.578 - - - -0.575 - - - -0.641 - - - -0.639 - - - -0.643 - - -math_fixed::sqrt - - - -0.578 - - - -0.577 - - - -0.580 - - - -0.643 - - - -0.640 - - - -0.639 - - -ristretto255_elgamal::new_ciphertext_no_randomness - - - -0.578 - - - -0.580 - - - -0.580 - - - -0.635 - - - -0.635 - - - -0.643 - - -secp256k1::ecdsa_raw_public_key_from_64_bytes - - - -0.578 - - - -0.578 - - - -0.576 - - - -0.645 - - - -0.637 - - - -0.631 - - -bls12381::public_key_with_pop_to_normal - - - -0.577 - - - -0.576 - - - -0.571 - - - -0.633 - - - -0.632 - - - -0.637 - - -copyable_any::pack - - - -0.577 - - - -0.589 - - - -0.592 - - - -0.666 - - - -0.646 - - - -0.645 - - -crypto_algebra::scalar_mul - - - -0.577 - - - -0.568 - - - -0.577 - - - -0.639 - - - -0.639 - - - -0.640 - - -ed25519::signature_verify_strict_t - - - -0.577 - - - -0.583 - - - -0.583 - - - -0.652 - - - -0.647 - - - -0.643 - - -fixed_point64::sub - - - -0.577 - - - -0.575 - - - -0.574 - - - -0.641 - - - -0.644 - - - -0.679 - - -math64::average - - - -0.577 - - - -0.573 - - - -0.576 - - - -0.637 - - - -0.641 - - - -0.646 - - -multi_ed25519::new_unvalidated_public_key_from_bytes - - - -0.577 - - - -0.580 - - - -0.589 - - - -0.642 - - - -0.644 - - - -0.645 - - -ristretto255::point_add_assign - - - -0.577 - - - -0.572 - - - -0.568 - - - -0.666 - - - -0.633 - - - -0.633 - - -ristretto255::scalar_neg - - - -0.577 - - - -0.575 - - - -0.568 - - - -0.631 - - - -0.633 - - - -0.630 - - -ristretto255_pedersen::commitment_from_compressed - - - -0.577 - - - -0.595 - - - -0.572 - - - -0.637 - - - -0.639 - - - -0.640 - - -ristretto255_elgamal::decompress_ciphertext - - - -0.577 - - - -0.579 - - - -0.578 - - - -0.641 - - - -0.652 - - - -0.635 - - -bls12381::verify_multisignature - - - -0.576 - - - -0.569 - - - -0.575 - - - -0.640 - - - -0.636 - - - -0.636 - - -comparator::is_smaller_than - - - -0.576 - - - -0.604 - - - -0.574 - - - -0.671 - - - -0.630 - - - -0.635 - - -copyable_any::unpack - - - -0.576 - - - -0.583 - - - -0.587 - - - -0.661 - - - -0.636 - - - -0.641 - - -crypto_algebra::pairing - - - -0.576 - - - -0.581 - - - -0.585 - - - -0.644 - - - -0.638 - - - -0.647 - - -multi_ed25519::new_signature_from_bytes - - - -0.576 - - - -0.574 - - - -0.577 - - - -0.655 - - - -0.645 - - - -0.645 - - -ristretto255::basepoint - - - -0.576 - - - -0.615 - - - -0.572 - - - -0.632 - - - -0.635 - - - -0.633 - - -ristretto255::new_point_from_sha2_512 - - - -0.576 - - - -0.583 - - - -0.575 - - - -0.636 - - - -0.667 - - - -0.681 - - -ristretto255_pedersen::commitment_add - - - -0.576 - - - -0.571 - - - -0.575 - - - -0.658 - - - -0.636 - - - -0.632 - - -ristretto255_elgamal::ciphertext_from_compressed_points - - - -0.576 - - - -0.569 - - - -0.573 - - - -0.642 - - - -0.633 - - - -0.632 - - -ristretto255_elgamal::ciphertext_to_bytes - - - -0.576 - - - -0.577 - - - -0.577 - - - -0.651 - - - -0.652 - - - -0.647 - - -ristretto255_elgamal::compress_ciphertext - - - -0.576 - - - -0.577 - - - -0.574 - - - -0.642 - - - -0.656 - - - -0.644 - - -type_info::size_of_val - - - -0.575 - - - -0.582 - - - -0.576 - - - -0.643 - - - -0.639 - - - -0.632 - - -aptos_hash::sha3_512 - - - -0.575 - - - -0.574 - - - -0.575 - - - -0.637 - - - -0.635 - - - -0.634 - - -bls12381::public_key_to_bytes - - - -0.575 - - - -0.567 - - - -0.569 - - - -0.671 - - - -0.632 - - - -0.634 - - -crypto_algebra::from_u64 - - - -0.575 - - - -0.583 - - - -0.575 - - - -0.639 - - - -0.679 - - - -0.641 - - -string_utils::to_string_with_integer_types - - - -0.575 - - - -0.573 - - - -0.580 - - - -0.633 - - - -0.633 - - - -0.637 - - -fixed_point64::max - - - -0.575 - - - -0.571 - - - -0.572 - - - -0.635 - - - -0.640 - - - -0.630 - - -math_fixed64::sqrt - - - -0.575 - - - -0.580 - - - -0.616 - - - -0.651 - - - -0.639 - - - -0.641 - - -pool_u64_unbound::contains - - - -0.575 - - - -0.581 - - - -0.579 - - - -0.658 - - - -0.653 - - - -0.651 - - -ristretto255::new_scalar_from_u8 - - - -0.575 - - - -0.576 - - - -0.575 - - - -0.635 - - - -0.644 - - - -0.658 - - -ristretto255::point_clone - - - -0.575 - - - -0.575 - - - -0.575 - - - -0.660 - - - -0.639 - - - -0.643 - - -ristretto255_pedersen::commitment_sub - - - -0.575 - - - -0.570 - - - -0.573 - - - -0.635 - - - -0.678 - - - -0.634 - - -ristretto255_elgamal::ciphertext_add_assign - - - -0.575 - - - -0.581 - - - -0.576 - - - -0.640 - - - -0.645 - - - -0.637 - - -bls12381::aggr_or_multi_signature_from_bytes - - - -0.574 - - - -0.572 - - - -0.569 - - - -0.640 - - - -0.638 - - - -0.642 - - -crypto_algebra::serialize - - - -0.574 - - - -0.579 - - - -0.587 - - - -0.646 - - - -0.645 - - - -0.640 - - -crypto_algebra::mul - - - -0.574 - - - -0.579 - - - -0.576 - - - -0.634 - - - -0.643 - - - -0.662 - - -string_utils::to_string - - - -0.574 - - - -0.572 - - - -0.572 - - - -0.635 - - - -0.634 - - - -0.632 - - -string_utils::cons - - - -0.574 - - - -0.568 - - - -0.581 - - - -0.630 - - - -0.634 - - - -0.631 - - -ed25519::public_key_bytes_to_authentication_key - - - -0.574 - - - -0.575 - - - -0.578 - - - -0.660 - - - -0.638 - - - -0.640 - - -math128::clamp - - - -0.574 - - - -0.572 - - - -0.574 - - - -0.630 - - - -0.634 - - - -0.650 - - -math64::max - - - -0.574 - - - -0.572 - - - -0.577 - - - -0.633 - - - -0.640 - - - -0.630 - - -math64::clamp - - - -0.574 - - - -0.575 - - - -0.572 - - - -0.636 - - - -0.638 - - - -0.636 - - -math_fixed64::pow_raw - - - -0.574 - - - -0.576 - - - -0.610 - - - -0.637 - - - -0.643 - - - -0.637 - - -multi_ed25519::validated_public_key_num_sub_pks - - - -0.574 - - - -0.581 - - - -0.573 - - - -0.639 - - - -0.679 - - - -0.641 - - -ristretto255::point_decompress - - - -0.574 - - - -0.569 - - - -0.573 - - - -0.678 - - - -0.633 - - - -0.635 - - -ristretto255::point_mul_assign - - - -0.574 - - - -0.575 - - - -0.573 - - - -0.634 - - - -0.635 - - - -0.644 - - -ristretto255::scalar_is_zero - - - -0.574 - - - -0.574 - - - -0.571 - - - -0.631 - - - -0.631 - - - -0.628 - - -ristretto255::scalar_sub_assign - - - -0.574 - - - -0.579 - - - -0.596 - - - -0.633 - - - -0.635 - - - -0.635 - - -ristretto255::scalar_zero - - - -0.574 - - - -0.567 - - - -0.569 - - - -0.649 - - - -0.632 - - - -0.632 - - -ristretto255_elgamal::ciphertext_add - - - -0.574 - - - -0.581 - - - -0.574 - - - -0.634 - - - -0.634 - - - -0.641 - - -ristretto255_elgamal::ciphertext_sub - - - -0.574 - - - -0.575 - - - -0.577 - - - -0.638 - - - -0.683 - - - -0.640 - - -type_info::struct_name - - - -0.573 - - - -0.573 - - - -0.582 - - - -0.633 - - - -0.636 - - - -0.661 - - -bls12381::verify_signature_share - - - -0.573 - - - -0.572 - - - -0.611 - - - -0.632 - - - -0.638 - - - -0.631 - - -crypto_algebra::order - - - -0.573 - - - -0.577 - - - -0.574 - - - -0.640 - - - -0.638 - - - -0.638 - - -crypto_algebra::zero - - - -0.573 - - - -0.576 - - - -0.581 - - - -0.644 - - - -0.640 - - - -0.641 - - -string_utils::to_string_with_canonical_addresses - - - -0.573 - - - -0.579 - - - -0.571 - - - -0.638 - - - -0.632 - - - -0.631 - - -debug::print - - - -0.573 - - - -0.569 - - - -0.571 - - - -0.635 - - - -0.632 - - - -0.634 - - -debug::print_stack_trace - - - -0.573 - - - -0.571 - - - -0.611 - - - -0.631 - - - -0.634 - - - -0.630 - - -ed25519::public_key_to_unvalidated - - - -0.573 - - - -0.570 - - - -0.573 - - - -0.634 - - - -0.633 - - - -0.630 - - -fixed_point64::greater_or_equal - - - -0.573 - - - -0.572 - - - -0.572 - - - -0.634 - - - -0.632 - - - -0.631 - - -multi_ed25519::public_key_bytes_to_authentication_key - - - -0.573 - - - -0.576 - - - -0.578 - - - -0.638 - - - -0.644 - - - -0.642 - - -ristretto255::scalar_neg_assign - - - -0.573 - - - -0.580 - - - -0.577 - - - -0.644 - - - -0.628 - - - -0.633 - - -ristretto255_pedersen::commitment_equals - - - -0.573 - - - -0.579 - - - -0.569 - - - -0.634 - - - -0.637 - - - -0.636 - - -ristretto255_pedersen::commitment_to_bytes - - - -0.573 - - - -0.577 - - - -0.580 - - - -0.639 - - - -0.652 - - - -0.691 - - -ristretto255_elgamal::ciphertext_from_points - - - -0.573 - - - -0.570 - - - -0.572 - - - -0.635 - - - -0.636 - - - -0.637 - - -ristretto255_elgamal::pubkey_to_compressed_point - - - -0.573 - - - -0.573 - - - -0.569 - - - -0.630 - - - -0.633 - - - -0.633 - - -bls12381::proof_of_possession_from_bytes - - - -0.572 - - - -0.567 - - - -0.568 - - - -0.632 - - - -0.629 - - - -0.636 - - -ed25519::new_signature_from_bytes - - - -0.572 - - - -0.579 - - - -0.577 - - - -0.639 - - - -0.644 - - - -0.642 - - -fixed_point64::almost_equal - - - -0.572 - - - -0.573 - - - -0.571 - - - -0.635 - - - -0.638 - - - -0.676 - - -fixed_point64::less - - - -0.572 - - - -0.577 - - - -0.577 - - - -0.638 - - - -0.637 - - - -0.632 - - -fixed_point64::less_or_equal - - - -0.572 - - - -0.575 - - - -0.572 - - - -0.633 - - - -0.632 - - - -0.653 - - -math128::log2 - - - -0.572 - - - -0.575 - - - -0.578 - - - -0.649 - - - -0.662 - - - -0.645 - - -math64::pow - - - -0.572 - - - -0.574 - - - -0.574 - - - -0.640 - - - -0.640 - - - -0.646 - - -multi_ed25519::public_key_into_unvalidated - - - -0.572 - - - -0.573 - - - -0.572 - - - -0.633 - - - -0.640 - - - -0.630 - - -pool_u64_unbound::to_u128 - - - -0.572 - - - -0.607 - - - -0.572 - - - -0.633 - - - -0.635 - - - -0.642 - - -ristretto255::point_compress - - - -0.572 - - - -0.567 - - - -0.566 - - - -0.681 - - - -0.662 - - - -0.635 - - -ristretto255::point_sub_assign - - - -0.572 - - - -0.572 - - - -0.571 - - - -0.633 - - - -0.632 - - - -0.642 - - -from_bcs::to_u16 - - - -0.571 - - - -0.571 - - - -0.571 - - - -0.645 - - - -0.627 - - - -0.635 - - -bls12381::proof_of_possession_to_bytes - - - -0.571 - - - -0.571 - - - -0.571 - - - -0.634 - - - -0.631 - - - -0.632 - - -bls12381::signature_subgroup_check - - - -0.571 - - - -0.572 - - - -0.568 - - - -0.639 - - - -0.632 - - - -0.631 - - -comparator::is_equal - - - -0.571 - - - -0.610 - - - -0.571 - - - -0.672 - - - -0.630 - - - -0.637 - - -comparator::is_greater_than - - - -0.571 - - - -0.611 - - - -0.571 - - - -0.679 - - - -0.636 - - - -0.634 - - -copyable_any::type_name - - - -0.571 - - - -0.589 - - - -0.581 - - - -0.678 - - - -0.635 - - - -0.634 - - -ed25519::new_unvalidated_public_key_from_bytes - - - -0.571 - - - -0.576 - - - -0.575 - - - -0.641 - - - -0.641 - - - -0.643 - - -ed25519::validated_public_key_to_authentication_key - - - -0.571 - - - -0.579 - - - -0.577 - - - -0.633 - - - -0.630 - - - -0.636 - - -fixed_point64::is_zero - - - -0.571 - - - -0.572 - - - -0.571 - - - -0.629 - - - -0.637 - - - -0.637 - - -fixed_point64::min - - - -0.571 - - - -0.577 - - - -0.573 - - - -0.634 - - - -0.632 - - - -0.645 - - -ristretto255::scalar_mul - - - -0.571 - - - -0.597 - - - -0.568 - - - -0.648 - - - -0.633 - - - -0.665 - - -ristretto255::hash_to_point_base - - - -0.571 - - - -0.576 - - - -0.577 - - - -0.636 - - - -0.636 - - - -0.635 - - -ristretto255::point_add - - - -0.571 - - - -0.570 - - - -0.569 - - - -0.648 - - - -0.635 - - - -0.629 - - -ristretto255::point_to_bytes - - - -0.571 - - - -0.571 - - - -0.568 - - - -0.632 - - - -0.630 - - - -0.643 - - -ristretto255::scalar_equals - - - -0.571 - - - -0.605 - - - -0.569 - - - -0.633 - - - -0.646 - - - -0.633 - - -ristretto255::scalar_is_one - - - -0.571 - - - -0.571 - - - -0.574 - - - -0.630 - - - -0.630 - - - -0.631 - - -ristretto255_pedersen::commitment_as_point - - - -0.571 - - - -0.574 - - - -0.568 - - - -0.634 - - - -0.632 - - - -0.646 - - -ristretto255_pedersen::commitment_sub_assign - - - -0.571 - - - -0.574 - - - -0.582 - - - -0.634 - - - -0.682 - - - -0.645 - - -from_bcs::to_bool - - - -0.570 - - - -0.568 - - - -0.564 - - - -0.637 - - - -0.629 - - - -0.640 - - -bls12381::aggr_or_multi_signature_subgroup_check - - - -0.570 - - - -0.567 - - - -0.570 - - - -0.630 - - - -0.628 - - - -0.634 - - -capability::linear_root_addr - - - -0.570 - - - -0.575 - - - -0.571 - - - -0.628 - - - -0.633 - - - -0.632 - - -ed25519::new_signed_message - - - -0.570 - - - -0.574 - - - -0.577 - - - -0.633 - - - -0.639 - - - -0.663 - - -ed25519::unvalidated_public_key_to_authentication_key - - - -0.570 - - - -0.568 - - - -0.574 - - - -0.633 - - - -0.631 - - - -0.631 - - -multi_ed25519::signature_to_bytes - - - -0.570 - - - -0.567 - - - -0.568 - - - -0.635 - - - -0.630 - - - -0.630 - - -ristretto255::basepoint_mul - - - -0.570 - - - -0.569 - - - -0.577 - - - -0.634 - - - -0.634 - - - -0.633 - - -ristretto255::point_identity_compressed - - - -0.570 - - - -0.573 - - - -0.575 - - - -0.633 - - - -0.634 - - - -0.633 - - -ristretto255::point_mul - - - -0.570 - - - -0.569 - - - -0.571 - - - -0.636 - - - -0.657 - - - -0.638 - - -ristretto255::point_neg - - - -0.570 - - - -0.574 - - - -0.570 - - - -0.632 - - - -0.631 - - - -0.630 - - -ristretto255::point_neg_assign - - - -0.570 - - - -0.573 - - - -0.573 - - - -0.636 - - - -0.634 - - - -0.635 - - -ristretto255::scalar_add_assign - - - -0.570 - - - -0.570 - - - -0.568 - - - -0.637 - - - -0.640 - - - -0.641 - - -ristretto255::scalar_one - - - -0.570 - - - -0.570 - - - -0.589 - - - -0.631 - - - -0.631 - - - -0.633 - - -ristretto255_elgamal::ciphertext_as_points - - - -0.570 - - - -0.571 - - - -0.567 - - - -0.630 - - - -0.634 - - - -0.630 - - -ristretto255_elgamal::ciphertext_equals - - - -0.570 - - - -0.572 - - - -0.571 - - - -0.631 - - - -0.634 - - - -0.658 - - -secp256k1::ecdsa_raw_public_key_to_bytes - - - -0.570 - - - -0.569 - - - -0.573 - - - -0.648 - - - -0.632 - - - -0.635 - - -secp256k1::ecdsa_signature_to_bytes - - - -0.570 - - - -0.571 - - - -0.571 - - - -0.634 - - - -0.632 - - - -0.640 - - -from_bcs::to_u32 - - - -0.569 - - - -0.568 - - - -0.568 - - - -0.635 - - - -0.633 - - - -0.634 - - -bls12381::signature_from_bytes - - - -0.569 - - - -0.567 - - - -0.570 - - - -0.631 - - - -0.640 - - - -0.631 - - -capability::root_addr - - - -0.569 - - - -0.569 - - - -0.567 - - - -0.633 - - - -0.629 - - - -0.629 - - -string_utils::format1 - - - -0.569 - - - -0.580 - - - -0.578 - - - -0.647 - - - -0.650 - - - -0.640 - - -ed25519::signature_to_bytes - - - -0.569 - - - -0.573 - - - -0.567 - - - -0.635 - - - -0.631 - - - -0.633 - - -ed25519::public_key_into_unvalidated - - - -0.569 - - - -0.566 - - - -0.571 - - - -0.629 - - - -0.632 - - - -0.631 - - -fixed_point64::greater - - - -0.569 - - - -0.571 - - - -0.569 - - - -0.629 - - - -0.637 - - - -0.634 - - -multi_ed25519::signature_verify_strict - - - -0.569 - - - -0.574 - - - -0.579 - - - -0.649 - - - -0.635 - - - -0.638 - - -ristretto255::basepoint_compressed - - - -0.569 - - - -0.574 - - - -0.574 - - - -0.632 - - - -0.634 - - - -0.633 - - -ristretto255::new_point_from_sha512 - - - -0.569 - - - -0.575 - - - -0.575 - - - -0.638 - - - -0.673 - - - -0.648 - - -ristretto255::new_scalar_from_u128 - - - -0.569 - - - -0.579 - - - -0.570 - - - -0.634 - - - -0.636 - - - -0.636 - - -ristretto255::new_scalar_from_u32 - - - -0.569 - - - -0.584 - - - -0.569 - - - -0.646 - - - -0.638 - - - -0.635 - - -ristretto255::point_identity - - - -0.569 - - - -0.570 - - - -0.568 - - - -0.633 - - - -0.636 - - - -0.631 - - -ristretto255::scalar_add - - - -0.569 - - - -0.573 - - - -0.570 - - - -0.629 - - - -0.635 - - - -0.642 - - -ristretto255_elgamal::pubkey_to_bytes - - - -0.569 - - - -0.570 - - - -0.574 - - - -0.632 - - - -0.634 - - - -0.634 - - -bls12381::aggr_or_multi_signature_to_bytes - - - -0.568 - - - -0.568 - - - -0.568 - - - -0.630 - - - -0.631 - - - -0.632 - - -bls12381::public_key_with_pop_to_bytes - - - -0.568 - - - -0.567 - - - -0.569 - - - -0.635 - - - -0.635 - - - -0.634 - - -bls12381::signature_to_bytes - - - -0.568 - - - -0.570 - - - -0.573 - - - -0.631 - - - -0.632 - - - -0.633 - - -string_utils::debug_string - - - -0.568 - - - -0.569 - - - -0.570 - - - -0.632 - - - -0.635 - - - -0.631 - - -ed25519::signature_verify_strict - - - -0.568 - - - -0.575 - - - -0.569 - - - -0.635 - - - -0.628 - - - -0.628 - - -fixed_point64::create_from_raw_value - - - -0.568 - - - -0.573 - - - -0.571 - - - -0.627 - - - -0.637 - - - -0.634 - - -math128::max - - - -0.568 - - - -0.572 - - - -0.572 - - - -0.638 - - - -0.635 - - - -0.643 - - -math128::min - - - -0.568 - - - -0.568 - - - -0.570 - - - -0.641 - - - -0.630 - - - -0.638 - - -math64::min - - - -0.568 - - - -0.570 - - - -0.571 - - - -0.631 - - - -0.634 - - - -0.642 - - -multi_ed25519::public_key_to_unvalidated - - - -0.568 - - - -0.569 - - - -0.567 - - - -0.656 - - - -0.633 - - - -0.634 - - -multi_ed25519::unvalidated_public_key_to_bytes - - - -0.568 - - - -0.567 - - - -0.568 - - - -0.640 - - - -0.632 - - - -0.670 - - -ristretto255::compressed_point_to_bytes - - - -0.568 - - - -0.570 - - - -0.560 - - - -0.638 - - - -0.630 - - - -0.637 - - -ristretto255::new_scalar_from_sha2_512 - - - -0.568 - - - -0.570 - - - -0.577 - - - -0.640 - - - -0.631 - - - -0.646 - - -ristretto255::point_sub - - - -0.568 - - - -0.568 - - - -0.566 - - - -0.632 - - - -0.633 - - - -0.632 - - -ristretto255::scalar_sub - - - -0.568 - - - -0.568 - - - -0.584 - - - -0.631 - - - -0.632 - - - -0.631 - - -ristretto255_pedersen::commitment_from_point - - - -0.568 - - - -0.575 - - - -0.570 - - - -0.638 - - - -0.632 - - - -0.633 - - -ristretto255_pedersen::commitment_into_point - - - -0.568 - - - -0.574 - - - -0.569 - - - -0.644 - - - -0.679 - - - -0.634 - - -from_bcs::to_u64 - - - -0.567 - - - -0.571 - - - -0.571 - - - -0.636 - - - -0.637 - - - -0.635 - - -string_utils::nil - - - -0.567 - - - -0.569 - - - -0.568 - - - -0.630 - - - -0.654 - - - -0.631 - - -ed25519::unvalidated_public_key_to_bytes - - - -0.567 - - - -0.569 - - - -0.572 - - - -0.627 - - - -0.628 - - - -0.629 - - -multi_ed25519::validated_public_key_to_authentication_key - - - -0.567 - - - -0.568 - - - -0.568 - - - -0.637 - - - -0.630 - - - -0.635 - - -multi_ed25519::validated_public_key_to_bytes - - - -0.567 - - - -0.569 - - - -0.569 - - - -0.640 - - - -0.634 - - - -0.635 - - -ristretto255::basepoint_double_mul - - - -0.567 - - - -0.572 - - - -0.570 - - - -0.636 - - - -0.636 - - - -0.631 - - -ristretto255::new_scalar_from_sha512 - - - -0.567 - - - -0.569 - - - -0.570 - - - -0.648 - - - -0.629 - - - -0.632 - - -ristretto255::new_scalar_from_u64 - - - -0.567 - - - -0.608 - - - -0.568 - - - -0.639 - - - -0.626 - - - -0.635 - - -ristretto255_elgamal::ciphertext_into_points - - - -0.567 - - - -0.576 - - - -0.570 - - - -0.635 - - - -0.649 - - - -0.639 - - -ristretto255_elgamal::get_value_component - - - -0.567 - - - -0.571 - - - -0.567 - - - -0.634 - - - -0.634 - - - -0.634 - - -type_info::module_name - - - -0.566 - - - -0.576 - - - -0.569 - - - -0.633 - - - -0.633 - - - -0.639 - - -bls12381::verify_normal_signature - - - -0.566 - - - -0.574 - - - -0.606 - - - -0.636 - - - -0.636 - - - -0.632 - - -ristretto255::scalar_to_bytes - - - -0.566 - - - -0.567 - - - -0.625 - - - -0.655 - - - -0.667 - - - -0.669 - - -bls12381::aggregate_pubkey_to_bytes - - - -0.565 - - - -0.567 - - - -0.574 - - - -0.630 - - - -0.633 - - - -0.638 - - -crypto_algebra::eq - - - -0.565 - - - -0.575 - - - -0.568 - - - -0.640 - - - -0.692 - - - -0.640 - - -ristretto255_pedersen::commitment_add_assign - - - -0.564 - - - -0.574 - - - -0.565 - - - -0.676 - - - -0.632 - - - -0.633 - - -table::borrow_mut - - - -0.432 - - - -0.372 - - - -0.371 - - - -0.414 - - - -0.414 - - - -0.413 - - -smart_vector::pop_back - - - -0.416 - - - -0.420 - - - -0.416 - - - -0.498 - - - -0.506 - - - -0.503 - - -crypto_algebra::add_internal - - - -0.397 - - - -0.374 - - - -0.369 - - - -0.415 - - - -0.410 - - - -0.418 - - -crypto_algebra::div_internal - - - -0.397 - - - -0.368 - - - -0.367 - - - -0.414 - - - -0.418 - - - -0.438 - - -multi_ed25519::public_key_validate_v2_internal - - - -0.397 - - - -0.374 - - - -0.377 - - - -0.415 - - - -0.428 - - - -0.410 - - -crypto_algebra::deserialize_internal - - - -0.396 - - - -0.371 - - - -0.370 - - - -0.413 - - - -0.409 - - - -0.414 - - -big_vector::swap_remove - - - -0.390 - - - -0.380 - - - -0.387 - - - -0.445 - - - -0.445 - - - -0.445 - - -from_bcs::from_bytes - - - -0.386 - - - -0.371 - - - -0.373 - - - -0.415 - - - -0.414 - - - -0.415 - - -table_with_length::borrow_mut - - - -0.386 - - - -0.373 - - - -0.372 - - - -0.416 - - - -0.414 - - - -0.420 - - -big_vector::swap - - - -0.385 - - - -0.386 - - - -0.383 - - - -0.443 - - - -0.439 - - - -0.438 - - -aptos_hash::sha2_512_internal - - - -0.383 - - - -0.372 - - - -0.372 - - - -0.415 - - - -0.413 - - - -0.414 - - -table::destroy - - - -0.383 - - - -0.383 - - - -0.370 - - - -0.414 - - - -0.412 - - - -0.418 - - -crypto_algebra::order_internal - - - -0.383 - - - -0.377 - - - -0.371 - - - -0.415 - - - -0.415 - - - -0.416 - - -aptos_hash::keccak256 - - - -0.381 - - - -0.370 - - - -0.372 - - - -0.415 - - - -0.418 - - - -0.414 - - -smart_table::destroy - - - -0.381 - - - -0.367 - - - -0.368 - - - -0.415 - - - -0.414 - - - -0.414 - - -aptos_hash::blake2b_256_internal - - - -0.380 - - - -0.368 - - - -0.367 - - - -0.414 - - - -0.417 - - - -0.414 - - -table_with_length::length - - - -0.380 - - - -0.371 - - - -0.367 - - - -0.417 - - - -0.418 - - - -0.419 - - -ed25519::public_key_validate_internal - - - -0.380 - - - -0.381 - - - -0.373 - - - -0.414 - - - -0.414 - - - -0.413 - - -ristretto255::point_decompress_internal - - - -0.380 - - - -0.374 - - - -0.369 - - - -0.443 - - - -0.413 - - - -0.415 - - -debug::format - - - -0.379 - - - -0.371 - - - -0.371 - - - -0.417 - - - -0.409 - - - -0.413 - - -smart_table::update_split_load_threshold - - - -0.378 - - - -0.374 - - - -0.370 - - - -0.409 - - - -0.413 - - - -0.414 - - -ristretto255::point_sub_internal - - - -0.377 - - - -0.371 - - - -0.371 - - - -0.415 - - - -0.413 - - - -0.420 - - -table::contains - - - -0.376 - - - -0.371 - - - -0.367 - - - -0.414 - - - -0.413 - - - -0.417 - - -crypto_algebra::multi_pairing_internal - - - -0.376 - - - -0.367 - - - -0.374 - - - -0.413 - - - -0.414 - - - -0.424 - - -pool_u64::buy_in - - - -0.376 - - - -0.369 - - - -0.366 - - - -0.418 - - - -0.438 - - - -0.414 - - -pool_u64::update_total_coins - - - -0.376 - - - -0.376 - - - -0.370 - - - -0.413 - - - -0.415 - - - -0.415 - - -smart_table::upsert - - - -0.376 - - - -0.370 - - - -0.370 - - - -0.410 - - - -0.414 - - - -0.413 - - -table::new - - - -0.375 - - - -0.376 - - - -0.370 - - - -0.412 - - - -0.418 - - - -0.419 - - -table::remove_box - - - -0.375 - - - -0.373 - - - -0.371 - - - -0.415 - - - -0.413 - - - -0.414 - - -table_with_length::contains - - - -0.375 - - - -0.371 - - - -0.374 - - - -0.414 - - - -0.414 - - - -0.448 - - -table_with_length::borrow_mut_with_default - - - -0.375 - - - -0.374 - - - -0.371 - - - -0.412 - - - -0.416 - - - -0.415 - - -bls12381::verify_normal_signature_internal - - - -0.375 - - - -0.376 - - - -0.392 - - - -0.413 - - - -0.415 - - - -0.414 - - -crypto_algebra::double_internal - - - -0.375 - - - -0.371 - - - -0.375 - - - -0.410 - - - -0.428 - - - -0.415 - - -simple_map::new_from - - - -0.375 - - - -0.371 - - - -0.371 - - - -0.415 - - - -0.418 - - - -0.415 - - -pool_u64::add_shares - - - -0.375 - - - -0.371 - - - -0.375 - - - -0.416 - - - -0.413 - - - -0.414 - - -ristretto255_bulletproofs::verify_range_proof_internal - - - -0.375 - - - -0.368 - - - -0.370 - - - -0.415 - - - -0.414 - - - -0.423 - - -type_info::chain_id_internal - - - -0.374 - - - -0.370 - - - -0.371 - - - -0.415 - - - -0.415 - - - -0.413 - - -table::remove - - - -0.374 - - - -0.366 - - - -0.371 - - - -0.418 - - - -0.414 - - - -0.415 - - -table_with_length::upsert - - - -0.374 - - - -0.371 - - - -0.372 - - - -0.416 - - - -0.411 - - - -0.426 - - -string_utils::list4 - - - -0.374 - - - -0.370 - - - -0.371 - - - -0.414 - - - -0.410 - - - -0.417 - - -simple_map::to_vec_pair - - - -0.374 - - - -0.377 - - - -0.367 - - - -0.414 - - - -0.414 - - - -0.415 - - -pool_u64::deduct_shares - - - -0.374 - - - -0.368 - - - -0.371 - - - -0.411 - - - -0.415 - - - -0.414 - - -pool_u64::transfer_shares - - - -0.374 - - - -0.370 - - - -0.367 - - - -0.410 - - - -0.414 - - - -0.414 - - -ristretto255::new_point_from_sha512_internal - - - -0.374 - - - -0.373 - - - -0.372 - - - -0.410 - - - -0.415 - - - -0.415 - - -smart_vector::remove - - - -0.374 - - - -0.371 - - - -0.372 - - - -0.413 - - - -0.409 - - - -0.414 - - -table::borrow - - - -0.373 - - - -0.372 - - - -0.376 - - - -0.419 - - - -0.415 - - - -0.414 - - -table_with_length::remove - - - -0.373 - - - -0.366 - - - -0.370 - - - -0.418 - - - -0.414 - - - -0.414 - - -table_with_length::add - - - -0.373 - - - -0.367 - - - -0.376 - - - -0.420 - - - -0.417 - - - -0.417 - - -big_vector::append - - - -0.373 - - - -0.372 - - - -0.371 - - - -0.414 - - - -0.416 - - - -0.418 - - -bls12381::aggregate_pubkeys_internal - - - -0.373 - - - -0.371 - - - -0.371 - - - -0.413 - - - -0.414 - - - -0.415 - - -bls12381::signature_subgroup_check_internal - - - -0.373 - - - -0.373 - - - -0.372 - - - -0.409 - - - -0.415 - - - -0.415 - - -bls12381::verify_aggregate_signature_internal - - - -0.373 - - - -0.372 - - - -0.376 - - - -0.414 - - - -0.416 - - - -0.417 - - -bls12381::verify_signature_share_internal - - - -0.373 - - - -0.374 - - - -0.398 - - - -0.414 - - - -0.414 - - - -0.414 - - -crypto_algebra::inv_internal - - - -0.373 - - - -0.372 - - - -0.372 - - - -0.414 - - - -0.411 - - - -0.432 - - -ed25519::signature_verify_strict_internal - - - -0.373 - - - -0.372 - - - -0.371 - - - -0.414 - - - -0.414 - - - -0.415 - - -fixed_point64::ceil - - - -0.373 - - - -0.371 - - - -0.371 - - - -0.417 - - - -0.414 - - - -0.414 - - -math128::mul_div - - - -0.373 - - - -0.373 - - - -0.373 - - - -0.413 - - - -0.415 - - - -0.414 - - -pool_u64::destroy_empty - - - -0.373 - - - -0.370 - - - -0.367 - - - -0.415 - - - -0.415 - - - -0.415 - - -ristretto255::point_add_internal - - - -0.373 - - - -0.379 - - - -0.368 - - - -0.437 - - - -0.417 - - - -0.411 - - -smart_table::to_simple_map - - - -0.373 - - - -0.371 - - - -0.372 - - - -0.413 - - - -0.413 - - - -0.438 - - -smart_vector::swap - - - -0.373 - - - -0.371 - - - -0.371 - - - -0.414 - - - -0.414 - - - -0.421 - - -table::add_box - - - -0.372 - - - -0.370 - - - -0.368 - - - -0.415 - - - -0.414 - - - -0.411 - - -table_with_length::empty - - - -0.372 - - - -0.371 - - - -0.369 - - - -0.414 - - - -0.416 - - - -0.414 - - -big_vector::remove - - - -0.372 - - - -0.367 - - - -0.370 - - - -0.417 - - - -0.413 - - - -0.414 - - -crypto_algebra::eq_internal - - - -0.372 - - - -0.372 - - - -0.367 - - - -0.414 - - - -0.442 - - - -0.415 - - -crypto_algebra::mul_internal - - - -0.372 - - - -0.371 - - - -0.370 - - - -0.414 - - - -0.416 - - - -0.442 - - -crypto_algebra::sqr_internal - - - -0.372 - - - -0.371 - - - -0.372 - - - -0.414 - - - -0.414 - - - -0.413 - - -crypto_algebra::upcast_internal - - - -0.372 - - - -0.380 - - - -0.368 - - - -0.413 - - - -0.417 - - - -0.413 - - -debug::native_print - - - -0.372 - - - -0.366 - - - -0.370 - - - -0.414 - - - -0.409 - - - -0.414 - - -fixed_point64::create_from_rational - - - -0.372 - - - -0.370 - - - -0.370 - - - -0.418 - - - -0.414 - - - -0.419 - - -math64::ceil_div - - - -0.372 - - - -0.372 - - - -0.367 - - - -0.414 - - - -0.414 - - - -0.417 - - -simple_map::borrow_mut - - - -0.372 - - - -0.373 - - - -0.370 - - - -0.413 - - - -0.418 - - - -0.414 - - -simple_map::length - - - -0.372 - - - -0.371 - - - -0.371 - - - -0.415 - - - -0.417 - - - -0.445 - - -simple_map::new - - - -0.372 - - - -0.371 - - - -0.372 - - - -0.420 - - - -0.411 - - - -0.431 - - -pool_u64::contains - - - -0.372 - - - -0.371 - - - -0.375 - - - -0.415 - - - -0.414 - - - -0.414 - - -pool_u64::total_coins - - - -0.372 - - - -0.370 - - - -0.371 - - - -0.414 - - - -0.410 - - - -0.410 - - -pool_u64::create_with_scaling_factor - - - -0.372 - - - -0.369 - - - -0.371 - - - -0.412 - - - -0.414 - - - -0.414 - - -ristretto255::scalar_mul_internal - - - -0.372 - - - -0.420 - - - -0.368 - - - -0.411 - - - -0.415 - - - -0.414 - - -ristretto255::basepoint_double_mul_internal - - - -0.372 - - - -0.371 - - - -0.371 - - - -0.414 - - - -0.423 - - - -0.418 - - -ristretto255::basepoint_mul_internal - - - -0.372 - - - -0.371 - - - -0.372 - - - -0.416 - - - -0.417 - - - -0.424 - - -ristretto255::new_point_from_64_uniform_bytes_internal - - - -0.372 - - - -0.372 - - - -0.370 - - - -0.415 - - - -0.414 - - - -0.414 - - -ristretto255::point_clone_internal - - - -0.372 - - - -0.368 - - - -0.372 - - - -0.452 - - - -0.450 - - - -0.414 - - -ristretto255::scalar_from_u128_internal - - - -0.372 - - - -0.374 - - - -0.371 - - - -0.414 - - - -0.410 - - - -0.414 - - -ristretto255::scalar_from_u64_internal - - - -0.372 - - - -0.370 - - - -0.370 - - - -0.413 - - - -0.410 - - - -0.417 - - -ristretto255::scalar_neg_internal - - - -0.372 - - - -0.373 - - - -0.372 - - - -0.411 - - - -0.415 - - - -0.413 - - -ristretto255::scalar_sub_internal - - - -0.372 - - - -0.369 - - - -0.397 - - - -0.420 - - - -0.414 - - - -0.458 - - -ristretto255::scalar_uniform_from_64_bytes_internal - - - -0.372 - - - -0.370 - - - -0.371 - - - -0.425 - - - -0.421 - - - -0.418 - - -smart_table::add - - - -0.372 - - - -0.370 - - - -0.374 - - - -0.410 - - - -0.413 - - - -0.414 - - -smart_vector::append - - - -0.372 - - - -0.370 - - - -0.371 - - - -0.433 - - - -0.413 - - - -0.413 - - -table::borrow_box_mut - - - -0.371 - - - -0.370 - - - -0.372 - - - -0.410 - - - -0.416 - - - -0.418 - - -table::destroy_empty_box - - - -0.371 - - - -0.371 - - - -0.371 - - - -0.416 - - - -0.413 - - - -0.414 - - -big_vector::reverse - - - -0.371 - - - -0.366 - - - -0.372 - - - -0.414 - - - -0.415 - - - -0.413 - - -bls12381::validate_pubkey_internal - - - -0.371 - - - -0.367 - - - -0.372 - - - -0.414 - - - -0.416 - - - -0.416 - - -crypto_algebra::downcast_internal - - - -0.371 - - - -0.373 - - - -0.374 - - - -0.411 - - - -0.441 - - - -0.414 - - -crypto_algebra::from_u64_internal - - - -0.371 - - - -0.376 - - - -0.370 - - - -0.414 - - - -0.440 - - - -0.416 - - -crypto_algebra::hash_to_internal - - - -0.371 - - - -0.372 - - - -0.372 - - - -0.410 - - - -0.415 - - - -0.444 - - -crypto_algebra::multi_scalar_mul_internal - - - -0.371 - - - -0.376 - - - -0.371 - - - -0.414 - - - -0.417 - - - -0.442 - - -crypto_algebra::neg_internal - - - -0.371 - - - -0.398 - - - -0.368 - - - -0.409 - - - -0.415 - - - -0.414 - - -crypto_algebra::one_internal - - - -0.371 - - - -0.375 - - - -0.368 - - - -0.415 - - - -0.413 - - - -0.413 - - -crypto_algebra::serialize_internal - - - -0.371 - - - -0.372 - - - -0.371 - - - -0.411 - - - -0.410 - - - -0.415 - - -crypto_algebra::zero_internal - - - -0.371 - - - -0.367 - - - -0.374 - - - -0.414 - - - -0.413 - - - -0.413 - - -string_utils::list1 - - - -0.371 - - - -0.378 - - - -0.368 - - - -0.414 - - - -0.410 - - - -0.414 - - -string_utils::list2 - - - -0.371 - - - -0.372 - - - -0.376 - - - -0.413 - - - -0.414 - - - -0.414 - - -debug::native_stack_trace - - - -0.371 - - - -0.371 - - - -0.371 - - - -0.414 - - - -0.415 - - - -0.413 - - -multi_ed25519::public_key_validate_internal - - - -0.371 - - - -0.375 - - - -0.371 - - - -0.443 - - - -0.414 - - - -0.414 - - -multi_ed25519::signature_verify_strict_internal - - - -0.371 - - - -0.378 - - - -0.369 - - - -0.443 - - - -0.415 - - - -0.413 - - -simple_map::find - - - -0.371 - - - -0.371 - - - -0.371 - - - -0.414 - - - -0.413 - - - -0.439 - - -simple_map::add - - - -0.371 - - - -0.368 - - - -0.370 - - - -0.410 - - - -0.410 - - - -0.448 - - -simple_map::add_all - - - -0.371 - - - -0.396 - - - -0.371 - - - -0.413 - - - -0.414 - - - -0.414 - - -simple_map::contains_key - - - -0.371 - - - -0.371 - - - -0.375 - - - -0.413 - - - -0.413 - - - -0.416 - - -pool_u64::new - - - -0.371 - - - -0.371 - - - -0.371 - - - -0.414 - - - -0.413 - - - -0.413 - - -pool_u64::create - - - -0.371 - - - -0.371 - - - -0.368 - - - -0.415 - - - -0.417 - - - -0.415 - - -pool_u64::amount_to_shares - - - -0.371 - - - -0.377 - - - -0.371 - - - -0.414 - - - -0.414 - - - -0.413 - - -pool_u64::amount_to_shares_with_total_coins - - - -0.371 - - - -0.367 - - - -0.370 - - - -0.415 - - - -0.418 - - - -0.410 - - -pool_u64::shareholders - - - -0.371 - - - -0.375 - - - -0.368 - - - -0.413 - - - -0.415 - - - -0.414 - - -pool_u64::shareholders_count - - - -0.371 - - - -0.371 - - - -0.371 - - - -0.413 - - - -0.414 - - - -0.414 - - -pool_u64::shares - - - -0.371 - - - -0.372 - - - -0.371 - - - -0.413 - - - -0.417 - - - -0.411 - - -pool_u64::shares_to_amount - - - -0.371 - - - -0.372 - - - -0.370 - - - -0.414 - - - -0.425 - - - -0.413 - - -pool_u64::shares_to_amount_with_total_coins - - - -0.371 - - - -0.370 - - - -0.367 - - - -0.413 - - - -0.411 - - - -0.413 - - -ristretto255::point_equals - - - -0.371 - - - -0.371 - - - -0.371 - - - -0.415 - - - -0.414 - - - -0.414 - - -ristretto255::point_neg_internal - - - -0.371 - - - -0.371 - - - -0.371 - - - -0.414 - - - -0.415 - - - -0.419 - - -ristretto255::scalar_is_canonical_internal - - - -0.371 - - - -0.370 - - - -0.374 - - - -0.416 - - - -0.414 - - - -0.415 - - -ristretto255::scalar_reduced_from_32_bytes_internal - - - -0.371 - - - -0.372 - - - -0.370 - - - -0.413 - - - -0.414 - - - -0.413 - - -smart_table::destroy_empty - - - -0.371 - - - -0.373 - - - -0.367 - - - -0.413 - - - -0.413 - - - -0.413 - - -smart_table::remove - - - -0.371 - - - -0.366 - - - -0.368 - - - -0.414 - - - -0.416 - - - -0.415 - - -smart_table::borrow_mut_with_default - - - -0.371 - - - -0.370 - - - -0.374 - - - -0.411 - - - -0.409 - - - -0.413 - - -smart_table::new - - - -0.371 - - - -0.371 - - - -0.370 - - - -0.413 - - - -0.413 - - - -0.423 - - -smart_table::load_factor - - - -0.371 - - - -0.366 - - - -0.374 - - - -0.413 - - - -0.412 - - - -0.413 - - -smart_table::new_with_config - - - -0.371 - - - -0.369 - - - -0.370 - - - -0.414 - - - -0.413 - - - -0.412 - - -smart_table::split_one_bucket - - - -0.371 - - - -0.370 - - - -0.373 - - - -0.417 - - - -0.414 - - - -0.454 - - -smart_table::update_target_bucket_size - - - -0.371 - - - -0.373 - - - -0.372 - - - -0.414 - - - -0.417 - - - -0.416 - - -table::borrow_mut_with_default - - - -0.370 - - - -0.371 - - - -0.371 - - - -0.417 - - - -0.427 - - - -0.417 - - -table::contains_box - - - -0.370 - - - -0.373 - - - -0.370 - - - -0.417 - - - -0.414 - - - -0.414 - - -table::drop_unchecked_box - - - -0.370 - - - -0.375 - - - -0.370 - - - -0.422 - - - -0.415 - - - -0.413 - - -table::new_table_handle - - - -0.370 - - - -0.378 - - - -0.371 - - - -0.416 - - - -0.414 - - - -0.413 - - -table::upsert - - - -0.370 - - - -0.374 - - - -0.371 - - - -0.414 - - - -0.410 - - - -0.415 - - -big_vector::index_of - - - -0.370 - - - -0.372 - - - -0.367 - - - -0.414 - - - -0.413 - - - -0.438 - - -bls12381::verify_proof_of_possession_internal - - - -0.370 - - - -0.371 - - - -0.371 - - - -0.411 - - - -0.414 - - - -0.415 - - -string_utils::native_format - - - -0.370 - - - -0.371 - - - -0.369 - - - -0.414 - - - -0.418 - - - -0.413 - - -simple_map::create - - - -0.370 - - - -0.372 - - - -0.371 - - - -0.411 - - - -0.414 - - - -0.419 - - -pool_u64::to_u128 - - - -0.370 - - - -0.368 - - - -0.370 - - - -0.415 - - - -0.415 - - - -0.414 - - -ristretto255::double_scalar_mul_internal - - - -0.370 - - - -0.370 - - - -0.392 - - - -0.412 - - - -0.410 - - - -0.414 - - -smart_table::borrow_mut - - - -0.370 - - - -0.370 - - - -0.371 - - - -0.415 - - - -0.419 - - - -0.438 - - -smart_table::length - - - -0.370 - - - -0.372 - - - -0.371 - - - -0.415 - - - -0.414 - - - -0.415 - - -smart_table::bucket_index - - - -0.370 - - - -0.372 - - - -0.371 - - - -0.413 - - - -0.417 - - - -0.413 - - -smart_table::add_all - - - -0.370 - - - -0.371 - - - -0.370 - - - -0.414 - - - -0.413 - - - -0.415 - - -smart_vector::push_back - - - -0.370 - - - -0.368 - - - -0.371 - - - -0.413 - - - -0.414 - - - -0.415 - - -type_info::type_name - - - -0.369 - - - -0.373 - - - -0.376 - - - -0.431 - - - -0.416 - - - -0.440 - - -aptos_hash::ripemd160_internal - - - -0.369 - - - -0.371 - - - -0.373 - - - -0.415 - - - -0.414 - - - -0.414 - - -table::add - - - -0.369 - - - -0.372 - - - -0.368 - - - -0.413 - - - -0.409 - - - -0.411 - - -table_with_length::borrow - - - -0.369 - - - -0.370 - - - -0.371 - - - -0.414 - - - -0.415 - - - -0.441 - - -bls12381::verify_multisignature_internal - - - -0.369 - - - -0.372 - - - -0.386 - - - -0.413 - - - -0.411 - - - -0.413 - - -math128::ceil_div - - - -0.369 - - - -0.367 - - - -0.370 - - - -0.414 - - - -0.415 - - - -0.414 - - -simple_map::values - - - -0.369 - - - -0.366 - - - -0.367 - - - -0.417 - - - -0.413 - - - -0.417 - - -pool_u64::balance - - - -0.369 - - - -0.374 - - - -0.373 - - - -0.413 - - - -0.421 - - - -0.415 - - -ristretto255::multi_scalar_mul_internal - - - -0.369 - - - -0.383 - - - -0.371 - - - -0.413 - - - -0.415 - - - -0.427 - - -ristretto255::scalar_invert_internal - - - -0.369 - - - -0.371 - - - -0.371 - - - -0.418 - - - -0.413 - - - -0.413 - - -type_info::type_of - - - -0.368 - - - -0.370 - - - -0.371 - - - -0.439 - - - -0.410 - - - -0.409 - - -aptos_hash::sha3_512_internal - - - -0.368 - - - -0.371 - - - -0.368 - - - -0.414 - - - -0.415 - - - -0.414 - - -table::borrow_box - - - -0.368 - - - -0.379 - - - -0.371 - - - -0.410 - - - -0.413 - - - -0.414 - - -bls12381::aggregate_signatures_internal - - - -0.368 - - - -0.367 - - - -0.369 - - - -0.414 - - - -0.413 - - - -0.415 - - -crypto_algebra::scalar_mul_internal - - - -0.368 - - - -0.386 - - - -0.372 - - - -0.413 - - - -0.415 - - - -0.415 - - -crypto_algebra::sub_internal - - - -0.368 - - - -0.372 - - - -0.374 - - - -0.416 - - - -0.414 - - - -0.413 - - -string_utils::list3 - - - -0.368 - - - -0.380 - - - -0.370 - - - -0.410 - - - -0.410 - - - -0.414 - - -string_utils::native_format_list - - - -0.368 - - - -0.371 - - - -0.367 - - - -0.413 - - - -0.414 - - - -0.414 - - -math64::mul_div - - - -0.368 - - - -0.371 - - - -0.371 - - - -0.413 - - - -0.418 - - - -0.410 - - -simple_map::destroy - - - -0.368 - - - -0.370 - - - -0.371 - - - -0.414 - - - -0.414 - - - -0.418 - - -pool_u64::multiply_then_divide - - - -0.368 - - - -0.371 - - - -0.372 - - - -0.417 - - - -0.416 - - - -0.413 - - -pool_u64::redeem_shares - - - -0.368 - - - -0.381 - - - -0.371 - - - -0.416 - - - -0.414 - - - -0.415 - - -ristretto255::point_compress_internal - - - -0.368 - - - -0.379 - - - -0.367 - - - -0.440 - - - -0.416 - - - -0.414 - - -ristretto255::point_identity_internal - - - -0.368 - - - -0.370 - - - -0.373 - - - -0.414 - - - -0.415 - - - -0.413 - - -ristretto255::scalar_from_sha512_internal - - - -0.368 - - - -0.373 - - - -0.370 - - - -0.413 - - - -0.413 - - - -0.414 - - -aptos_hash::sip_hash - - - -0.367 - - - -0.371 - - - -0.366 - - - -0.413 - - - -0.417 - - - -0.413 - - -table_with_length::destroy_empty - - - -0.367 - - - -0.376 - - - -0.367 - - - -0.417 - - - -0.410 - - - -0.416 - - -table_with_length::new - - - -0.367 - - - -0.370 - - - -0.367 - - - -0.413 - - - -0.413 - - - -0.414 - - -crypto_algebra::pairing_internal - - - -0.367 - - - -0.368 - - - -0.371 - - - -0.413 - - - -0.413 - - - -0.411 - - -simple_map::borrow - - - -0.367 - - - -0.372 - - - -0.371 - - - -0.410 - - - -0.450 - - - -0.413 - - -simple_map::destroy_empty - - - -0.367 - - - -0.368 - - - -0.371 - - - -0.413 - - - -0.414 - - - -0.426 - - -simple_map::upsert - - - -0.367 - - - -0.371 - - - -0.371 - - - -0.414 - - - -0.410 - - - -0.457 - - -simple_map::keys - - - -0.367 - - - -0.388 - - - -0.370 - - - -0.414 - - - -0.414 - - - -0.419 - - -pool_u64::total_shares - - - -0.367 - - - -0.375 - - - -0.370 - - - -0.414 - - - -0.414 - - - -0.414 - - -ristretto255::point_is_canonical_internal - - - -0.367 - - - -0.371 - - - -0.372 - - - -0.410 - - - -0.428 - - - -0.415 - - -ristretto255::point_mul_internal - - - -0.367 - - - -0.371 - - - -0.371 - - - -0.414 - - - -0.414 - - - -0.415 - - -ristretto255::scalar_add_internal - - - -0.367 - - - -0.409 - - - -0.370 - - - -0.418 - - - -0.413 - - - -0.414 - - -secp256k1::ecdsa_recover_internal - - - -0.367 - - - -0.370 - - - -0.370 - - - -0.422 - - - -0.426 - - - -0.411 - - -smart_table::contains - - - -0.367 - - - -0.371 - - - -0.372 - - - -0.413 - - - -0.414 - - - -0.415 - - -smart_table::borrow - - - -0.367 - - - -0.371 - - - -0.371 - - - -0.414 - - - -0.413 - - - -0.434 - - -smart_table::borrow_with_default - - - -0.367 - - - -0.367 - - - -0.367 - - - -0.414 - - - -0.413 - - - -0.415 - - -smart_table::unzip_entries - - - -0.367 - - - -0.367 - - - -0.371 - - - -0.413 - - - -0.411 - - - -0.414 - - -simple_map::remove - - - -0.366 - - - -0.374 - - - -0.371 - - - -0.415 - - - -0.415 - - - -0.449 - - -smart_vector::swap_remove - - - -0.365 - - - -0.371 - - - -0.371 - - - -0.414 - - - -0.412 - - - -0.433 - - += current_boogie_1= current_boogie_2= current_boogie_3= new_boogie_1= new_boogie_2= new_boogie_3smart_vector::borrow23.25323.62923.3618.8948.9108.929fixed_point64::round8.2998.2588.4482.4362.4392.513big_vector::pop_back3.2273.2173.2203.5903.5893.691big_vector::push_back2.8602.8602.8514.0534.0454.086smart_vector::borrow_mut1.9992.0051.9951.2741.3311.268type_info::account_address1.0060.7941.0260.6360.6420.635smart_vector::singleton0.9110.9270.9071.1271.1311.172smart_vector::reverse0.8900.8770.8831.0101.0211.014fixed_point64::floor0.8120.7950.7970.7710.7750.773smart_vector::add_all0.7090.7050.7050.8130.8220.812fixed_point64::create_from_u1280.7000.6990.7010.7590.7590.761fixed_point64::multiply_u1280.6890.6890.6880.6500.6520.657fixed_point64::divide_u1280.6820.6780.6790.7410.7430.741comparator::compare_u8_vector0.6770.7160.6690.7640.7290.735pool_u64_unbound::buy_in0.6670.6750.6780.7600.7510.756pool_u64_unbound::redeem_shares0.6500.6470.6450.7220.7200.736multi_ed25519::public_key_validate_v20.6490.6020.5990.6780.6850.680smart_vector::destroy_empty0.6480.6390.6420.7420.7370.756big_vector::borrow_mut0.6450.6490.6490.7110.7140.722multi_ed25519::new_validated_public_key_from_bytes_v20.6430.6010.5940.6730.6790.674smart_vector::contains0.6430.6430.6510.7490.7490.753crypto_algebra::div0.6390.6020.6020.6720.6730.696pool_u64_unbound::transfer_shares0.6390.6960.6370.7120.7120.717multi_ed25519::unvalidated_public_key_threshold0.6380.5940.5950.6630.6810.664crypto_algebra::double0.6340.5760.5800.6390.6440.652smart_vector::is_empty0.6340.6340.6290.7240.7230.737smart_vector::index_of0.6320.6350.6380.7250.7230.728big_vector::borrow0.6300.6290.6270.7010.7000.698smart_vector::empty0.6300.6250.6240.7330.7160.728smart_vector::new0.6300.6290.6250.7360.7150.719smart_vector::empty_with_config0.6300.6260.6370.7320.7230.736crypto_algebra::multi_pairing0.6290.6260.6260.7170.7180.739smart_vector::to_vector0.6290.6320.6380.7260.7700.726ristretto255_pedersen::randomness_base_for_bulletproof0.6260.6110.6160.6850.6830.707smart_vector::length0.6260.6250.6390.7210.7260.720big_vector::singleton0.6210.6190.6170.6940.6820.700crypto_algebra::multi_scalar_mul0.6200.6200.6200.7060.7120.711ristretto255_pedersen::new_commitment_for_bulletproof0.6190.6140.6200.6910.7360.693ristretto255_elgamal::new_ciphertext_from_bytes0.6160.6280.6200.7150.7170.710multi_ed25519::unvalidated_public_key_num_sub_pks0.6150.5710.5720.6370.6840.635pool_u64_unbound::balance0.6140.6140.6120.6810.6830.681ristretto255_pedersen::new_commitment_from_bytes0.6130.6140.6100.7040.7030.727ristretto255::new_point_from_bytes0.6120.6360.5840.6730.6710.673ristretto255_bulletproofs::range_proof_to_bytes0.6120.5710.5670.6330.6410.680ristretto255_elgamal::new_pubkey_from_bytes0.6100.6130.6110.7160.7040.699secp256k1::ecdsa_recover0.6100.6100.6100.6940.6860.681big_vector::contains0.6090.6010.5980.6680.6650.718aptos_hash::sip_hash_from_value0.6080.6160.5780.6580.6370.639multi_ed25519::check_and_get_threshold0.6070.5850.5890.6580.6650.654bls12381::aggregate_signatures0.6060.6090.6120.6910.6880.688crypto_algebra::handles_from_elements0.6050.6060.6010.6780.6910.677from_bcs::to_bytes0.6040.5660.5660.6320.6330.633type_info::verify_type_of0.6030.5800.5860.6730.6390.638crypto_algebra::downcast0.6030.5970.5960.6790.7060.692pool_u64_unbound::amount_to_shares_with_total_coins0.6030.6030.6040.6740.6810.677type_info::verify_type_of_generic0.6020.5740.5770.6390.6500.642math_fixed::exp0.6020.6080.6020.6680.6660.672math_fixed64::exp0.6020.6030.6230.6880.6720.670pool_u64_unbound::shares_to_amount_with_total_coins0.6020.5960.5980.6700.6650.670ristretto255::scalar_invert0.6020.6090.6010.6690.6760.675fixed_point64::equal0.6010.5730.5700.6370.6500.636bls12381::verify_aggregate_signature0.6000.6070.6030.6880.6930.695math_fixed64::exp_raw0.6000.5980.6360.6840.6670.671crypto_algebra::inv0.5990.5960.5990.6730.6740.718aptos_hash::sha2_5120.5980.5760.5890.6380.6350.642math_fixed::exp_raw0.5980.5930.5920.6750.6550.669fixed_point64::get_raw_value0.5970.5700.5730.6300.6320.628pool_u64_unbound::amount_to_shares0.5970.5980.5970.6650.6670.663crypto_algebra::add0.5960.5770.5850.6370.6370.640ed25519::new_validated_public_key_from_bytes0.5960.5890.5920.6750.6700.677multi_ed25519::public_key_validate0.5960.5990.6060.7150.6790.676ristretto255::new_compressed_point_from_bytes0.5960.5900.5920.6760.6700.672ristretto255::new_scalar_uniform_from_64_bytes0.5960.5950.5950.7110.6760.667ristretto255_pedersen::new_commitment_with_basepoint0.5960.5760.5780.6480.6460.647bls12381::public_key_from_bytes_with_pop0.5950.5950.5990.7040.6710.672pool_u64_unbound::multiply_then_divide0.5950.5920.5900.6650.6660.666ristretto255_bulletproofs::verify_range_proof0.5950.5810.5790.6470.6480.678big_vector::empty0.5940.5920.5950.6690.6840.671crypto_algebra::deserialize0.5940.5980.5950.6790.6740.685math_fixed64::ln_plus_32ln20.5940.5850.5900.6480.6580.644ristretto255::new_point_from_64_uniform_bytes0.5940.5940.5950.6780.6900.673any::pack0.5930.5800.5790.6440.6500.642big_vector::destroy_empty0.5930.5930.5950.6690.6650.673pool_u64_unbound::add_shares0.5930.6020.5930.6780.6750.674bls12381::public_key_from_bytes0.5920.5910.5950.6810.6760.673crypto_algebra::abort_unless_cryptography_algebra_natives_enabled0.5920.5740.5740.6350.6350.634pool_u64_unbound::deduct_shares0.5920.5960.6000.6790.6740.667ristretto255::new_scalar_reduced_from_32_bytes0.5920.5900.5850.6870.6810.691pool_u64_unbound::total_coins0.5910.5840.5840.6480.6520.653ristretto255::new_scalar_from_bytes0.5910.5920.6000.6730.6810.695from_bcs::to_address0.5900.5670.5680.6320.6310.634big_vector::is_empty0.5900.5920.5920.6620.6630.668pool_u64_unbound::create_with_scaling_factor0.5900.5840.5830.6520.6540.657pool_u64_unbound::shares_to_amount0.5900.5910.5950.6620.6650.660ristretto255_pedersen::commitment_as_compressed_point0.5900.5870.5700.6470.6450.636capability::revoke0.5890.5820.5850.6640.6610.671math128::sqrt0.5890.5830.5840.6480.6520.648from_bcs::to_u1280.5880.5690.5680.6320.6330.636from_bcs::to_u80.5880.5760.5690.6320.6350.633big_vector::to_vector0.5880.5900.5870.6680.6680.667crypto_algebra::upcast0.5880.5750.5850.6430.6350.640multi_ed25519::new_validated_public_key_from_bytes0.5880.5940.5970.6710.6690.673multi_ed25519::signature_verify_strict_t0.5880.5870.5840.6890.6480.653pool_u64_unbound::shares_to_amount_with_total_stats0.5880.6100.5910.6640.6580.655ristretto255::multi_scalar_mul0.5880.6180.5880.6680.6690.675any::type_name0.5870.5710.5690.6350.6350.633capability::delegate0.5870.5900.5870.6510.6500.658crypto_algebra::hash_to0.5870.5780.5680.6440.6430.664ed25519::public_key_validate0.5870.5990.5880.6780.6780.673math_fixed64::log2_plus_640.5870.5750.5880.6500.6490.648table::borrow_with_default0.5860.5780.5740.6410.6400.635big_vector::length0.5860.5890.5910.6620.6650.665capability::validate_acquire0.5860.6200.5900.6610.6640.657string_utils::format40.5860.5880.5900.6640.6570.657math128::average0.5860.5730.5860.6410.6360.640math_fixed::pow0.5860.5870.5890.6500.6670.646math128::log2_640.5850.5810.5830.6390.6540.642from_bcs::to_u2560.5840.5710.5690.6710.6420.632aptos_hash::ripemd1600.5840.5740.5760.6350.6400.639crypto_algebra::neg0.5840.5770.5760.6410.6430.657pool_u64_unbound::destroy_empty0.5840.6270.5840.6600.6550.654pool_u64_unbound::to_u2560.5840.5720.5730.6350.6380.635pool_u64_unbound::shares0.5840.5830.5940.6580.6600.657pool_u64_unbound::update_total_coins0.5840.6170.5860.6580.6560.655ristretto255_pedersen::new_commitment0.5840.5780.5810.6460.6750.644bls12381::aggregate_pubkeys0.5830.5850.5790.6550.6510.648capability::create0.5830.5830.5860.6580.6560.662math64::log20.5830.5870.5910.6450.6440.653math64::sqrt0.5830.5850.5870.6520.6500.644multi_ed25519::unvalidated_public_key_to_authentication_key0.5830.5820.5710.6310.6320.633ristretto255_bulletproofs::verify_range_proof_pedersen0.5830.5830.5820.6580.6520.660ristretto255_elgamal::ciphertext_clone0.5830.5790.5800.6430.6490.699capability::add_element0.5820.5840.5790.6470.6460.653comparator::compare0.5820.6050.5830.6480.6490.641crypto_algebra::one0.5820.6050.5760.6470.6400.643crypto_algebra::sub0.5820.5870.5750.6380.6400.643math128::floor_log20.5820.5800.5680.6380.6390.640pool_u64_unbound::new0.5820.5800.5830.6480.6490.653ristretto255_pedersen::commitment_clone0.5820.5990.5830.6390.6390.640ristretto255_elgamal::ciphertext_sub_assign0.5820.5770.5770.6370.6480.639type_info::chain_id0.5810.5730.5880.6480.6370.641capability::acquire0.5810.5800.6180.6590.6590.689capability::remove_element0.5810.5830.5830.6510.6540.647string_utils::format20.5810.5780.5860.6440.6430.645math_fixed::log2_plus_320.5810.5820.5840.6520.6510.649math_fixed64::mul_div0.5810.5810.6030.6340.6410.638ristretto255::scalar_mul_assign0.5810.5670.5690.6340.6410.634ristretto255_pedersen::commitment_into_compressed_point0.5810.5740.5730.6410.6650.641ristretto255_bulletproofs::range_proof_from_bytes0.5810.5680.5670.6350.6310.648ristretto255_elgamal::pubkey_to_point0.5810.5800.5740.6360.6380.637capability::acquire_linear0.5800.5810.6060.6680.6620.687string_utils::format30.5800.5780.5770.6520.6500.657ed25519::validated_public_key_to_bytes0.5800.5670.5680.6320.6320.631math128::pow0.5800.5760.5720.6360.6320.640math_fixed::pow_raw0.5800.5770.5960.6370.6420.640math_fixed64::pow0.5800.5830.6210.6530.6400.647pool_u64_unbound::create0.5800.5970.5830.6540.6490.651pool_u64_unbound::shareholders_count0.5800.5860.5830.6520.6520.656pool_u64_unbound::total_shares0.5800.5790.5810.6480.6490.654ristretto255_bulletproofs::get_max_range_bits0.5800.5740.5690.6360.6300.653secp256k1::ecdsa_signature_from_bytes0.5800.5730.5750.6470.6390.643from_bcs::to_string0.5790.5710.5690.6360.6370.637any::unpack0.5790.5810.5920.6440.6410.642aptos_hash::blake2b_2560.5790.5710.5810.6530.6420.639fixed_point64::add0.5790.5810.5800.6470.6410.638math64::floor_log20.5790.5750.5770.6330.6440.640math_fixed::mul_div0.5790.5750.5730.6390.6720.634math_fixed::ln_plus_32ln20.5790.5790.5800.6570.6600.661multi_ed25519::validated_public_key_threshold0.5790.5720.5740.6420.6550.638ristretto255::double_scalar_mul0.5790.5810.6070.6370.6370.638crypto_algebra::sqr0.5780.5780.5750.6410.6390.643math_fixed::sqrt0.5780.5770.5800.6430.6400.639ristretto255_elgamal::new_ciphertext_no_randomness0.5780.5800.5800.6350.6350.643secp256k1::ecdsa_raw_public_key_from_64_bytes0.5780.5780.5760.6450.6370.631bls12381::public_key_with_pop_to_normal0.5770.5760.5710.6330.6320.637copyable_any::pack0.5770.5890.5920.6660.6460.645crypto_algebra::scalar_mul0.5770.5680.5770.6390.6390.640ed25519::signature_verify_strict_t0.5770.5830.5830.6520.6470.643fixed_point64::sub0.5770.5750.5740.6410.6440.679math64::average0.5770.5730.5760.6370.6410.646multi_ed25519::new_unvalidated_public_key_from_bytes0.5770.5800.5890.6420.6440.645ristretto255::point_add_assign0.5770.5720.5680.6660.6330.633ristretto255::scalar_neg0.5770.5750.5680.6310.6330.630ristretto255_pedersen::commitment_from_compressed0.5770.5950.5720.6370.6390.640ristretto255_elgamal::decompress_ciphertext0.5770.5790.5780.6410.6520.635bls12381::verify_multisignature0.5760.5690.5750.6400.6360.636comparator::is_smaller_than0.5760.6040.5740.6710.6300.635copyable_any::unpack0.5760.5830.5870.6610.6360.641crypto_algebra::pairing0.5760.5810.5850.6440.6380.647multi_ed25519::new_signature_from_bytes0.5760.5740.5770.6550.6450.645ristretto255::basepoint0.5760.6150.5720.6320.6350.633ristretto255::new_point_from_sha2_5120.5760.5830.5750.6360.6670.681ristretto255_pedersen::commitment_add0.5760.5710.5750.6580.6360.632ristretto255_elgamal::ciphertext_from_compressed_points0.5760.5690.5730.6420.6330.632ristretto255_elgamal::ciphertext_to_bytes0.5760.5770.5770.6510.6520.647ristretto255_elgamal::compress_ciphertext0.5760.5770.5740.6420.6560.644type_info::size_of_val0.5750.5820.5760.6430.6390.632aptos_hash::sha3_5120.5750.5740.5750.6370.6350.634bls12381::public_key_to_bytes0.5750.5670.5690.6710.6320.634crypto_algebra::from_u640.5750.5830.5750.6390.6790.641string_utils::to_string_with_integer_types0.5750.5730.5800.6330.6330.637fixed_point64::max0.5750.5710.5720.6350.6400.630math_fixed64::sqrt0.5750.5800.6160.6510.6390.641pool_u64_unbound::contains0.5750.5810.5790.6580.6530.651ristretto255::new_scalar_from_u80.5750.5760.5750.6350.6440.658ristretto255::point_clone0.5750.5750.5750.6600.6390.643ristretto255_pedersen::commitment_sub0.5750.5700.5730.6350.6780.634ristretto255_elgamal::ciphertext_add_assign0.5750.5810.5760.6400.6450.637bls12381::aggr_or_multi_signature_from_bytes0.5740.5720.5690.6400.6380.642crypto_algebra::serialize0.5740.5790.5870.6460.6450.640crypto_algebra::mul0.5740.5790.5760.6340.6430.662string_utils::to_string0.5740.5720.5720.6350.6340.632string_utils::cons0.5740.5680.5810.6300.6340.631ed25519::public_key_bytes_to_authentication_key0.5740.5750.5780.6600.6380.640math128::clamp0.5740.5720.5740.6300.6340.650math64::max0.5740.5720.5770.6330.6400.630math64::clamp0.5740.5750.5720.6360.6380.636math_fixed64::pow_raw0.5740.5760.6100.6370.6430.637multi_ed25519::validated_public_key_num_sub_pks0.5740.5810.5730.6390.6790.641ristretto255::point_decompress0.5740.5690.5730.6780.6330.635ristretto255::point_mul_assign0.5740.5750.5730.6340.6350.644ristretto255::scalar_is_zero0.5740.5740.5710.6310.6310.628ristretto255::scalar_sub_assign0.5740.5790.5960.6330.6350.635ristretto255::scalar_zero0.5740.5670.5690.6490.6320.632ristretto255_elgamal::ciphertext_add0.5740.5810.5740.6340.6340.641ristretto255_elgamal::ciphertext_sub0.5740.5750.5770.6380.6830.640type_info::struct_name0.5730.5730.5820.6330.6360.661bls12381::verify_signature_share0.5730.5720.6110.6320.6380.631crypto_algebra::order0.5730.5770.5740.6400.6380.638crypto_algebra::zero0.5730.5760.5810.6440.6400.641string_utils::to_string_with_canonical_addresses0.5730.5790.5710.6380.6320.631debug::print0.5730.5690.5710.6350.6320.634debug::print_stack_trace0.5730.5710.6110.6310.6340.630ed25519::public_key_to_unvalidated0.5730.5700.5730.6340.6330.630fixed_point64::greater_or_equal0.5730.5720.5720.6340.6320.631multi_ed25519::public_key_bytes_to_authentication_key0.5730.5760.5780.6380.6440.642ristretto255::scalar_neg_assign0.5730.5800.5770.6440.6280.633ristretto255_pedersen::commitment_equals0.5730.5790.5690.6340.6370.636ristretto255_pedersen::commitment_to_bytes0.5730.5770.5800.6390.6520.691ristretto255_elgamal::ciphertext_from_points0.5730.5700.5720.6350.6360.637ristretto255_elgamal::pubkey_to_compressed_point0.5730.5730.5690.6300.6330.633bls12381::proof_of_possession_from_bytes0.5720.5670.5680.6320.6290.636ed25519::new_signature_from_bytes0.5720.5790.5770.6390.6440.642fixed_point64::almost_equal0.5720.5730.5710.6350.6380.676fixed_point64::less0.5720.5770.5770.6380.6370.632fixed_point64::less_or_equal0.5720.5750.5720.6330.6320.653math128::log20.5720.5750.5780.6490.6620.645math64::pow0.5720.5740.5740.6400.6400.646multi_ed25519::public_key_into_unvalidated0.5720.5730.5720.6330.6400.630pool_u64_unbound::to_u1280.5720.6070.5720.6330.6350.642ristretto255::point_compress0.5720.5670.5660.6810.6620.635ristretto255::point_sub_assign0.5720.5720.5710.6330.6320.642from_bcs::to_u160.5710.5710.5710.6450.6270.635bls12381::proof_of_possession_to_bytes0.5710.5710.5710.6340.6310.632bls12381::signature_subgroup_check0.5710.5720.5680.6390.6320.631comparator::is_equal0.5710.6100.5710.6720.6300.637comparator::is_greater_than0.5710.6110.5710.6790.6360.634copyable_any::type_name0.5710.5890.5810.6780.6350.634ed25519::new_unvalidated_public_key_from_bytes0.5710.5760.5750.6410.6410.643ed25519::validated_public_key_to_authentication_key0.5710.5790.5770.6330.6300.636fixed_point64::is_zero0.5710.5720.5710.6290.6370.637fixed_point64::min0.5710.5770.5730.6340.6320.645ristretto255::scalar_mul0.5710.5970.5680.6480.6330.665ristretto255::hash_to_point_base0.5710.5760.5770.6360.6360.635ristretto255::point_add0.5710.5700.5690.6480.6350.629ristretto255::point_to_bytes0.5710.5710.5680.6320.6300.643ristretto255::scalar_equals0.5710.6050.5690.6330.6460.633ristretto255::scalar_is_one0.5710.5710.5740.6300.6300.631ristretto255_pedersen::commitment_as_point0.5710.5740.5680.6340.6320.646ristretto255_pedersen::commitment_sub_assign0.5710.5740.5820.6340.6820.645from_bcs::to_bool0.5700.5680.5640.6370.6290.640bls12381::aggr_or_multi_signature_subgroup_check0.5700.5670.5700.6300.6280.634capability::linear_root_addr0.5700.5750.5710.6280.6330.632ed25519::new_signed_message0.5700.5740.5770.6330.6390.663ed25519::unvalidated_public_key_to_authentication_key0.5700.5680.5740.6330.6310.631multi_ed25519::signature_to_bytes0.5700.5670.5680.6350.6300.630ristretto255::basepoint_mul0.5700.5690.5770.6340.6340.633ristretto255::point_identity_compressed0.5700.5730.5750.6330.6340.633ristretto255::point_mul0.5700.5690.5710.6360.6570.638ristretto255::point_neg0.5700.5740.5700.6320.6310.630ristretto255::point_neg_assign0.5700.5730.5730.6360.6340.635ristretto255::scalar_add_assign0.5700.5700.5680.6370.6400.641ristretto255::scalar_one0.5700.5700.5890.6310.6310.633ristretto255_elgamal::ciphertext_as_points0.5700.5710.5670.6300.6340.630ristretto255_elgamal::ciphertext_equals0.5700.5720.5710.6310.6340.658secp256k1::ecdsa_raw_public_key_to_bytes0.5700.5690.5730.6480.6320.635secp256k1::ecdsa_signature_to_bytes0.5700.5710.5710.6340.6320.640from_bcs::to_u320.5690.5680.5680.6350.6330.634bls12381::signature_from_bytes0.5690.5670.5700.6310.6400.631capability::root_addr0.5690.5690.5670.6330.6290.629string_utils::format10.5690.5800.5780.6470.6500.640ed25519::signature_to_bytes0.5690.5730.5670.6350.6310.633ed25519::public_key_into_unvalidated0.5690.5660.5710.6290.6320.631fixed_point64::greater0.5690.5710.5690.6290.6370.634multi_ed25519::signature_verify_strict0.5690.5740.5790.6490.6350.638ristretto255::basepoint_compressed0.5690.5740.5740.6320.6340.633ristretto255::new_point_from_sha5120.5690.5750.5750.6380.6730.648ristretto255::new_scalar_from_u1280.5690.5790.5700.6340.6360.636ristretto255::new_scalar_from_u320.5690.5840.5690.6460.6380.635ristretto255::point_identity0.5690.5700.5680.6330.6360.631ristretto255::scalar_add0.5690.5730.5700.6290.6350.642ristretto255_elgamal::pubkey_to_bytes0.5690.5700.5740.6320.6340.634bls12381::aggr_or_multi_signature_to_bytes0.5680.5680.5680.6300.6310.632bls12381::public_key_with_pop_to_bytes0.5680.5670.5690.6350.6350.634bls12381::signature_to_bytes0.5680.5700.5730.6310.6320.633string_utils::debug_string0.5680.5690.5700.6320.6350.631ed25519::signature_verify_strict0.5680.5750.5690.6350.6280.628fixed_point64::create_from_raw_value0.5680.5730.5710.6270.6370.634math128::max0.5680.5720.5720.6380.6350.643math128::min0.5680.5680.5700.6410.6300.638math64::min0.5680.5700.5710.6310.6340.642multi_ed25519::public_key_to_unvalidated0.5680.5690.5670.6560.6330.634multi_ed25519::unvalidated_public_key_to_bytes0.5680.5670.5680.6400.6320.670ristretto255::compressed_point_to_bytes0.5680.5700.5600.6380.6300.637ristretto255::new_scalar_from_sha2_5120.5680.5700.5770.6400.6310.646ristretto255::point_sub0.5680.5680.5660.6320.6330.632ristretto255::scalar_sub0.5680.5680.5840.6310.6320.631ristretto255_pedersen::commitment_from_point0.5680.5750.5700.6380.6320.633ristretto255_pedersen::commitment_into_point0.5680.5740.5690.6440.6790.634from_bcs::to_u640.5670.5710.5710.6360.6370.635string_utils::nil0.5670.5690.5680.6300.6540.631ed25519::unvalidated_public_key_to_bytes0.5670.5690.5720.6270.6280.629multi_ed25519::validated_public_key_to_authentication_key0.5670.5680.5680.6370.6300.635multi_ed25519::validated_public_key_to_bytes0.5670.5690.5690.6400.6340.635ristretto255::basepoint_double_mul0.5670.5720.5700.6360.6360.631ristretto255::new_scalar_from_sha5120.5670.5690.5700.6480.6290.632ristretto255::new_scalar_from_u640.5670.6080.5680.6390.6260.635ristretto255_elgamal::ciphertext_into_points0.5670.5760.5700.6350.6490.639ristretto255_elgamal::get_value_component0.5670.5710.5670.6340.6340.634type_info::module_name0.5660.5760.5690.6330.6330.639bls12381::verify_normal_signature0.5660.5740.6060.6360.6360.632ristretto255::scalar_to_bytes0.5660.5670.6250.6550.6670.669bls12381::aggregate_pubkey_to_bytes0.5650.5670.5740.6300.6330.638crypto_algebra::eq0.5650.5750.5680.6400.6920.640ristretto255_pedersen::commitment_add_assign0.5640.5740.5650.6760.6320.633table::borrow_mut0.4320.3720.3710.4140.4140.413smart_vector::pop_back0.4160.4200.4160.4980.5060.503crypto_algebra::add_internal0.3970.3740.3690.4150.4100.418crypto_algebra::div_internal0.3970.3680.3670.4140.4180.438multi_ed25519::public_key_validate_v2_internal0.3970.3740.3770.4150.4280.410crypto_algebra::deserialize_internal0.3960.3710.3700.4130.4090.414big_vector::swap_remove0.3900.3800.3870.4450.4450.445from_bcs::from_bytes0.3860.3710.3730.4150.4140.415table_with_length::borrow_mut0.3860.3730.3720.4160.4140.420big_vector::swap0.3850.3860.3830.4430.4390.438aptos_hash::sha2_512_internal0.3830.3720.3720.4150.4130.414table::destroy0.3830.3830.3700.4140.4120.418crypto_algebra::order_internal0.3830.3770.3710.4150.4150.416aptos_hash::keccak2560.3810.3700.3720.4150.4180.414smart_table::destroy0.3810.3670.3680.4150.4140.414aptos_hash::blake2b_256_internal0.3800.3680.3670.4140.4170.414table_with_length::length0.3800.3710.3670.4170.4180.419ed25519::public_key_validate_internal0.3800.3810.3730.4140.4140.413ristretto255::point_decompress_internal0.3800.3740.3690.4430.4130.415debug::format0.3790.3710.3710.4170.4090.413smart_table::update_split_load_threshold0.3780.3740.3700.4090.4130.414ristretto255::point_sub_internal0.3770.3710.3710.4150.4130.420table::contains0.3760.3710.3670.4140.4130.417crypto_algebra::multi_pairing_internal0.3760.3670.3740.4130.4140.424pool_u64::buy_in0.3760.3690.3660.4180.4380.414pool_u64::update_total_coins0.3760.3760.3700.4130.4150.415smart_table::upsert0.3760.3700.3700.4100.4140.413table::new0.3750.3760.3700.4120.4180.419table::remove_box0.3750.3730.3710.4150.4130.414table_with_length::contains0.3750.3710.3740.4140.4140.448table_with_length::borrow_mut_with_default0.3750.3740.3710.4120.4160.415bls12381::verify_normal_signature_internal0.3750.3760.3920.4130.4150.414crypto_algebra::double_internal0.3750.3710.3750.4100.4280.415simple_map::new_from0.3750.3710.3710.4150.4180.415pool_u64::add_shares0.3750.3710.3750.4160.4130.414ristretto255_bulletproofs::verify_range_proof_internal0.3750.3680.3700.4150.4140.423type_info::chain_id_internal0.3740.3700.3710.4150.4150.413table::remove0.3740.3660.3710.4180.4140.415table_with_length::upsert0.3740.3710.3720.4160.4110.426string_utils::list40.3740.3700.3710.4140.4100.417simple_map::to_vec_pair0.3740.3770.3670.4140.4140.415pool_u64::deduct_shares0.3740.3680.3710.4110.4150.414pool_u64::transfer_shares0.3740.3700.3670.4100.4140.414ristretto255::new_point_from_sha512_internal0.3740.3730.3720.4100.4150.415smart_vector::remove0.3740.3710.3720.4130.4090.414table::borrow0.3730.3720.3760.4190.4150.414table_with_length::remove0.3730.3660.3700.4180.4140.414table_with_length::add0.3730.3670.3760.4200.4170.417big_vector::append0.3730.3720.3710.4140.4160.418bls12381::aggregate_pubkeys_internal0.3730.3710.3710.4130.4140.415bls12381::signature_subgroup_check_internal0.3730.3730.3720.4090.4150.415bls12381::verify_aggregate_signature_internal0.3730.3720.3760.4140.4160.417bls12381::verify_signature_share_internal0.3730.3740.3980.4140.4140.414crypto_algebra::inv_internal0.3730.3720.3720.4140.4110.432ed25519::signature_verify_strict_internal0.3730.3720.3710.4140.4140.415fixed_point64::ceil0.3730.3710.3710.4170.4140.414math128::mul_div0.3730.3730.3730.4130.4150.414pool_u64::destroy_empty0.3730.3700.3670.4150.4150.415ristretto255::point_add_internal0.3730.3790.3680.4370.4170.411smart_table::to_simple_map0.3730.3710.3720.4130.4130.438smart_vector::swap0.3730.3710.3710.4140.4140.421table::add_box0.3720.3700.3680.4150.4140.411table_with_length::empty0.3720.3710.3690.4140.4160.414big_vector::remove0.3720.3670.3700.4170.4130.414crypto_algebra::eq_internal0.3720.3720.3670.4140.4420.415crypto_algebra::mul_internal0.3720.3710.3700.4140.4160.442crypto_algebra::sqr_internal0.3720.3710.3720.4140.4140.413crypto_algebra::upcast_internal0.3720.3800.3680.4130.4170.413debug::native_print0.3720.3660.3700.4140.4090.414fixed_point64::create_from_rational0.3720.3700.3700.4180.4140.419math64::ceil_div0.3720.3720.3670.4140.4140.417simple_map::borrow_mut0.3720.3730.3700.4130.4180.414simple_map::length0.3720.3710.3710.4150.4170.445simple_map::new0.3720.3710.3720.4200.4110.431pool_u64::contains0.3720.3710.3750.4150.4140.414pool_u64::total_coins0.3720.3700.3710.4140.4100.410pool_u64::create_with_scaling_factor0.3720.3690.3710.4120.4140.414ristretto255::scalar_mul_internal0.3720.4200.3680.4110.4150.414ristretto255::basepoint_double_mul_internal0.3720.3710.3710.4140.4230.418ristretto255::basepoint_mul_internal0.3720.3710.3720.4160.4170.424ristretto255::new_point_from_64_uniform_bytes_internal0.3720.3720.3700.4150.4140.414ristretto255::point_clone_internal0.3720.3680.3720.4520.4500.414ristretto255::scalar_from_u128_internal0.3720.3740.3710.4140.4100.414ristretto255::scalar_from_u64_internal0.3720.3700.3700.4130.4100.417ristretto255::scalar_neg_internal0.3720.3730.3720.4110.4150.413ristretto255::scalar_sub_internal0.3720.3690.3970.4200.4140.458ristretto255::scalar_uniform_from_64_bytes_internal0.3720.3700.3710.4250.4210.418smart_table::add0.3720.3700.3740.4100.4130.414smart_vector::append0.3720.3700.3710.4330.4130.413table::borrow_box_mut0.3710.3700.3720.4100.4160.418table::destroy_empty_box0.3710.3710.3710.4160.4130.414big_vector::reverse0.3710.3660.3720.4140.4150.413bls12381::validate_pubkey_internal0.3710.3670.3720.4140.4160.416crypto_algebra::downcast_internal0.3710.3730.3740.4110.4410.414crypto_algebra::from_u64_internal0.3710.3760.3700.4140.4400.416crypto_algebra::hash_to_internal0.3710.3720.3720.4100.4150.444crypto_algebra::multi_scalar_mul_internal0.3710.3760.3710.4140.4170.442crypto_algebra::neg_internal0.3710.3980.3680.4090.4150.414crypto_algebra::one_internal0.3710.3750.3680.4150.4130.413crypto_algebra::serialize_internal0.3710.3720.3710.4110.4100.415crypto_algebra::zero_internal0.3710.3670.3740.4140.4130.413string_utils::list10.3710.3780.3680.4140.4100.414string_utils::list20.3710.3720.3760.4130.4140.414debug::native_stack_trace0.3710.3710.3710.4140.4150.413multi_ed25519::public_key_validate_internal0.3710.3750.3710.4430.4140.414multi_ed25519::signature_verify_strict_internal0.3710.3780.3690.4430.4150.413simple_map::find0.3710.3710.3710.4140.4130.439simple_map::add0.3710.3680.3700.4100.4100.448simple_map::add_all0.3710.3960.3710.4130.4140.414simple_map::contains_key0.3710.3710.3750.4130.4130.416pool_u64::new0.3710.3710.3710.4140.4130.413pool_u64::create0.3710.3710.3680.4150.4170.415pool_u64::amount_to_shares0.3710.3770.3710.4140.4140.413pool_u64::amount_to_shares_with_total_coins0.3710.3670.3700.4150.4180.410pool_u64::shareholders0.3710.3750.3680.4130.4150.414pool_u64::shareholders_count0.3710.3710.3710.4130.4140.414pool_u64::shares0.3710.3720.3710.4130.4170.411pool_u64::shares_to_amount0.3710.3720.3700.4140.4250.413pool_u64::shares_to_amount_with_total_coins0.3710.3700.3670.4130.4110.413ristretto255::point_equals0.3710.3710.3710.4150.4140.414ristretto255::point_neg_internal0.3710.3710.3710.4140.4150.419ristretto255::scalar_is_canonical_internal0.3710.3700.3740.4160.4140.415ristretto255::scalar_reduced_from_32_bytes_internal0.3710.3720.3700.4130.4140.413smart_table::destroy_empty0.3710.3730.3670.4130.4130.413smart_table::remove0.3710.3660.3680.4140.4160.415smart_table::borrow_mut_with_default0.3710.3700.3740.4110.4090.413smart_table::new0.3710.3710.3700.4130.4130.423smart_table::load_factor0.3710.3660.3740.4130.4120.413smart_table::new_with_config0.3710.3690.3700.4140.4130.412smart_table::split_one_bucket0.3710.3700.3730.4170.4140.454smart_table::update_target_bucket_size0.3710.3730.3720.4140.4170.416table::borrow_mut_with_default0.3700.3710.3710.4170.4270.417table::contains_box0.3700.3730.3700.4170.4140.414table::drop_unchecked_box0.3700.3750.3700.4220.4150.413table::new_table_handle0.3700.3780.3710.4160.4140.413table::upsert0.3700.3740.3710.4140.4100.415big_vector::index_of0.3700.3720.3670.4140.4130.438bls12381::verify_proof_of_possession_internal0.3700.3710.3710.4110.4140.415string_utils::native_format0.3700.3710.3690.4140.4180.413simple_map::create0.3700.3720.3710.4110.4140.419pool_u64::to_u1280.3700.3680.3700.4150.4150.414ristretto255::double_scalar_mul_internal0.3700.3700.3920.4120.4100.414smart_table::borrow_mut0.3700.3700.3710.4150.4190.438smart_table::length0.3700.3720.3710.4150.4140.415smart_table::bucket_index0.3700.3720.3710.4130.4170.413smart_table::add_all0.3700.3710.3700.4140.4130.415smart_vector::push_back0.3700.3680.3710.4130.4140.415type_info::type_name0.3690.3730.3760.4310.4160.440aptos_hash::ripemd160_internal0.3690.3710.3730.4150.4140.414table::add0.3690.3720.3680.4130.4090.411table_with_length::borrow0.3690.3700.3710.4140.4150.441bls12381::verify_multisignature_internal0.3690.3720.3860.4130.4110.413math128::ceil_div0.3690.3670.3700.4140.4150.414simple_map::values0.3690.3660.3670.4170.4130.417pool_u64::balance0.3690.3740.3730.4130.4210.415ristretto255::multi_scalar_mul_internal0.3690.3830.3710.4130.4150.427ristretto255::scalar_invert_internal0.3690.3710.3710.4180.4130.413type_info::type_of0.3680.3700.3710.4390.4100.409aptos_hash::sha3_512_internal0.3680.3710.3680.4140.4150.414table::borrow_box0.3680.3790.3710.4100.4130.414bls12381::aggregate_signatures_internal0.3680.3670.3690.4140.4130.415crypto_algebra::scalar_mul_internal0.3680.3860.3720.4130.4150.415crypto_algebra::sub_internal0.3680.3720.3740.4160.4140.413string_utils::list30.3680.3800.3700.4100.4100.414string_utils::native_format_list0.3680.3710.3670.4130.4140.414math64::mul_div0.3680.3710.3710.4130.4180.410simple_map::destroy0.3680.3700.3710.4140.4140.418pool_u64::multiply_then_divide0.3680.3710.3720.4170.4160.413pool_u64::redeem_shares0.3680.3810.3710.4160.4140.415ristretto255::point_compress_internal0.3680.3790.3670.4400.4160.414ristretto255::point_identity_internal0.3680.3700.3730.4140.4150.413ristretto255::scalar_from_sha512_internal0.3680.3730.3700.4130.4130.414aptos_hash::sip_hash0.3670.3710.3660.4130.4170.413table_with_length::destroy_empty0.3670.3760.3670.4170.4100.416table_with_length::new0.3670.3700.3670.4130.4130.414crypto_algebra::pairing_internal0.3670.3680.3710.4130.4130.411simple_map::borrow0.3670.3720.3710.4100.4500.413simple_map::destroy_empty0.3670.3680.3710.4130.4140.426simple_map::upsert0.3670.3710.3710.4140.4100.457simple_map::keys0.3670.3880.3700.4140.4140.419pool_u64::total_shares0.3670.3750.3700.4140.4140.414ristretto255::point_is_canonical_internal0.3670.3710.3720.4100.4280.415ristretto255::point_mul_internal0.3670.3710.3710.4140.4140.415ristretto255::scalar_add_internal0.3670.4090.3700.4180.4130.414secp256k1::ecdsa_recover_internal0.3670.3700.3700.4220.4260.411smart_table::contains0.3670.3710.3720.4130.4140.415smart_table::borrow0.3670.3710.3710.4140.4130.434smart_table::borrow_with_default0.3670.3670.3670.4140.4130.415smart_table::unzip_entries0.3670.3670.3710.4130.4110.414simple_map::remove0.3660.3740.3710.4150.4150.449smart_vector::swap_remove0.3650.3710.3710.4140.4120.433 \ No newline at end of file diff --git a/third_party/move/move-prover/lab/data/struct-as-adt/mod_by_mod.svg b/third_party/move/move-prover/lab/data/struct-as-adt/mod_by_mod.svg index e92effbb08f..afa4e21e843 100644 --- a/third_party/move/move-prover/lab/data/struct-as-adt/mod_by_mod.svg +++ b/third_party/move/move-prover/lab/data/struct-as-adt/mod_by_mod.svg @@ -1,407 +1 @@ - - - - -= struct_as_vec - - - -= struct_as_adt - - -0x1::DiemAccount - - - -6.300 - - - -5.991 - - -0x1::Diem - - - -3.225 - - - -3.249 - - -0x1::TreasuryComplianceScripts - - - -2.130 - - - -2.021 - - -0x1::ValidatorAdministrationScripts - - - -1.980 - - - -2.075 - - -0x1::DiemSystem - - - -1.949 - - - -1.963 - - -0x1::AccountAdministrationScripts - - - -1.398 - - - -1.550 - - -0x1::Roles - - - -1.348 - - - -1.737 - - -0x1::AccountCreationScripts - - - -1.306 - - - -1.504 - - -0x1::DiemTimestamp - - - -1.298 - - - -1.655 - - -0x1::DualAttestation - - - -1.191 - - - -1.482 - - -0x1::AccountLimits - - - -1.171 - - - -1.386 - - -0x1::Genesis - - - -1.158 - - - -1.412 - - -0x1::ValidatorConfig - - - -0.975 - - - -1.267 - - -0x1::TransactionFee - - - -0.968 - - - -1.226 - - -0x1::DiemConfig - - - -0.960 - - - -1.142 - - -0x1::SharedEd25519PublicKey - - - -0.874 - - - -1.060 - - -0x1::DesignatedDealer - - - -0.867 - - - -1.059 - - -0x1::AccountFreezing - - - -0.860 - - - -1.071 - - -0x1::VASP - - - -0.852 - - - -1.141 - - -0x1::XDX - - - -0.837 - - - -1.064 - - -0x1::DiemTransactionPublishingOption - - - -0.828 - - - -1.132 - - -0x1::RecoveryAddress - - - -0.802 - - - -1.025 - - -0x1::CoreAddresses - - - -0.789 - - - -1.034 - - -0x1::XUS - - - -0.780 - - - -1.002 - - -0x1::SystemAdministrationScripts - - - -0.776 - - - -1.069 - - -0x1::RegisteredCurrencies - - - -0.772 - - - -0.952 - - -0x1::Authenticator - - - -0.758 - - - -0.995 - - -0x1::DiemBlock - - - -0.758 - - - -0.985 - - -0x1::DiemVMConfig - - - -0.752 - - - -0.988 - - -0x1::DiemConsensusConfig - - - -0.707 - - - -0.925 - - -0x1::DiemVersion - - - -0.703 - - - -0.926 - - -0x1::SlidingNonce - - - -0.685 - - - -0.893 - - -0x1::ChainId - - - -0.685 - - - -0.907 - - -0x1::ValidatorOperatorConfig - - - -0.681 - - - -0.939 - - -0x1::Signature - - - -0.470 - - - -0.839 - - -0x1::PaymentScripts - - - -0.450 - - - -0.826 - - += struct_as_vec= struct_as_adt0x1::DiemAccount6.3005.9910x1::Diem3.2253.2490x1::TreasuryComplianceScripts2.1302.0210x1::ValidatorAdministrationScripts1.9802.0750x1::DiemSystem1.9491.9630x1::AccountAdministrationScripts1.3981.5500x1::Roles1.3481.7370x1::AccountCreationScripts1.3061.5040x1::DiemTimestamp1.2981.6550x1::DualAttestation1.1911.4820x1::AccountLimits1.1711.3860x1::Genesis1.1581.4120x1::ValidatorConfig0.9751.2670x1::TransactionFee0.9681.2260x1::DiemConfig0.9601.1420x1::SharedEd25519PublicKey0.8741.0600x1::DesignatedDealer0.8671.0590x1::AccountFreezing0.8601.0710x1::VASP0.8521.1410x1::XDX0.8371.0640x1::DiemTransactionPublishingOption0.8281.1320x1::RecoveryAddress0.8021.0250x1::CoreAddresses0.7891.0340x1::XUS0.7801.0020x1::SystemAdministrationScripts0.7761.0690x1::RegisteredCurrencies0.7720.9520x1::Authenticator0.7580.9950x1::DiemBlock0.7580.9850x1::DiemVMConfig0.7520.9880x1::DiemConsensusConfig0.7070.9250x1::DiemVersion0.7030.9260x1::SlidingNonce0.6850.8930x1::ChainId0.6850.9070x1::ValidatorOperatorConfig0.6810.9390x1::Signature0.4700.8390x1::PaymentScripts0.4500.826 \ No newline at end of file diff --git a/third_party/move/move-prover/lab/data/test/fun_by_fun.svg b/third_party/move/move-prover/lab/data/test/fun_by_fun.svg index fbb552142ec..e90a7ad4e6d 100644 --- a/third_party/move/move-prover/lab/data/test/fun_by_fun.svg +++ b/third_party/move/move-prover/lab/data/test/fun_by_fun.svg @@ -1,28 +1 @@ - - - - -= prover - - -test::f1 - - - -0.571 - - -test::f2 - - - -0.553 - - -test::f3 - - - -0.567 - - += provertest::f10.571test::f20.553test::f30.567 \ No newline at end of file