Daily Hunting of The SNARK (01/15/23)
2023-01-16 16:44
Daily Hunting of The
SNARK
✦
个
https://ceremony.ethereum.org/对我们关于零知识证明的 MOOC 感到非常兴奋，从 2023 年 1 月 17 日开始，由 Shafi Goldwasser（图灵奖获得者，ZKP 的共同发明人），@danboneh，@SuccinctJT，@YupengZhang7 讲解。目前约有 1500 名学生注册了！加入我们吧：安全的链上随机性是过去几年中频繁涉及的一个主题。我们在最近的一篇博客中使用 SNARKs 和 VDFs 探索实现了以太坊上的安全随机性。paradigm.xyz/2023/01/eth-rng终于可以分享这个啦！受 @artgobblers 对链上随机性需求的启发，我们想看看可以通过我们的 ETHBogota 黑客马拉松项目将现有的 RNG 选项推到怎样的极限。@paradigm eng 团队的 @AmanGotchu 和 @sina_eth_ 的出色工作重新审视了以太坊上的安全随机性。SNARKs 优雅地解除了 BLOCKHASH 的 256 blk lookback limit 的限制，廉价地在以太坊上求值 VDF，以及交易成本成本。还有更多零知识工程即将推出，敬请期待！顺便说一句，这是 Foundry + Circom 的完美组合，带有硬编码的测试装置，同时还包括用于重新生成和自己玩的脚本。https://github.com/paradigmxyz/zk-eth-rng这是 Solana VM 的一个大日子！ Eclipse 团队一直致力于使用 @RiscZero
进行第一个 Solana VM 零知识汇总。这个概念验证实现是开源的。https://github.com/Eclipse-Laboratories-Inc/zk-bpf什么是零知识汇总？零知识汇总 (zk-rollup) 需要实现一个零知识虚拟机 (ZK VM)。 Solana 区块链使用扩展的伯克利包过滤器 (eBPF) 虚拟机来执行程序。这是 Eclipse 项目将提供的一种解决方案！有了这项新技术，任何人都可以运行 Solana 程序并提供它运行正确的证据 。特别感谢西北大学数学博士 Deven Manam 为我们构造了这个！基于 RISC Zero 上构造 ZKVM 的非常酷的工作！与 @0xPolygonMiden @RiscZero 合作发布零知识证明系统基准测试——用于比较不同零知识证明库性能的标准基准测试。https://delendum.xyz/2023/01/11/zk-system-benchmarking.html衡量不同的零知识证明系统的性能非常困难。 这是为标准化和相关基准测试提供框架的最佳尝试。不久后将添加更多基准测试，我希望看到更多的零知识证明项目参与其中。我们很高兴与 @DelendumV 和 @RiscZero 合作来对我们的证明者进行基准测试。 我们从一个简单的哈希链开始。我们很乐意看到其他证明系统加入基准测试工作 @ConsenSys @StarkWareLtd @zksync @Scroll_ZKP新论文！可能是我们迄今为止最大的贡献：多精度快速模乘https://github.com/ingonyama-zk/papers/blob/main/multi_precision_fast_mod_mul.pdf那是什么，为什么很重要？ 大整数模乘是每个 SNARK 计算的核心。 它是最昂贵的基本构造块，往往决定了整个协议复杂度。对模乘的改进，即使只有一点点，也能带来显着的加速。显然，我们对这个问题很着迷。去年 7 月，我们首次尝试引入 Barrett-Domb 模乘。结果反馈很好，我们将算法在我们的硬件中实现了。 其他团队将其作为 @z_prize 的一部分实现了。今天我们发布第二部分，一个可以支持 GPU/CPU 的多精度版本，在某些情况下甚至可以替代著名的蒙哥马利乘法！！以 NTT 为例，由于大量的到蒙哥马利形式 / 从蒙哥马利形式的转换，我们的算法实现了较低的乘法次数。https://github.com/ingonyama-zk/modular_multiplication“我们很高兴使用 Hardcaml 的 MSM FPGA 赛道上获得第一名，在 NTT FPGA 赛道上获得第二名。据我们所知，我们的 MSM 设计目前是 FPGA 的最先进技术，而且全部开源！如需更多信息，包括技术文章和构建说明，访问：https://zprize.hardcaml.com/https://mirror.xyz/privacy-scaling-explorations.eth/P4jDH1gLrVQ-DP5VyIKQrlPAJUTDhtXZkFl2vp8ewSghttps://github.com/zkitterhttps://docs.zkitter.com/ @Privacy & Scaling Explorations ：http://zkitter.com/ 是一个去中心化的社交网络，用户可以选择匿名交互。 具有熟悉的社交媒体功能，如发帖、聊天、关注和点赞，但在底层有一个隐私身份层。该隐私身份层借由一系列零知识协议得以实现：用于匿名群组成员身份的 Semaphore、用于导入 web2 声誉的 Interep、用于匿名垃圾邮件保护的 RLN 以及用于加密隐私（可选匿名）消息传递的 zkchat。Zkitter 的基本原语是 Semaphore，一个隐私身份层。Semaphore ID 用户证明他们在一个群组中，并作为群组的一部分发送信号，而无需透露任何其他信息。https://semaphore.appliedzkp.org/你可以使用以太坊地址或 ENS 域名创建一个 Zkitter 帐户，这将显示为你的用户名，或者创建一个匿名帐户。 为了抵抗女巫攻击，匿名账户必须使用 Interep 验证现有平台上的声誉。https://github.com/interep-project
没有信息与你在 Zkitter 上的匿名身份相关联——Interep 使用零知识证明来验证你是否符合标准，并且不会收集或存储有关帐户的任何详细信息。 一旦通过验证，你的 Zkitter 帖子将只显示你的声誉等级，而不是用户名。
RLN 为 Zkitter 提供垃圾邮件保护，还集成了 zkchat 的加密聊天功能。RLN 让我们的协议可以设置用户在一定时间内可发送的消息数量限制，并识别和删除违反规则的用户。
https://mirror.xyz/privacy-scaling-explorations.eth/aKjLmLVyunELnGObrzPlbhXWu5lZI9QU-P3OuBK8mOY
Zkitter 提供了人们期望从社交站点获得的许多基本功能。 事情变得有趣的地方是匿名选项。即使没有匿名帐户，你也可以随时选择是以自己的身份发帖或聊天，还是以匿名的方式发帖或聊天。
Zkitter 既是加密社区的社交空间，也是匿名和言论自由的实验。匿名是否为更诚实的自我表达创造了空间？ 当说话的内容与说话的人脱节时，谈话会发生怎样的变化？当他们匿名时，人们可以说出他们的真实想法，即使它不受欢迎。 可选匿名的能力能否帮助我们解决重要对话中的棘手问题？
本文由 zCloak Network 密码学研究员
zCloak Network 是基于零知识证明技术的隐私计算服务平台，使用 zk-STARK 虚拟机为通用计算进行零知识证明的生成与验证。基于独创的自主权数据和自证明计算技术，可以让用户在无需对外发送数据的情况下，实现对数据的分析和计算。项目采用“零知识证明即服务”的商业模式，打造一站式的多链隐私计算基础设施。zCloak 的首个产品 zkID.app 是一个链上数字身份与数据隐私保护解决方案。无论是企业、个人还是 IoT 设备，都可以借由 zkID 获得符合 W3C 国际标准的数字身份，并完成相关数字凭证的制备、公证、传递和验证等相关工作，整个过程由符合工业标准的密码技术保障其安全可靠。
相关Wiki
【免责声明】市场有风险，投资需谨慎。本文不构成投资建议，用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资，责任自负。
