interactive proof

2 feeds in the directory cover this.

▶ PlaySubscribe:.rss .atom .json .md .m3u .pls

MyCQstate

In superposition

Blog2 mentions10 posts

Spring 2019 - Probabilistically Checkable and Interactive Proof Systems (Alessandro Chiesa)

Blog1 mentions0 posts

Machine-readable: this list of feeds, as JSON · their recent posts, as JSON Feed · all topics