核心提炼
零知识证明技术，可以保证计算的完整性、正确性和隐私，在区块链扩容和隐私中有应用。zk-SNARK和zk-STARK各有优点，而它们的合理结合更加有潜力。zkVM能赋予应用零知识证明能力，zkVM分为使用主流、EVM或全新指令集。EVM的适配包括EVM兼容性、等同性和Specification上的适配。zkEVM是兼容EVM而又零知识证明友好的环境，主要分为原生和编译流派。基于原生的zkEVM是以太坊和区块链的未来。支持Solidity生态的通用zkVM是Web3的未来。
EigenLayer宣布提高流动性质押代币 (LST) 的新上限:金色财经报道，再质押协议EigenLayer宣布提高流动性质押代币 (LST) 的新上限。LST（包括 stETH、rETH 和 cbETH）的上限现在将被取消，上限解除后，用户将能够将这些代币中的任何一种存入 EigenLayer。当任何LST达到10万个代币的里程碑时，将实施全球暂停。这扩大了再抵押的能力，并刺激更广泛的用户网络积极参与抵押。
此次上限提高的程序将遵循之前采取的类似治理流程：1、协议参数变更批准：变更需要通过多重签名治理系统批准。2、10天时间锁：一旦获得批准，用于提高上限的运营多重签名交易将在 10 天时间锁内排队，与治理流程和安全协议保持一致。3、触发操作：10天锁定期过后，Operations Multisig 将触发时间锁定合约的操作，启动参数更改并执行修改。4、触发暂停：如果任何一个 LST 重新抵押的 ETH 达到约 100k ETH，Pauser Multisig 将触发全局暂停。[2023/8/12 16:21:49]
零知识证明
Threshold Network正集成Wormhole，以实现tBTC的跨链流动:5月11日消息，Threshold Network 正集成跨链协议 Wormhole，以实现 tBTC 在约 20 个区块链生态系统上的跨链流动。Wormhole 集成将允许 tBTC 转移到 EVM 链，例如 Arbitrum、Optimism 和 Polygon，以及非 EVM 链，例如 Solana、Aptos、Sui 和 Cosmos。[2023/5/11 14:58:04]
不严谨但简单易懂地来介绍一下零知识证明:
Crypto.com 获得由迪拜虚拟资产监管机构对其虚拟资产运营执照的临时批准:6月3日消息，加密交易所 Crypto.com 获得由迪拜虚拟资产监管机构（VARA）对其虚拟资产运营执照的临时批准，Crypto.com 的运营许可证是有条件的，直到它满足某些强制性要求，VARA 根据 Crypto.com 合规检查的保证文件，为该公司提供了有条件的批准，仍等待进一步的尽职调查。
此前报道，Crypto.com 在迪拜设立区域中心办事处。（Blockworks）[2022/6/3 4:00:37]
你在上小学。老师是验证者，你作为学生是证明者。你如何证明你掌握了一元二次方程的求解公式呢？那就需要数学考试。
老师会随机出10道相关的题目，而你如果掌握了，则可以把他们都做出来。在这个过程中，你没有背诵或者默写求解公式的具体内容，但是老师却可以很简单地验证你的知识掌握程度。
其实这就是Tartaglia与Cardano(对的，就是这个名字)争夺谁是一元三次方程发现者时所采用的方法。他们都不想告诉对方自己公式的内容，但是通过做题，就可以很容易地验证且过程中不透露知识地，判断他们是否掌握了这一知识。
零知识证明有什么用呢？用处就是，整个过程可以节省计算算力和压缩链上空间，同时也可以对隐私有保护，符合区块链去信任的特点以及密码学的基因。
SNARK和STARK
区块链领域中所用到或者提到的「zk」通常不是真正的零知识证明，而经常是ValidityProof。由于相关词汇的混乱，所以本文中的某些地方会延续这些「误用」。
在目前的区块链版图中，zk可以说是区块链扩容(不zk的ValidityProof)与隐私技术(真正的zk)的最前沿与最优解决方案，在Tornado.cash、ZCash、zkSync、zk.money、Filecoin和Mina等项目中都有使用。
目前的技术方案主要分为SNARK以及STARK两类。STARK中的S代表可扩展的，意味着被证明的语句有重复的结构，而SNARK支持任意的电路，这些电路被预处理以实现简洁的证明。其中对SNARK的技术实践占据了主导地位，STARK主要有StarkWare在已上线的产品中大规模采用。以下是它们之间的对比。
从Meme的角度而言，STARK比SNARK优秀(
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。