CIP: Support ZK-SNARKS in the Celestia Core #91
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Initial Draft CIP 18
S1nus
reviewed
Feb 21, 2024
cips/cip-18.md
Outdated
|
|
||
| 3. BLS12-377 has the property of enabling effecient depth 1 recursions. This makes it a compelling choice for protocols that benefit from either privacy or aggregation of proofs. There is a also a wide range of tools available for this curve because of prior usage in protocols like Celo. | ||
|
|
||
| 4. GROTH16 has been in production since ZCash's sapling protocol. It represents the MVP of SNARK proof systems. It can also act as "universal adapter" for other proof systems because there circuits that verify other proof systems available. GROTH16 requires a two phase trusted setup. The first phase is universal for a given circuit size but the second phase |
There was a problem hiding this comment.
it also has the smallest proof size and lowest verification cost!
rootulp
reviewed
Feb 22, 2024
Co-authored-by: Rootul P <[email protected]>
Co-authored-by: Rootul P <[email protected]>
Co-authored-by: Rootul P <[email protected]>
Co-authored-by: Rootul P <[email protected]>
Co-authored-by: Rootul P <[email protected]>
Co-authored-by: Rootul P <[email protected]>
Co-authored-by: Rootul P <[email protected]>
Co-authored-by: Rootul P <[email protected]>
Co-authored-by: Rootul P <[email protected]>
Co-authored-by: Rootul P <[email protected]>
Co-authored-by: Rootul P <[email protected]>
jcstein
changed the title
|
Changing this to CIP-19 as #77 is CIP-18 |
|
@zmanian can you please change the file name to |
jcstein
changed the title
|
once this is ready for review and merge, we'll assign it the next CIP number. until ready for review, I think we can leave it as-is |
jcstein
changed the title
zmanian
changed the title
3 tasks
|
what's the rationale for removing plonk? |
jcstein
reviewed
Jul 24, 2024
| @@ -0,0 +1,72 @@ | |||
| --- | |||
There was a problem hiding this comment.
Suggested change
| --- | |
| | cip | TBD | |
There was a problem hiding this comment.
These suggestions will create a markdown table
jcstein
reviewed
Jul 24, 2024
| @@ -0,0 +1,72 @@ | |||
| --- | |||
| title: Support ZK-SNARKS via GNARK in the Celestia Core cryptography | |||
There was a problem hiding this comment.
Suggested change
| title: Support ZK-SNARKS via GNARK in the Celestia Core cryptography | |
| | - | - | | |
| | title | Support ZK-SNARKS via GNARK in the Celestia Core cryptography | |
jcstein
requested changes
Jul 24, 2024
There was a problem hiding this comment.
review comments are adapting this file to fit the new format for the site at https://cips.celestia.org.
please also change the file name to cip-support-zk.md or something similar for the time being, then once it is approved we will assign a number. thank you!
| @@ -0,0 +1,72 @@ | |||
| --- | |||
| title: Support ZK-SNARKS via GNARK in the Celestia Core cryptography | |||
There was a problem hiding this comment.
Suggested change
| title: Support ZK-SNARKS via GNARK in the Celestia Core cryptography | |
| | - | - | | |
| | title | Support ZK-SNARKS via GNARK in the Celestia Core cryptography | |
| @@ -0,0 +1,72 @@ | |||
| --- | |||
| title: Support ZK-SNARKS via GNARK in the Celestia Core cryptography | |||
| description: Add the GNARK library to the Celestia Core codebase and make it available as an implementation tool for future CIPs. | |||
There was a problem hiding this comment.
Suggested change
| description: Add the GNARK library to the Celestia Core codebase and make it available as an implementation tool for future CIPs. | |
| | description | Add the GNARK library to the Celestia Core codebase and make it available as an implementation tool for future CIPs. | |
| --- | ||
| title: Support ZK-SNARKS via GNARK in the Celestia Core cryptography | ||
| description: Add the GNARK library to the Celestia Core codebase and make it available as an implementation tool for future CIPs. | ||
| author: Sam Hart (@hxrts), Barry Plunkett (@bpiv400), Kristi Poldsam (@poldsam), Zaki Manian (@zmanian) |
There was a problem hiding this comment.
Suggested change
| author: Sam Hart (@hxrts), Barry Plunkett (@bpiv400), Kristi Poldsam (@poldsam), Zaki Manian (@zmanian) | |
| | author | Sam Hart (@hxrts), Barry Plunkett (@bpiv400), Kristi Poldsam (@poldsam), Zaki Manian (@zmanian) | |
| title: Support ZK-SNARKS via GNARK in the Celestia Core cryptography | ||
| description: Add the GNARK library to the Celestia Core codebase and make it available as an implementation tool for future CIPs. | ||
| author: Sam Hart (@hxrts), Barry Plunkett (@bpiv400), Kristi Poldsam (@poldsam), Zaki Manian (@zmanian) | ||
| discussions-to: |
There was a problem hiding this comment.
Suggested change
| discussions-to: | |
| | discussions-to | https://forum.celestia.org/t/zero-knowledge-in-the-celestia-baselayer/1475 | |
Please change this if this isn't the best post to link, thanks!
| description: Add the GNARK library to the Celestia Core codebase and make it available as an implementation tool for future CIPs. | ||
| author: Sam Hart (@hxrts), Barry Plunkett (@bpiv400), Kristi Poldsam (@poldsam), Zaki Manian (@zmanian) | ||
| discussions-to: | ||
| status: Draft |
There was a problem hiding this comment.
Suggested change
| status: Draft | |
| | status | Draft | |
| discussions-to: | ||
| status: Draft | ||
| type: Standards Track | ||
| category: Core |
There was a problem hiding this comment.
Suggested change
| category: Core | |
| | category | Core | |
| status: Draft | ||
| type: Standards Track | ||
| category: Core | ||
| created: 2024-02-20 |
There was a problem hiding this comment.
Suggested change
| created: 2024-02-20 | |
| | created | 2024-02-20 | |
| type: Standards Track | ||
| category: Core | ||
| created: 2024-02-20 | ||
| --- |
| @@ -0,0 +1,72 @@ | |||
| --- | |||
There was a problem hiding this comment.
These suggestions will create a markdown table
|
|
||
| ## Copyright | ||
|
|
||
| Copyright and related rights waived via [CC0](../LICENSE). |
There was a problem hiding this comment.
Suggested change
| Copyright and related rights waived via [CC0](../LICENSE). | |
| Copyright and related rights waived via [CC0](https://github.com/celestiaorg/CIPs/blob/main/LICENSE). |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Overview
This is the first CIP from the ZK in the Celestia Baselayer Working group. It propose a concrete integration of the Gnark library into Celestia-core to support future CIPs.