search

privacy-scaling-explorations / Nova

Nova: Recursive SNARKs without trusted setup
MIT License
43 stars 8 forks source link

R1CS folding verification #2

Closed aleph-v closed 1 year ago

aleph-v commented 1 year ago

Creates a draft of the R1CS F' for folding in parallel.