Skip to content

Commit

Permalink
up progress
Browse files Browse the repository at this point in the history
  • Loading branch information
@PayneJoe
PayneJoe committed Dec 9, 2023
1 parent 9543a09 commit f1ec968
Showing 1 changed file with 22 additions and 17 deletions.
39 changes: 22 additions & 17 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,12 +9,15 @@ As we know [the original Nova implementation](https://github.com/microsoft/Nova)

<br />

## Tasks Towards Plonkish Nova
## Few Thoughts
- Jellyfish(TurboPlonk/UltraPlonk) supporting relaxed plonkish circuit SAT
- KZG commitment supporting BN254/Grumpkin
- KZG pcs for primary proof over BN254 curve, and IPA pcs for secondary proof over Grumpkin curve
- Poseidon Circuit based Jellyfish
- Transcript based Poseidon
- Convert verification on Grumpkin (second curve) into verification on BN254?
- Keccak Transcript
- Native verification for final first proof (Bn254 curve)
- Non-native verification for final secondary proof (Grumpkin curve)

<br />

## Details About Implementation

Expand All @@ -34,7 +37,7 @@ Before intensive coding we will give more comprehensive details as much as possi
| Uncompressed Relaxed UltraPlonk Backend/Frontend | Ongoing | [relaxed-stage-1](https://github.com/ZKMod-Lab/jellyfish/tree/relaxed-stage-1) | [Relaxed Plonk Step by Step](https://hackmd.io/@70xfCGp1QViTYYJh3AMrQg/BkT0ayKmT) |
| Compressed Relaxed UltraPlonk Backend/Frontend | Ongoing | | |
| **Stage Two** | | | |
| Uncompressed NIFS | Ongoing | [nifs](https://github.com/PayneJoe/PNova/tree/nifs) | [Plonkish Nova](https://hackmd.io/@70xfCGp1QViTYYJh3AMrQg/rkJYGYm46) |
| Uncompressed NIFS | Ongoing | [ark-nifs](https://github.com/PayneJoe/PNova/tree/ark-nifs) | [Plonkish Nova](https://hackmd.io/@70xfCGp1QViTYYJh3AMrQg/rkJYGYm46) |
| Uncompressed Cycle-Curve Circuits | TODO | | |
| Support PLookup/LogUp Folding | TODO | | |
| **Stage Three** | | | |
Expand All @@ -48,18 +51,20 @@ Before intensive coding we will give more comprehensive details as much as possi
<br />

## Progress of Specific Task
| Day | Task | Status |
| -------- | -------------------------------- | ------------ |
| 11/08/23 | Relaxed Plonk / Data Structure | $\checkmark$ |
| 11/10/23 | Relaxed Plonk / Frontend Dev | $\checkmark$ |
| 11/12/23 | Relaxed Plonk / Frontend Testing | $\checkmark$ |
| 11/15/23 | Relaxed Plonk / Backend Dev | $\checkmark$ |
| 12/05/23 | Transcript Dev | $\checkmark$ |
| 12/06/23 | Poseidon RO Dev | $\checkmark$ |
| 12/07/23 | PCS Dev | $\checkmark$ |
| 12/08/23 | NIFS Dev | - |
| 12/08/23 | Poseidon Circuit RO Dev | - |
| 12/08/23 | Cycle Circuit Dev | - |
| Day | Task | Status |
| -------- | ----------------------------------------- | ------------ |
| 11/08/23 | Relaxed Plonk / Data Structure | $\checkmark$ |
| 11/10/23 | Relaxed Plonk / Frontend Dev | $\checkmark$ |
| 11/12/23 | Relaxed Plonk / Frontend Testing | $\checkmark$ |
| 11/15/23 | Relaxed Plonk / Backend Dev | $\checkmark$ |
| 12/05/23 | Transcript Dev | $\checkmark$ |
| 12/06/23 | Poseidon RO Dev | $\checkmark$ |
| 12/07/23 | PCS Dev | $\checkmark$ |
| 12/08/23 | NIFS Dev | - |
| 12/08/23 | Poseidon Circuit RO Dev | - |
| 12/08/23 | Cycle Circuit Dev | - |
| 12/09/23 | Refactor ark-nifs (arkworks + jellyfish) | $\checkmark$ |
| 12/10/23 | In-depth of secondary(delegation) circuit | - |

<br />

Expand Down

0 comments on commit f1ec968

Please sign in to comment.