This is about the PCP theorem https://en.wikipedia.org/wiki/PCP_theorem https://en.wikipedia.org/wiki/PCP_theorem An interesting application are SNARKs, a full

This is about the PCP theorem https://en.wikipedia.org/wiki/PCP_theorem https://en.wikipedia.org/wiki/PCP_theorem An interesting application are SNARKs, a fully generic type of non interactive zero knowledge proof of knowledge. They can be used to preserve transaction privacy and fungibility in cryptocurrencies for instance.