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.
Published at
2025-01-24 09:31:07Event JSON
{
"id": "650f3ad97105f1c7a59c96387f42458721986da32c63779db98ac216e098a479",
"pubkey": "b8f4c2e90f0dd667121533d7b8dafd77384b0b5051f8272e5493c58f7f93e14b",
"created_at": 1737711067,
"kind": 1,
"tags": [
[
"p",
"50d94fc2d8580c682b071a542f8b1e31a200b0508bab95a33bef0855df281d63"
]
],
"content": "Cashu x STARKs ? Spending conditions in Cairo nostr:npub12rv5lskctqxxs2c8rf2zlzc7xx3qpvzs3w4etgemauy9thegr43sf485vg ?\nYes.\nHere 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.\nThe STARK proof is generated using STWO.\nIt 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.\nThe spender define the spending conditions in Cairo.\nThe receiver generates a STARK proof that conditions are met to spend the tokens.\nThe Mint verifies the proof and completes the process if the proof is valid.\nhttps://m.primal.net/NxhO.jpg",
"sig": "777a64f46ca8c4888f9a7750e1c05b918f715c1f0c0e5dd19c7efd0fab04c21ed5335e42c66813dd9e3e91de26c043e98c64fe5d5631f635254f07415fc712c3"
}
