Cairo - a Turing-complete STARK-friendly CPU architecture.

The Knowledge Complexity of Interactive Proof Systems

Shafi Goldwasser, Silvio Micali, Charles Rackoff · SIAM Journal on Computing · 1989 · 3.3K citations

Computing, Computer Science, Mathematics +13

Algebraic methods for interactive proof systems

Carsten Lund, Lance Fortnow, Howard Karloff et al. · Journal of the ACM · 1992 · 702 citations · Full text

Computing, Computer Science, Mathematics +17

Non-deterministic exponential time has two-prover interactive protocols

László Babai, Lance Fortnow, Carsten Lund · Computational Complexity · 1992 · 533 citations · Full text

Computing, Computer Science, Cryptography +3

Delegating computation

Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum · 2008 · 477 citations

Computing, Computer Science, Algorithms +13

Scalable, transparent, and post-quantum secure computational integrity.

Eli Ben‐Sasson, Iddo Bentov, Yinon Horesh et al. · IACR Cryptology ePrint Archive · 2018 · 293 citations

Computing, Computer Engineering, Computer Science +10