From: Weiji Guo <weiji.g@gmail.com>
To: Bitcoin Development Mailing List <bitcoindev@googlegroups.com>
Subject: [bitcoindev] Re: OP_ZKP updates
Date: Wed, 28 Aug 2024 08:33:58 -0700 (PDT) [thread overview]
Message-ID: <63186352-b441-4548-b7fa-8ff0d5f6fc97n@googlegroups.com> (raw)
In-Reply-To: <8d3084bc-aece-48ba-a08d-01b53392b64dn@googlegroups.com>
[-- Attachment #1.1: Type: text/plain, Size: 1632 bytes --]
I believe I have found the solution to the open issue mentioned in the
earlier email. It is just recursive
verification. Instead of publishing each application circuit's verification
key on-chain, we should have
only one circuit that OP_ZKP will verify, which is a recursive verifier.
Interested readers are welcome to visit the GitHub org dedicated for
OP_ZKP: https://github.com/opzkp
So far I have just put up the high level ideas
here: https://github.com/opzkp/tea-horse. There are nothing
else yet. But we will add stuff as we move on.
Regards,
Weiji
On Tuesday, July 23, 2024 at 8:40:08 AM UTC+8 Weiji Guo wrote:
> Yes, that's true. With Dory we will have to work on some pairing-friendly
> curve. Not secp256k1.
>
> On Tuesday, July 23, 2024 at 3:01:59 AM UTC+8 Weikeng Chen wrote:
>
> I need to point out that Dory requires pairing, and therefore it cannot
> work with secp256k1?
> Please circle back.
>
> On Monday, July 22, 2024 at 9:16:18 AM UTC-5 Weiji Guo wrote:
>
> ———What-ifs———
>
> What if the open issue cannot be resolved? We might consider Dory. It is
>
> transparent, requires pairing, and has logarithmic proof size but
> concretely larger
>
>
--
You received this message because you are subscribed to the Google Groups "Bitcoin Development Mailing List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to bitcoindev+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/bitcoindev/63186352-b441-4548-b7fa-8ff0d5f6fc97n%40googlegroups.com.
[-- Attachment #1.2: Type: text/html, Size: 3156 bytes --]
prev parent reply other threads:[~2024-08-28 15:36 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-07-22 14:05 [bitcoindev] OP_ZKP updates Weiji Guo
2024-07-22 18:45 ` [bitcoindev] " Weikeng Chen
2024-07-22 22:38 ` Weiji Guo
2024-08-28 15:33 ` Weiji Guo [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=63186352-b441-4548-b7fa-8ff0d5f6fc97n@googlegroups.com \
--to=weiji.g@gmail.com \
--cc=bitcoindev@googlegroups.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox