ahah! I was sure someone must've thought of this idea before me, but I didn't have the right search terms. "ZKCP". This is great background reading, thank you nostr:npub1vadcfln4ugt2h9ruwsuwu5vu5am4x...
@waxwing I got the proving time for the PTLC/HTLC bridging (AKA discrete log is preimage) down to 20 seconds with RISC0. Fast enough to be viable in some real applications i think!
I'm polishing the code up now. Would you be interested in participating in a real-world PTLC/HTLC bridge test?
I'm polishing the code up now. Would you be interested in participating in a real-world PTLC/HTLC bridge test?
