Test Function: test_valid()

Positive tests for the P256VERIFY precompile.

Back to test_valid().

Parametrized Test Cases

Test ID (Abbreviated) precompile_address expected_output input_data
...fork_Osaka-state_test---hash_0 256 00000000000000000000000000000000 00000000000000000000000000000001 00000000000000000000000000000000 00000000000000000000000000000000 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-state_test---hash_N_minus_1 256 00000000000000000000000000000000 00000000000000000000000000000001 ffffffff00000000ffffffffffffffff bce6faada7179e84f3b9cac2fc632550 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c295 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-state_test---hash_N 256 00000000000000000000000000000000 00000000000000000000000000000001 ffffffff00000000ffffffffffffffff bce6faada7179e84f3b9cac2fc632551 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-state_test---hash_P_minus_1 256 00000000000000000000000000000000 00000000000000000000000000000001 ffffffff000000010000000000000000 00000000fffffffffffffffffffffffe 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f2e12c4247f8bce6e563a440f2 ba1c82d486d3951c00e76e82dc359d43 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-state_test---hash_P 256 00000000000000000000000000000000 00000000000000000000000000000001 ffffffff000000010000000000000000 00000000ffffffffffffffffffffffff 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f2e12c4247f8bce6e563a440f2 ba1c82d486d3951c00e76e82dc359d44 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-state_test---hash_max 256 00000000000000000000000000000000 00000000000000000000000000000001 ffffffffffffffffffffffffffffffff ffffffffffffffffffffffffffffffff 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f3e12c4246f8bce6e563a440f2 ba1c82d386d3951c00e76e82dc359d44 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-state_test---s_1 256 00000000000000000000000000000000 00000000000000000000000000000001 94e82e0c1ed3bdb90743191a9c5bbf0d 45e37d2c792c6ae3ff18917d23ca62bc 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 00000000000000000000000000000000 00000000000000000000000000000001 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-state_test---s_N_minus_1 256 00000000000000000000000000000000 00000000000000000000000000000001 94e82e0c1ed3bdb90743191a9c5bbf0d 45e37d2c792c6ae3ff18917d23ca62ba 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 ffffffff00000000ffffffffffffffff bce6faada7179e84f3b9cac2fc632550 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-state_test---s_max_mod_N 256 00000000000000000000000000000000 00000000000000000000000000000001 94e82e0d1ed3bdb80743191a9c5bbf0d 88fc827ed214cc5f0b5ec6ba27673d69 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 00000000ffffffff0000000000000000 4319055258e8617b0c46353d039cdaae 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-state_test---x_0_y_positive 256 00000000000000000000000000000000 00000000000000000000000000000001 c3d3be9eb3577f217ae0ab360529a30b 18adc751aec886328593d7d6fe042809 3a4e97b44cbf88b90e6205a45ba957e5 20f63f3c6072b53c244653278a1819d8 6a184aa037688a5ebd25081fd2c0b10b b64fa558b671bd81955ca86e09d9d722 00000000000000000000000000000000 00000000000000000000000000000000 66485c780e2f83d72433bd5d84a06bb6 541c2af31dae871728bf856a174f93f4
...fork_Osaka-state_test---x_0_y_negative 256 00000000000000000000000000000000 00000000000000000000000000000001 f98a88895cb0866c5bad58cf03000ddf 9d21cb9407892ff54d637e6a046afbb3 81dc074973d3222f3930981ad98d0225 17c91063ffb83cfd620e29b86dc30a8f 365e4cd085617a265765062a2d9954ed 86309dfa33cf5ae1464fe119419fc34a 00000000000000000000000000000000 00000000000000000000000000000000 99b7a386f1d07c29dbcc42a27b5f9449 abe3d50de25178e8d7407a95e8b06c0b
...fork_Osaka-state_test---x_5_y_positive 256 00000000000000000000000000000000 00000000000000000000000000000001 5f95dcd6e41662d1e0aefccdb7877877 c1fd88c9e67fc3cda0d1d520fa8a3ac2 af5dfddb7edc789d7c9c42a44afbbf13 c8f1d77d576b6ee5f11fea4f33e2cb39 a28f8c5625ad622950f2fce9672784b2 87ef9e032ade8c23ba218413a1cf6522 00000000000000000000000000000000 00000000000000000000000000000005 459243b9aa581806fe913bce99817ade 11ca503c64d9a3c533415c083248fbcc
...fork_Osaka-state_test---x_5_y_negative 256 00000000000000000000000000000000 00000000000000000000000000000001 31ce0b00fa8dd61ef28c7dc5f839c78c f70d60e625e0670bf9c9fce25e89d99f 0fa19cbe154513ba348f2db951afb6e1 35bac5bd8891282781a032103c3f1289 d9abf5c4e61098a6e653f265770bdba3 6ecc8073cef99548d89fe2c39a7afa9b 00000000000000000000000000000000 00000000000000000000000000000005 ba6dbc4555a7e7fa016ec431667e8521 ee35afc49b265c3accbea3f7cdb70433
...fork_Osaka-state_test---y_1 256 00000000000000000000000000000000 00000000000000000000000000000001 65b0e03e7a27e6f9f4989c72486fcaf0 a3ecf3ef60d14f1c11fb5bf071a8fd1b 0b0cc9e314e4180fe18d205010dd1c44 10632d472cc4e7ab56cbc04091abe006 8d12c4f19ac41d7877705453a247ab96 394e7c093f57ec073a9d150cde6b68c6 09e78d4ef60d05f750f6636209092bc4 3cbdd6b47e11a9de20a9feb2a50bb96c 00000000000000000000000000000000 00000000000000000000000000000001
...fork_Osaka-state_test---y_P_minus_1 256 00000000000000000000000000000000 00000000000000000000000000000001 744084ad41ee67ed1802a6868ace7815 fd6fc0585a3479ff68e69adb8dd2b420 b481c7650cbe85bcd15565811966da2d a4e4e2931f0892d911520b6a06c340d8 e4c2d9fb9a4e3e29b7414f0408b2ebc4 421d5bc8addccf864aff9e7e10da31bb 09e78d4ef60d05f750f6636209092bc4 3cbdd6b47e11a9de20a9feb2a50bb96c ffffffff000000010000000000000000 00000000fffffffffffffffffffffffe
...fork_Osaka-state_test---u1_eq_u2_and_Q_eq_G 256 00000000000000000000000000000000 00000000000000000000000000000001 7cf27b188d034f7e8a52380304b51ac3 c08969e277f21b35a60b48fc47669978 7cf27b188d034f7e8a52380304b51ac3 c08969e277f21b35a60b48fc47669978 830d84e672fcb08275adc7fcfb4ae53b fc5d90cb2f25834f4dae81c6b4fc8bd9 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-state_test---u1_eq_u2_and_Q_ne_G 256 00000000000000000000000000000000 00000000000000000000000000000001 65fb4407bcb2a33ae2e486366baa79b3 a8a17a83dde0fed6f09014a8ac6f78a1 65fb4407bcb2a33ae2e486366baa79b3 a8a17a83dde0fed6f09014a8ac6f78a1 65fb4407bcb2a33ae2e486366baa79b3 a8a17a83dde0fed6f09014a8ac6f78a1 2927b10512bae3eddcfe467828128bad 2903269919f7086069c8c4df6c732838 c7787964eaac00e5921fb1498a60f460 6766b3d9685001558d1a974e7341513e
...fork_Osaka-blockchain_test_from_state_test---hash_0 256 00000000000000000000000000000000 00000000000000000000000000000001 00000000000000000000000000000000 00000000000000000000000000000000 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-blockchain_test_from_state_test---hash_N_minus_1 256 00000000000000000000000000000000 00000000000000000000000000000001 ffffffff00000000ffffffffffffffff bce6faada7179e84f3b9cac2fc632550 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c295 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-blockchain_test_from_state_test---hash_N 256 00000000000000000000000000000000 00000000000000000000000000000001 ffffffff00000000ffffffffffffffff bce6faada7179e84f3b9cac2fc632551 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-blockchain_test_from_state_test---hash_P_minus_1 256 00000000000000000000000000000000 00000000000000000000000000000001 ffffffff000000010000000000000000 00000000fffffffffffffffffffffffe 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f2e12c4247f8bce6e563a440f2 ba1c82d486d3951c00e76e82dc359d43 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-blockchain_test_from_state_test---hash_P 256 00000000000000000000000000000000 00000000000000000000000000000001 ffffffff000000010000000000000000 00000000ffffffffffffffffffffffff 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f2e12c4247f8bce6e563a440f2 ba1c82d486d3951c00e76e82dc359d44 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-blockchain_test_from_state_test---hash_max 256 00000000000000000000000000000000 00000000000000000000000000000001 ffffffffffffffffffffffffffffffff ffffffffffffffffffffffffffffffff 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 6b17d1f3e12c4246f8bce6e563a440f2 ba1c82d386d3951c00e76e82dc359d44 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-blockchain_test_from_state_test---s_1 256 00000000000000000000000000000000 00000000000000000000000000000001 94e82e0c1ed3bdb90743191a9c5bbf0d 45e37d2c792c6ae3ff18917d23ca62bc 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 00000000000000000000000000000000 00000000000000000000000000000001 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-blockchain_test_from_state_test---s_N_minus_1 256 00000000000000000000000000000000 00000000000000000000000000000001 94e82e0c1ed3bdb90743191a9c5bbf0d 45e37d2c792c6ae3ff18917d23ca62ba 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 ffffffff00000000ffffffffffffffff bce6faada7179e84f3b9cac2fc632550 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-blockchain_test_from_state_test---s_max_mod_N 256 00000000000000000000000000000000 00000000000000000000000000000001 94e82e0d1ed3bdb80743191a9c5bbf0d 88fc827ed214cc5f0b5ec6ba27673d69 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 00000000ffffffff0000000000000000 4319055258e8617b0c46353d039cdaae 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-blockchain_test_from_state_test---x_0_y_positive 256 00000000000000000000000000000000 00000000000000000000000000000001 c3d3be9eb3577f217ae0ab360529a30b 18adc751aec886328593d7d6fe042809 3a4e97b44cbf88b90e6205a45ba957e5 20f63f3c6072b53c244653278a1819d8 6a184aa037688a5ebd25081fd2c0b10b b64fa558b671bd81955ca86e09d9d722 00000000000000000000000000000000 00000000000000000000000000000000 66485c780e2f83d72433bd5d84a06bb6 541c2af31dae871728bf856a174f93f4
...fork_Osaka-blockchain_test_from_state_test---x_0_y_negative 256 00000000000000000000000000000000 00000000000000000000000000000001 f98a88895cb0866c5bad58cf03000ddf 9d21cb9407892ff54d637e6a046afbb3 81dc074973d3222f3930981ad98d0225 17c91063ffb83cfd620e29b86dc30a8f 365e4cd085617a265765062a2d9954ed 86309dfa33cf5ae1464fe119419fc34a 00000000000000000000000000000000 00000000000000000000000000000000 99b7a386f1d07c29dbcc42a27b5f9449 abe3d50de25178e8d7407a95e8b06c0b
...fork_Osaka-blockchain_test_from_state_test---x_5_y_positive 256 00000000000000000000000000000000 00000000000000000000000000000001 5f95dcd6e41662d1e0aefccdb7877877 c1fd88c9e67fc3cda0d1d520fa8a3ac2 af5dfddb7edc789d7c9c42a44afbbf13 c8f1d77d576b6ee5f11fea4f33e2cb39 a28f8c5625ad622950f2fce9672784b2 87ef9e032ade8c23ba218413a1cf6522 00000000000000000000000000000000 00000000000000000000000000000005 459243b9aa581806fe913bce99817ade 11ca503c64d9a3c533415c083248fbcc
...fork_Osaka-blockchain_test_from_state_test---x_5_y_negative 256 00000000000000000000000000000000 00000000000000000000000000000001 31ce0b00fa8dd61ef28c7dc5f839c78c f70d60e625e0670bf9c9fce25e89d99f 0fa19cbe154513ba348f2db951afb6e1 35bac5bd8891282781a032103c3f1289 d9abf5c4e61098a6e653f265770bdba3 6ecc8073cef99548d89fe2c39a7afa9b 00000000000000000000000000000000 00000000000000000000000000000005 ba6dbc4555a7e7fa016ec431667e8521 ee35afc49b265c3accbea3f7cdb70433
...fork_Osaka-blockchain_test_from_state_test---y_1 256 00000000000000000000000000000000 00000000000000000000000000000001 65b0e03e7a27e6f9f4989c72486fcaf0 a3ecf3ef60d14f1c11fb5bf071a8fd1b 0b0cc9e314e4180fe18d205010dd1c44 10632d472cc4e7ab56cbc04091abe006 8d12c4f19ac41d7877705453a247ab96 394e7c093f57ec073a9d150cde6b68c6 09e78d4ef60d05f750f6636209092bc4 3cbdd6b47e11a9de20a9feb2a50bb96c 00000000000000000000000000000000 00000000000000000000000000000001
...fork_Osaka-blockchain_test_from_state_test---y_P_minus_1 256 00000000000000000000000000000000 00000000000000000000000000000001 744084ad41ee67ed1802a6868ace7815 fd6fc0585a3479ff68e69adb8dd2b420 b481c7650cbe85bcd15565811966da2d a4e4e2931f0892d911520b6a06c340d8 e4c2d9fb9a4e3e29b7414f0408b2ebc4 421d5bc8addccf864aff9e7e10da31bb 09e78d4ef60d05f750f6636209092bc4 3cbdd6b47e11a9de20a9feb2a50bb96c ffffffff000000010000000000000000 00000000fffffffffffffffffffffffe
...fork_Osaka-blockchain_test_from_state_test---u1_eq_u2_and_Q_eq_G 256 00000000000000000000000000000000 00000000000000000000000000000001 7cf27b188d034f7e8a52380304b51ac3 c08969e277f21b35a60b48fc47669978 7cf27b188d034f7e8a52380304b51ac3 c08969e277f21b35a60b48fc47669978 830d84e672fcb08275adc7fcfb4ae53b fc5d90cb2f25834f4dae81c6b4fc8bd9 6b17d1f2e12c4247f8bce6e563a440f2 77037d812deb33a0f4a13945d898c296 4fe342e2fe1a7f9b8ee7eb4a7c0f9e16 2bce33576b315ececbb6406837bf51f5
...fork_Osaka-blockchain_test_from_state_test---u1_eq_u2_and_Q_ne_G 256 00000000000000000000000000000000 00000000000000000000000000000001 65fb4407bcb2a33ae2e486366baa79b3 a8a17a83dde0fed6f09014a8ac6f78a1 65fb4407bcb2a33ae2e486366baa79b3 a8a17a83dde0fed6f09014a8ac6f78a1 65fb4407bcb2a33ae2e486366baa79b3 a8a17a83dde0fed6f09014a8ac6f78a1 2927b10512bae3eddcfe467828128bad 2903269919f7086069c8c4df6c732838 c7787964eaac00e5921fb1498a60f460 6766b3d9685001558d1a974e7341513e