Damus
conduition · 70w
"Sell me this preimage." You can verifiably purchase the solution to any NP-Complete problem using Bitcoin (and Lightning), combined with zero-knowledge proofs. - Buy the solution to a sudoku puzzl...
nostrich profile picture
Interesting project! What kind of proving times are you getting? Say a sudoku for argument's sake. Also are you aware of the flaw in the original zkcp demo by bowe and maxwell? (To do with witness indistinguishability). Maybe it doesn't apply because STARKs not SNARKs but just wondering.
2
conduition · 70w
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! Interesting to learn that the SNARK setup is more sensitive than I ...
conduition · 70w
Article fixed, now I'm assuming transparent setup ZKPs only (e.g. STARKs). Thanks for pointing this out ๐Ÿ˜„