Computational Integrity¶
A proof system is said to ensure computational integrity (CI) when its claim is concerned with the integrity of a particular computation.
A proof system is said to ensure computational integrity (CI) when its claim is concerned with the integrity of a particular computation.