in uint8 x 8
in uint8 y 8
call crypto_verify
return int32 z