Introduction One of the current goals is to realize, in an efficient way, incrementally verifiable computation (IVC). This cryptographic primitive allows a given party to show the integrity of a given computer program's execution by providing proof that the result of each step is correct and that all previous ones| LambdaClass Blog
原文链接： Inner Product Arguments| Dankrad Feist
Multiproof scheme for polynomial commitments| Dankrad Feist