Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
assure the computational integrity of smart contract, program or database executions. Most importantly, the theory of interactive proofs paves the ground for non-interactive zero-knowledge proofs (NIZKs), succinct non-interactive arguments of knowledge (SNARKs), or succinct transparent arguments of