扫描下载APP
其它方式登录
a16z Crypto推出了Lasso和Jolt技术,解决了性能、开发人员体验和可审核性三个关键问题。D&P提出了一种新的Plonkish约束系统SNARK,使Lasso基础技术更容易整合到现有的工具中,使得承诺值的时间缩短了一个数量级以上,并且可以比以前的工作快一个甚至两个数量级。它可以用于实现哈希函数Keccak和Grøstl,提高性能。
zk-SNARK是一种零知识简洁非交互式知识认证,可以让验证者确认证明者拥有特定知识,而无需暴露任何信息。它使用算术门电路,矩阵公式,多项式,以及椭圆曲线点来实现,通过拉格朗日插值和椭圆曲线加密,将多项式映射到椭圆曲线点,定义双线性映射来处理二次项,最后爱丽丝计算9个ECP,构成zk-SNARK证明,验证方检查,如果都成立,则等式得到验证,爱丽丝知道见证。
Succinct Labs为以太坊2.0的PoS(权益证明)共识开发了一个轻客户端,在Gnosis和以太坊之间建立了一个信任最小化的桥。
ZK-EVM 在处理合约代码、内存或堆栈方面存在轻微差异。
以 zk-SNARK 的简化版构建流程来说明该系统是如何结合零知识达到高效验证的。
本文将探讨新兴的ZK用例。
本文从 MSM 的计算入手,分析 FPGA 和 GPU加速零知识证明计算的优缺点。
「去中心化、crypto 技术和信任才是Web 3 最基础的设施」
Vitalik与市场对ZkSnark存在着相当大大的认知差,而这个认知差会为我们创造巨大的Alpha收益
ZK确实在可扩展性和去中心化方面可以让以太坊成为名副其实的世界计算机。
zk-rollup技术高度领先于op-rollup,是一套以太坊二层的终局解决方案。
zkEVM 的核心思想是利用零知识证明来验证和执行智能合约,而不需要每个节点都执行所有的计算。
零知识证明技术的发展正促进区块链业务获取重大进展。
盘点这 17 个即将到来的 ZK、OP 和模块化第 2 层列表以找到下一个$MATIC。
我们所处的互联网世界是在没有任何真正集成数字签名和验证事物是否真实的情况下发展起来。