You can already send Cashu tokens locked to a specific public key (Boardwalk Cash was doing gifts thus way for a while). But there aren't too many other ways to encumber Cashu tokens.
It seems like someone has figured put how to encumber Cashu tokens with an arbitrary program in a zk proof.
I'm no cryptographer, but I think this means you could do quite a few interesting things like contracts with cashu tokens.
Cairo is a programming language specifically designed to be used with STARK proofs, compiling human readable code to a set of polynomial evaluation constraints.