Inductive Proof Systems and Recursive SNARKs

This blog post describes a powerful technique for defining systems that allows for scalable, verifiable computation on partially private data.


0 Comments13 Minutes