Tranquility Node have added cryptographic formal verification capabilities to the roster.
Please get in touch to discuss your requirements and what we can offer.
Login to reply
Replies (2)
testing zaps for this note… we made six attempts to⚡zap this note, at ob@coincorner.io, over a period of 2 minutes. Six of the zaps were successfully paid... please check for 6 satoshis received. problem: we found that your lightning address server **did not* properly produce zap receipts, and/or didn't send the zap receipts to the relays specified in the zap. (the zap spec requires that the zap receipts be sent to the relays specified in the zap.) this means a nostr user who zaps you might not see a number appearing next to the ⚡ icon after zapping.... if you wanted to fix this... you could try getting a free rizful lightning address -- https://rizful.com ... if u get it set up, pls reply here so we can do this ⚡zap test again.
Thanks, received. Will read.