Abdel on Nostr: Cashu x STARKs ? Spending conditions in Cairo calle 👁️⚡👁️ ? Yes. Here is ...
Cashu x STARKs ? Spending conditions in Cairo calle 👁️⚡👁️ (npub12rv…85vg) ?
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.
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.