金色财经报道，a16z Crypto投资人Guy Wuollet在社交媒体上表示，零知识（ZK）技术被严重低估，并探讨了其在加密货币和开发者工具中的巨大潜力。Wuollet通过类比iPhone的成功，指出ZK技术有望带来一系列创新应用。 他提到，iPhone的成功在于结合了可编程移动计算机、GPS和高质量摄像头，催生了Instagram和Uber等应用。同样，ZK技术，特别是zkVMs（如Jolt），可能带来类似的革命性变化。DeFi协议应采用ZK中的风险建模，并使用更复杂的定价函数。此外，区块链和ZK证明可以使人们拥有抗审查的AI伴侣，并用于证明简单的机器学习模型。 Wuollet总结道，ZK技术可以用于构建更复杂的DeFi协议、抗审查的AI伴侣或链上机器学习，呼吁开发者关注这一新兴领域。

5月17日消息，基于zkRollup的以太坊二层网络Taiko发推称，其已推出多证明者（multi-prover）Raiko。Raiko是一个集成环境，可以构建、运行和基准测试ZK-VM目标，目前支持SP1、Risc0和SGX，并正在努力集成Jolt和Powdr。

Odaily星球日报讯 a16z Crypto 发布名为 Jolt 的 zkEVM 解决方案，以利用 SNARK 为 EVM 兼容 Rollups 提供框架。a16z Crypto 表示：“除了速度的提高之外，由于 Jolt 基于新的设计范式，开发人员更容易扩展，也更容易审计，从而提高安全性。”（TheBlock）

金色财经报道，风险投资公司 Andreessen Horowitz 的加密货币部门 a16z crypto 推出了 Lasso 和 Jolt，这是一对基于简洁非交互式知识论证（SNARK）的新工具。SNARK 是一种零知识证明，有可能促进第 2 层空间中的可扩展 ZK Rollup，这通常被视为计算密集型。Lasso 是 a16z 两篇研究论文的主要创新，它采用了“查找参数”机制，有利于更快的零知识证明。它将特定的输入与相应的输出相匹配，而不泄露额外的信息。该团队指出，Lasso 引入了一种简化的方法来验证 SNARK，通过对大量结构化表执行查找来避免繁琐的手动优化电路。