Robuta

https://www.youtube.com/playlist?list=PLkFD6_40KJIyWWtxCPBHwGsrutjvwM5_U Spring 2019 - Probabilistically Checkable and Interactive Proof Systems (Alessandro Chiesa) -... http://people.eecs.berkeley.edu/~alexch/classes/CS294-S2019.html interactive proof systems spring 2019 alessandro chiesa