Cashu x STARKs ? Spending conditions in Cairo nostr:npub12rv5lskctqxxs2c8rf2zlzc7xx3qpvzs3w4etgemauy9thegr43sf485vg ?

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.