New blog post
https://reyify.com/blog/adaptors-generalised/
... been thinking a lot about this topic, on and off. Not sure about potential applications to onchain verification of ZKPs, but *any* ability to lock bitcoin state transitions/payments to proofs of statements that are not restricted to a single generator G, feels like it could lead to some important new protocols. But this being interactive is clearly not as good.
love your blog, read many of your articles 🙏
Unfortunately had to migrate recently, so most are currently not online, but i will bring them back (sadly cannot migrate purely automatically).
I've rewritten the second half of this substantially, since it had several non-trivial errors; sorry for anyone who got that far 😄. I think it makes considerably more sense now ...
nostr:nevent1qqsry5z086u85wadrk32mxysdz8n94kl0fmkf3q6c9qz4r7ggty4wpcpzpmhxue69uhkummnw3ezuamfdejsygr8twz0ua0zz64eglr58rh9r898wafhdh0stkklhf3830gp9cwh9qpsgqqqqqqs3p2fxx