Update 2024-07-01.md

This commit is contained in:
Cofson 2024-07-02 18:00:14 +02:00
parent 03501bc47b
commit 0f8d787516
1 changed files with 1 additions and 0 deletions

View File

@ -58,6 +58,7 @@ description: Weekly update of Nomos
- WIP: continuing with the PoC, understanding whether Risc0 is a viable option ([progress](https://github.com/logos-co/nomos-specs/tree/cl/executable-spec)).
- Integration of Risc0 zone PoC into CL note and partial tx model: we have the zone POC hooked into the CL UTXO model, but proof times are not where we want them. We are currently at 8 minutes to generate a proof, almost all of that is coming from the Pedersen commitment to the note value. All the work is being done in this [PR](https://github.com/logos-co/nomos-specs/pull/93).
- WIP: Trying to bring the death constraint proof time down to something manageable.
- Evaluation of SP1's viability for CL: SP1's outer proof takes 13 minutes to prove. The numbers were confirmed with SP1 devs. This is too slow for us to use. SP1 devs suggested they may support swapping out plonky3 for groth16; If they do that, we should re-evaluate.
### `Development`