source = "main.tri"
hand = "../../std/crypto/ecdsa.tasm"
input = [1, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
output = [1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0]
reference = "Python exact integer range and low-S boundary plus complete signature limb roundtrip; curve-agnostic scalar policy, not ECDSA curve verification."
hand_prefix = "call std_crypto_ecdsa__read_signature push 4100024 call __store_u256 push 4100032 call __store_u256 call std_crypto_ecdsa__read_signature pop 5 pop 3 push 4100016 call __store_u256 push 4100032 call __load_u256 push 4100024 call __load_u256 push 4100016 call __load_u256 call std_crypto_ecdsa__valid_range write_io 1 push 4100032 call __load_u256 push 4100024 call __load_u256 push 4100016 call __load_u256 call std_crypto_ecdsa__is_low_s write_io 1 push 4100032 call __load_u256 push 4100024 call __load_u256 call std_crypto_ecdsa__write_signature halt"