Zero Knowledge Proofs, Blockchain, Bitcoin, Ethereum, Web3.
more intricate systems like the IP=PSPACE theorem, which shows that any problem solvable using a polynomial amount of space can also be addressed by an interactive proof system. Its introduction paved the way for the Goldwasser-Kalai-Rothblum (GKR) protocol in 2007, a cornerstone in the development