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 waxwing (npub1vad…nuu7)!
Interesting to learn that the SNARK setup is more sensitive than I had thought. I'll be sure to correct my article to reference the original idea and fix the flaw which I unwittingly duplicated.
As for performance, so far I've only tested the PTLC-bridging program here shown in this section: https://conduition.io/bitcoin/zkpreimage/#Optimizing
With that, it took 3 minutes to generate a proof with the RISC0 STARK prover. Not great but also not completely impractical. I'd like to test other prover programs too
npub1l6…6zvtg
2024-11-03 06:03:00 UTC
in reply to nevent1q…nc79
Author Public Key
npub1l6uy9chxyn943cmylrmukd3uqdq8h623nt2gxfh4rruhdv64zpvsx6zvtgPublished at
2024-11-03 06:03:00 UTCEvent JSON
{
"id": "468acd28c7183167a4e288a30ae91c7e17ef7aa4c6016f18320ee095649561b2",
"pubkey": "feb842e2e624cb58e364f8f7cb363c03407be9519ad48326f518f976b3551059",
"created_at": 1730613780,
"kind": 1,
"tags": [
[
"p",
"675b84fe75e216ab947c7438ee519ca7775376ddf05dadfba6278bd012e1d728",
"",
"mention"
],
[
"e",
"fc869eef19567540136f1782b38b38fc008972ccba62775ca0aad8677ec774d7",
"",
"root"
],
[
"p",
"feb842e2e624cb58e364f8f7cb363c03407be9519ad48326f518f976b3551059"
]
],
"content": "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:npub1vadcfln4ugt2h9ruwsuwu5vu5am4xaka7pw6m7axy79aqyhp6u5q9knuu7! \n\nInteresting to learn that the SNARK setup is more sensitive than I had thought. I'll be sure to correct my article to reference the original idea and fix the flaw which I unwittingly duplicated.\n\nAs for performance, so far I've only tested the PTLC-bridging program here shown in this section: https://conduition.io/bitcoin/zkpreimage/#Optimizing\n\nWith that, it took 3 minutes to generate a proof with the RISC0 STARK prover. Not great but also not completely impractical. I'd like to test other prover programs too",
"sig": "261b370db8a50ed3bf9384af93cffd45d1350793082070faf11728de1fb5eb51938a7ca5559cd4a8345ab4c470c96fcff5de2e0bfdfcacea34c4f787081172d8"
}