computational integrity
StarkWare: Transparent Computational Integrity with Eli Ben Sasson
Computational integrity is a property that is required for financial transactions on the Internet. Computational integrity means that the output of a certain computation is correct. If I