zk-SNARK
The Theory of zk-SNARKs is a concept that involves constructing non-interactive zero-knowledge proofs, which are applied in the blockchain to ensure transaction privacy and provide a solution to the scaling problem in Ethereum. In addition to the three properties of zero-knowledge proofs, zk-SNARKs also exhibit four additional properties. One of the advantages of zk-SNARKs is their concise nature, which not only enables zero-knowledge proofs but also reduces the cost of the verification process. Zk-Rollup is a technique that combines multiple transactions into a single entity, resulting in significant cost reduction. With zk-SNARKs, it becomes possible to verify all the transactions within the entity without individually verifying each one.