In [computational complexity theory](https://en.wikipedia.org/wiki/Computational_complexity_theory "Computational complexity theory"), an interactive proof system is an [abstract machine](https://en.wikipedia.org/wiki/Abstractmachine "Abstract machin...

Markdown supported · ⌘↵ to post
No responses yet.