zk-SNARK

文档摘要

Lecture2:Introduction to Modern SNARKs Overview about zk-SNARK Why commercial so much 历史可追溯至 1991 年的一篇论文[Babai-Fortnow-Levin-Szegedy'91] Zk-snark application blockchain 外包计算：扩容(zkRollup)：离线服务处理交易批次，L1 链验证一个简短的证明来证明该批次内的交易都是有效的,而无需分别验证每笔交易区块链桥接（zkBridge）：将资产从源链转移到目标链.源链的共识协议同意锁定某些资产，以便在另一个链中使用。通过验证 zksnark 生成关于源链到目标链的共识状态的简短证明,而无需验证源链共识的整个过程.