arnaucube/sonobe-docs
1
0
Fork 0
mirror of https://github.com/arnaucube/sonobe-docs.git synced 2026-02-10 13:16:46 +01:00
Code Issues Packages Projects Releases Wiki Activity

add nova+cyclefold circuit diagram, add design section

Browse Source
This commit is contained in:
arnaucube
2024-03-31 00:44:27 +01:00
parent 318a601d4e
commit 9349058fa6
5 changed files with 22 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/design/design.md Normal file
View File

@@ -0,0 +1,6 @@
# Design
#### Notation
We work on a cycle of curves composed by $E_1$ and $E_2$, where $E_1.F_r = E_2.F_q$ and $E_1.F_q=E_2.F_r$.
We will use $F_r$ to refer to $E_1.F_r=E_2.F_q$, and $F_q$ to refer to $E_1.F_q=E_2.F_r$.
The main circuit constraint field is $F_r$, and $C_{EC}$ circuit constraint field is $F_q$.

14
src/design/novacyclefold-circuit.md Normal file
View File

@@ -0,0 +1,14 @@
# Nova + CycleFold
[CycleFold](https://eprint.iacr.org/2023/1192.pdf) improves the usage of the cycle of curves proposed in [Nova](https://eprint.iacr.org/2021/370.pdf).
![](../imgs/cyclefold-paper-diagram.jpg)
*CycleFold applied to HyperNova, src: [https://eprint.iacr.org/2023/1192.pdf](https://eprint.iacr.org/2023/1192.pdf)*
<br>
We use a concrete version of the CycleFold approach applied to Nova.
The following image provides a description of the main Nova circuit and CycleFold circuit over a couple of steps, implemented at [nova/circuits.rs](https://github.com/privacy-scaling-explorations/folding-schemes/blob/main/folding-schemes/src/folding/nova/circuits.rs) and [nova/cyclefold.rs](https://github.com/privacy-scaling-explorations/folding-schemes/blob/main/folding-schemes/src/folding/nova/cyclefold.rs).
<a href="../imgs/cyclefold-nova-diagram.png" title="click to expand"><img src="../imgs/cyclefold-nova-diagram.png" /></a>