/*
* PAY TO PUBLIC KEY
*
* The coins move if the person with the given public key signs the transaction.
*
* https://docs.ivylang.org/bitcoin/language/ExampleContracts.html#lockwithpublickey
*/
fn main() {
jet::bip_0340_verify((param::ALICE_PUBLIC_KEY, jet::sig_all_hash()), witness::ALICE_SIGNATURE)
}