blvm-consensus 0.1.9

!<arch>
/               0           0     0     0       8         `
//                                              56        `
script_k256.script_k256.fbb261649c3f6311-cgu.0.rcgu.o/

lib.rmeta/      0           0     0     644     3632      `
ELF


>
�@@GNU�rust
�
#rustc 1.88.0 (6b00bc388 2025-06-23)�������Z�/�Rk�ˋ-8df6be531efb3fd0��2�u����Yx͞��L-14c6c9cbfe9f3e2d��k��A��Lv��-dd4278716aec610d��w�y7 1�?�ՙ:-5b527a916c3a9013�
rustc_std_workspace_core�o��iyϹ{o�-21d8811a3176bd13��N2�ae
e�rLx��-06a8c693b4aab691����|=v|�[zp�Ώ��-40a29baa8a137f0c�
cfg_if� ��i٧�}�%�$�#�'-bb9ca1ec3e4f14df�
miniz_oxide�m�^��#m!���A��YK-e56d2a038e1f7798�
adler2��C��ߙ�u���TN|Y-1771173790878ec9�
	hashbrown�h^MQ�M�'���!�-4b2c04502d3e324b�
rustc_std_workspace_alloc� 	��[��Jk@�-1aeb559ec68adac8�

std_detect���4T�� ��P�M�-f9ea2d02cc19f59b�
rustc_demangle���8�w�����$�-7ab55e5a1abede85�
	addr2line���
��$]����N���S-98301de5f7086436�
gimli�]%������v�&S\�-c04b364b33261ab8�
object�YF�P'5ə��j�--293bc8e42ad97307�
memchr�:9�CxR?R�&���-4ab95264898e2f40�
�U�Mw:�:�%9bg�
-e6943c8b7850575a�
Verifier�D��
�����

<�
�����k256�
�4���ą	Signature�L�R
�X����

P
�V����
�
�JHFVerifyingKey�d��
������

�
������
�
����GenericArray�d��
�����

�
�����
�
����EncodedPoint�d�'

�.
����

'

�.
����
�
�#
"
!
verify_signature_k256����
�����

<�
�����
�
�4�����tests�,��
�����

$�
�����d�kani_proofs�\�0�0
�����

$�0
kani�����d�0

��



��L
�1. k256-based signature verification (Phase 3.2)�
2

�6GD Pure Rust implementation using k256 crate instead of secp256k1 FFI.�
�~LI This module provides the same interface as the existing verify_signature�
��
85 function but uses k256 for cryptographic operations.��>



L
O
R
&%��Eݷ�x�����1D�Y4�o� Z
1Z
Y,knqW

"%

�c?�da���X��W���������ODHT
 ��&%��EݷD�Y4�o� �x�����1
�������������[�������������[;/home/user/src/BTCDecoded/blvm-consensus/src/script_k256.rs� e�J�ݩ
�/��L�

2HM9
K;1
2QN8?>441)GV$ 
'2AB-:MQ$,Q$,Cc`a%G%L%L6$,

SKI,8


C!g5+2J7	;``*	CV!	VC
;/BN!	V@
:3``*N!	OO	N


Q$jZd[e[Y?5;214-&
"14
&^
F/9
I_Y
UT- d<'V
IBOQ

Ld
cP
�2�2�2�2�2�3�3�5�8�?�A�4¿
�
^���%�`�)
	x86_64-unknown-linux-gnu���V6��A#W1~2���script_k256��c?�da�����





N
�rust-end-file.note.gnu.property.shstrtab.strtab.symtab.rmeta
@ .
�`�
&`
x

y5
/0              0           0     0     644     2776      `
ELF


>
�@@
BC��5b0A�
�`� p�q�u��P�@mn�x�p��@� �PB S!�
!�#�A�I29�
�%�b�EB�BD28K
2"�Hp�!#D��A�d�� CF� �
2"�X�!D������"��%:t�� 	"f�B��RB���q�PH
	&B�B"&���900|�;�;��6�wXwx�{p�6`�tp�z��68w��
�Pm�zPmrpp�s z0r�� wz0r�s mrpr�v@z`t��`t�v@m�q x�q x��p�q x��zv�s z`t��r�!L�`>�����ZV���b����r��6��Z�s��� P45 2�L��	&G�C� ����3���f
=�C8�ÌB�yxs�q���3B��Ρf0=�C8���=�C=�=�x�tp{yH�ppzpvx�p ����0n0���P3��!�!�af0�;��;�C9�<��<�;��v`{h7h�rh7��p��p`v(v�vx�w��_�q�r��y��,�������0bȡ�̡��a�!ā�a֐C9�C9�C9�C9��8�C8�;��/��<��;�;���i�pX�rp�thx`�t�t���S��P��@� �P3 (���A�!܁�����
fQ8�C:��;�P$v`{h7`�wxx�QL���P3j�a�!��~
��!�aT��8��;�C=�C9��<�C;��;��
�y��w�tz(r��\����P�0#��A�����
fH;��=����8�C9��<��9��;�<�H�qv`q�qX����`��� �0� �Pn�0�0�����P�0#��a���!�!�!�!�!f �;�C=�9��9�X�ppwxzzH�wp����0���@��0�
s�w�_��pp�t��tЇr���A9��8�C=�C9�@Ġʡ�A��f$c0���0�@�0C!�usH�_��|��r���
<��<��8�C:��;�Ì�H!Ba�!��R�fLg0� ���P�0�@��� ���0�@�vhy�R��;�;�C8̃�9��<�<��8�y *rH C�	r2H #�����D�(d<12B��!�8�ɲPIC LevelRtLibUseGOTrustc version 1.88.0 (6b00bc388 2025-06-23)#
0�#�0�@�C!3��&(#66�6��7�:�23����Q�H��ͮ�%��̍n�
�-
r(�w�zXp�C=��8�C9�Â�ơ
�A���!�!��4�`�P� �@� �P����y(�p`vx�qz(rXp��8�
;��=��k�!��� �a� ��aС�a�a�
� �P��usH��8��;�C9��9��;�C9�=�;��<��;�;�=��<�C8��
� ��P
q 2"�
q��8��U_HCu���qu�P\�e��BL
XXXBZ"|X]"��20.1.5-rust-1.88.0-stable c1118fdbb3024157df7f4cfe765f2b0b4339e8a2x86_64-unknown-linux-gnuscript_k256.fbb261649c3f6311-cgu.0rustc version 1.88.0 (6b00bc388 2025-06-23)A��.text.comment.note.GNU-stack.llvmcmd.llvmbc.strtab.symtabscript_k256.fbb261649c3f6311-cgu.01pd


@)
�@�
 
�

0-


=
9@0