zk-SNARK
-
a16z:Lasso+Jolt,快速承诺的崭新前景通过 Lasso 实现更好的 Circuit-SAT SNARK更快速的小值多项式承诺方案戏剧性改进的哈希 SNARKs更快的小域求和检查证明程序在 SNARK 设计中交互的作用新发展概要加密学术文章对 SNARK 生态系统的影响
a16z Crypto推出了Lasso和Jolt技术,解决了性能、开发人员体验和可审核性三个关键问题。D&P提出了一种新的Plonkish约束系统SNARK,使Lasso基础技术更容易整合到现有的工具中,使得承诺值的时间缩短了一个数量级以上,并且可以比以前的工作快一个甚至两个数量级。它可以用于实现哈希函数Keccak和Grøstl,提高性能。
摘要由 Mars AI 生成本摘要由 Mars AI 模型生成,其生成内容的准确性、完整性还处于迭代更新阶段。 -
零知识证明的力量:深入理解zk-SNARK
zk-SNARK是一种零知识简洁非交互式知识认证,可以让验证者确认证明者拥有特定知识,而无需暴露任何信息。它使用算术门电路,矩阵公式,多项式,以及椭圆曲线点来实现,通过拉格朗日插值和椭圆曲线加密,将多项式映射到椭圆曲线点,定义双线性映射来处理二次项,最后爱丽丝计算9个ECP,构成zk-SNARK证明,验证方检查,如果都成立,则等式得到验证,爱丽丝知道见证。
摘要由 Mars AI 生成本摘要由 Mars AI 模型生成,其生成内容的准确性、完整性还处于迭代更新阶段。 -
ZK Bridges:以零知识证明赋能跨链世界
原文来源:medium
原文标题:ZKBridges:EmpoweringtheCross-ChainWorldwithZeroKnowledgeProofs
原文作者:ScalingX
编译:Yvonne,MarsBit
-
正在兴起的ZK新用例 —— ZKML、ZK游戏、ZKID
原文标题:Emerging ZK Use Cases
原文作者:zkvalidator
原文来源:zkvalidator.com
编译:Kate, Marsbit
-
Pantera 合伙人:当前 ZK 解决方案和用例一览
原文标题:ZKP
原文作者:Paul Veradittakit,Pantera Capital管理合伙人
原文来源:veradiverdict
编译:xiaozou,金色财经
-
发掘百亿Alpha,17 个 ZK、OP和模块化项目分析
原文标题:Steal this 17 upcoming ZK, OP and modular Layer 2s list to find the next $MATIC
原文作者:Verum Capital AG
原文来源:twitter
编译:Kate, Marsbit
-
DAOrayaki|AIGC时代:Zk-IMG辅助媒体辨别虚假信息
原文标题:zk-IMG … Fighting Disinformation
原文作者:Prof Bill Buchanan OBE
原文来源:medium
编译:DAOrayaki
-
零知识证明的技术路径之争:zk-SNARK和zk-STARK谁更优?
原文作者:Chloe
原文来源:链茶馆