Nova
#ゼロ知識証明 #nova #ivc
Incremental Verifiable Computation
our approach avoids succinct non-interactive arguments of knowledge (SNARKs) entirely and arguments of knowledge in general.
Instead, we introduce and employ folding schemes
https://eprint.iacr.org/2021/370
#lurk
https://filecoin.io/blog/posts/introducing-lurk-a-programming-language-for-recursive-zk-snarks/
https://www.youtube.com/watch?v=mY-LWXKsBLc