Cashu x STARKs ? Spending conditions in Cairo @calle ? Yes. Here is a video showcasing the generation of a STARK proof of some Cashu spending conditions defined as a Cairo program, and verified by the Cashu Mint. The STARK proof is generated using STWO. It enables to define arbitrary Cashu spending conditions easily, in a highly expressive manner, without breaking privacy and proving mathematical guarantee on the integrity of the computation. The spender define the spending conditions in Cairo. The receiver generates a STARK proof that conditions are met to spend the tokens. The Mint verifies the proof and completes the process if the proof is valid.