-rw-r--r-- 60 saferewrite-20241004/src/verify_8/api raw
in uint8 x 8
in uint8 y 8
call crypto_verify
return int32 z