Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
of assessing the integrity of computation. For example, they can help implementing a “cryptographic” auditor to certify that a mathematical function like a search query over a database was indeed computed, thus implying the correctness of the output in the light of a potentially malicious database