I believe I have found the solution to the open issue mentioned in the earlier email. It is just recursive <div>verification. Instead of publishing each application circuit's verification key on-chain, we should have </div><div>only one circuit that OP_ZKP will verify, which is a recursive verifier. </div><div><br /></div><div>Interested readers are welcome to visit the GitHub org dedicated for OP_ZKP: https://github.com/opzkp</div><div><br /></div><div>So far I have just put up the high level ideas here: https://github.com/opzkp/tea-horse. There are nothing</div><div>else yet. But we will add stuff as we move on.</div><div><br /></div><div>Regards,</div><div>Weiji<br /><div><br /></div></div><div class="gmail_quote"><div dir="auto" class="gmail_attr">On Tuesday, July 23, 2024 at 8:40:08 AM UTC+8 Weiji Guo wrote:<br/></div><blockquote class="gmail_quote" style="margin: 0 0 0 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">Yes, that&#39;s true. With Dory we will have to work on some pairing-friendly curve. Not secp256k1.<div><br><div></div></div><div><div><div dir="auto">On Tuesday, July 23, 2024 at 3:01:59 AM UTC+8 Weikeng Chen wrote:<br></div></div></div><div><div><blockquote style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div><div>I need to point out that Dory requires pairing, and therefore it cannot work with secp256k1?</div><div>Please circle back.</div></div></div></blockquote></div></div><div><div><blockquote style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div dir="auto">On Monday, July 22, 2024 at 9:16:18 AM UTC-5 Weiji Guo wrote:<br></div></div></blockquote></div></div><div><div><blockquote style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><blockquote style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">





<p>———What-ifs———<br></p></blockquote></div></blockquote></div></div><div><div><blockquote style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><blockquote style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<p>What if the open issue cannot be resolved? We might consider Dory. It is <br></p>
<p>transparent, requires pairing, and has logarithmic proof size but concretely larger </p></blockquote></div></blockquote></div></div></blockquote></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &quot;Bitcoin Development Mailing List&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:bitcoindev+unsubscribe@googlegroups.com">bitcoindev+unsubscribe@googlegroups.com</a>.<br />
To view this discussion on the web visit <a href="https://groups.google.com/d/msgid/bitcoindev/63186352-b441-4548-b7fa-8ff0d5f6fc97n%40googlegroups.com?utm_medium=email&utm_source=footer">https://groups.google.com/d/msgid/bitcoindev/63186352-b441-4548-b7fa-8ff0d5f6fc97n%40googlegroups.com</a>.<br />