零知识证明

零知识证明新闻快讯文章, 零知识证明深度文章, 零知识证明快讯, 区块链零知识证明, 零知识证明是什么, 零知识证明介绍, 零知识证明解读, 零知识证明项目, 三分钟了解零知识证明, 秒懂零知识证明, 如何评价零知识证明, 零知识证明怎么样, 零知识证明创始人, 零知识证明招聘, 零知识证明融资, 零知识证明价格, 零知识证明技术, 零知识证明社区, 零知识证明论坛, 零知识证明浏览器, 零知识证明排名, 零知识证明白皮书, 零知识证明本质, 零知识证明意义, 零知识证明代码, 零知识证明游戏, 零知识证明什么意思, 零知识证明学习, 零知识证明培训, 零知识证明教程, 零知识证明投资, 零知识证明赚钱, 零知识证明安全, 零知识证明漏洞

·

区块链、密码学与隐私保护,必读文献推荐

人脸支付、换脸技术等引发大众对肖像等个人信息隐私保护的担忧。链闻精选了一系列探讨区块链技术、密码学与隐私保护的文章,帮助读者在该领域从入门到精通。
区块链、密码学与隐私保护,必读文献推荐

0x 开源 Rust 实现的零知识证明系统 OpenZKP

链闻消息,去中心化交易所协议 0x 宣布开源 Rust 实现的零知识证明(ZKP)系统 OpenZKP,旨在基于 DEX 可扩展性和性能方面推进试验构建更通用的解决方案。该解决方案构建了一个易于使用的低级别界面,任何人都可以与之交互,是目前可用最小证明量中最快的证明实现。与闭源相比,OpenZKP 具有几个主要优点:1)任何人都可以在其他人工作的基础上为 OpenZKP 做出贡献,2) OpenZKP 可审核,因此,任何人都可自行查看代码并确定是否存在安全漏洞,3)开源实现保证了项目的连续性,因为只有在所有源代码都可访问的情况下,0x 协议才能独立于其创建者起作用。目前 OpenZKP 库可供开发者使用。STARK 最大优势是重复性约束下的一种快速证明实现,并拥有高级别的密码安全性能,不需要进行可信设置,还可抵御量子计算机的攻击。STARK 的数学也比某些替代方法更简单,可简化证明者和验证者的开发,其密切相关的系统(例如 Aurora)也正在进行积极应用开发。STARK 的主要缺陷是,作为一门新的约束语言,其相关工具还不完善。另外它的证明大小约为 100kB,比一些其他系统要大。
·

我们跟 Bulletproofs 的作者聊了聊零知识证明技术最前沿的进展

「零知识证明和密码学非常擅长于平衡隐私和透明的需求。」
我们跟 Bulletproofs 的作者聊了聊零知识证明技术最前沿的进展
·

币安学院零知识证明技术入门:zk-SNARKs 与 zk-STARKs

zk-SNARK 代表了简洁化的非交互式零知识证明,而 zk-STARK 代表了简洁化的全透明零知识证明。
币安学院零知识证明技术入门:zk-SNARKs 与 zk-STARKs
·

斯坦福金融公链 Findora:DeFi 的应用离不开零知识证明

Findora 开发了零知识证明的合规工具,金融机构可以用来证明其合规性,同时可以保护隐私。
斯坦福金融公链 Findora:DeFi 的应用离不开零知识证明

以太坊扩容项目 Matter Labs 完成 200 万美元种子轮融资,Placehoolder VC 领投

链闻消息,区块链技术初创公司 Matter Labs 获得由 Placeholder VC 领投的 200 万美元种子轮融资,其他投资者包括 1kx、Dekrypt、Hashed、Dragonfly Capital Partners 等。Matter Labs 表示,该笔融资将用于基于零知识证明的新型以太坊扩容计划。Matter Labs 联合创始人 Alex Gluchowski 表示,Matter Labs 的扩容方案技术基于零知识证明,可大幅加快以太坊上的交易速度,且部署成本更低,将帮助以太坊获得更大可拓展性,而不会牺牲去中心化性和安全性。Matter Labs 于 2018 年 12 月正式启动,Gluchowski 同时表示,Matter Labs 在 2019 年期间从以太坊基金会「获得几笔超过 10 万美元」的捐款。
·

十分钟速览斯坦福金融公链 Findora 提出的「超音速」零知技术

Findora 首席科学家 Benedikt Bünz 发布「首个无需可信设置的」短证明 SNARKs 技术 Supersonic,称该技术在100 万逻辑门的前提下可以将证明大小压缩到 10 至 20KB,甚至还有优化空间。
十分钟速览斯坦福金融公链 Findora 提出的「超音速」零知技术

MXC 抹茶基金战略投资区块链隐私保护平台 Suterusu

链闻消息,MXC 抹茶基金近日宣布战略投资区块链隐私保护平台 Suterusu,双方将在数据隐私保护与隐私跨链协议方面进行深度合作。Suterusu 实现和整合最新的无需可信初始化的零知识证明协议,打造可让开发者一键实现其所定义的隐私保护区块链方案的发射台。Suterusu 将为使用 Suterusu 生态系统技术的匿名数字资产实现隐私跨链协议,从而保证这些数字资产在生态系统中的高流动性和可交换性。MXC 抹茶基金由 MXC 平台投资成立,独立运作,投资方向主要围绕整个区块链产业进行考察,包括创新性的交易平台、金融衍生品平台以及底层技术创新项目等。

Zcash 开发公司 ECC 研究人员称突破 Zcash 零知识证明技术瓶颈

链闻消息,Zcash 开发公司 Electric Coin Company 的密码学家 Sean Bowe 作为第一作者发布论文《Halo:免除信任初始设置的递归证明组合》,并表示「零知识证明的递归组合」是所有密码学中最强大的工具之一,但在近十年中相关技术都需要挑战可信任初始设置(Trusted Setups),Halo 是「向前迈出的一大步」。ECC 首席执行官兼 Zcash 创始人 Zooko Wilcox 称该研究发现了「免信任的」零知识证明递归组合,是密码学「长期以来取得的突破」,可能成为「保护和扩展区块链」的关键。链闻发现,Zcash 目前采用的零知识证明方法为 ZK-SNARKS,由于该技术信息采样点的生成仍然需要一个可信的操作方,因此 ZCash 依赖于可信任初始设置(Trusted Setups),另一种零知识证明方法 ZK-STARKs 针对 ZK-SNARKs 的这个限制作出改进,采用更简洁的密码学假设。

非托管混币器 MicroMix 原型上线以太坊 Kovan 测试网,基于 ZKP 匿名信号系统 Semaphore 开发

链闻消息,以太坊基金会开发者 Wei Jie 宣布推出基于以太坊的非托管混币器 MicroMix,它基于零知识证明匿名信号系统 Semaphore 实现,目前在以太坊 Kovan 测试网上实现了原型部署,允许用户匿名地将他们的代币与其他人交换,同时可隐藏交易历史,「目前尚处于实验阶段,可能不安全,尚未经过审核」。MicroMix 旨在实现以非托管的方式解决以太坊链上交易和资产转移记录被跟踪的问题。目前市面上的解决方案均是采用中心化交易钱包或托管型的混币服务,因此存在高度的交易对手风险。此外,MicroMix 还采用了一种激励机制,可激励第三方中继交易代表用户提取资金,并为用户支付 gas 费。Semaphore 是一种匿名向区块链广播信号的方式,它不会泄露用户的地址,由 Barry WhiteHat、Harry Roberts 和 Kobi Gurkan 创建。未来,Semaphore 将被用于其他隐私增强应用,包括匿名登录、匿名 DAO,匿名投票和匿名新闻等更广泛的用例。关于匿名投票,MakerDAO 智能合约主管 Mariano Conti 称,匿名投票可为以太坊带来诸多好处,比如可用于 Maker 每周一次的关键问题投票,并建议也可用于 MolochDAO 这样的治理项目,因为它可以让投资者在不泄漏地址的情况下为项目提供资金。

零知识证明平台 Suterusu 与隐私币 Sero 达成战略合作,共同成立「隐私计算实验室」

链闻消息,区块链零知识证明平台 Suterusu 宣布与隐私币 Sero 达成战略合作,共同成立「隐私计算实验室」,Sero 将协助 Suter 基于其公链发行 Suter token,而 Suter 项目的 zk-ConSNARK 核心技术将贡献到 Sero 生态中。此外,双方拟合作的项目包括共同开展系列技术研讨活动,包括但不限于零知识证明的安全性探讨与优化、基于账户模式实现隐私保护以及隐私保护通信量的优化等议题;制作「隐私保护技术系列」培训课程,针对社区成员开展技术入门教育;建立开发者社区,创建技术交流平台。Suterusu 基于其开发的 ZK-conSNARK 技术,目标是实现无需可信初始化的零知识证明,同时将零知识证明的通信量由对数级降为常数级,使其应用范围大大扩展并可以支持智能合约,并开发让开发者一键实现具有隐私保护功能区块链的 Launchpad 并实现跨链通信。Sero 称是「全球第一个支持图灵完备智能合约的隐私数字货币」,允许开发者自行发布匿名数字资产,目标是让去中心化应用具有隐私保护功能,让区块链技术实现更多商业化应用的同时避免信息泄露。
·

盘点主流隐私币优劣势,了解零知识证明新玩家 Suterusu

介绍目前流行的几种去中心化隐私支付方案及其所使用的密码学工具,并比较这些方案的优劣,重点介绍零知识证明在这些方案中所起的作用。
盘点主流隐私币优劣势,了解零知识证明新玩家 Suterusu
·

可能是最耐心的硬核详解:零知识证明的可靠性与知识的存在性

只有「知识」在存在的前提下,保证「零知识」才有意义,本文将探讨「可靠性」和「To Know」。
可能是最耐心的硬核详解:零知识证明的可靠性与知识的存在性

零知识证明系统 PLONK 理论问世,试图优化 zk-SNARK 现有问题

链闻消息,Filecoin 母公司 Protocol Labs 的研究员 Ariel Gabizon 和以太坊隐私交易协议 Aztec Protocol 的两名研究人员 Zachary J. Williamson、Oana Ciobotaru 发布了名为 PLONK 的零知识证明论文,试图优化 zk-SNARK 的问题。以太坊 2.0 研究员 Justin Drake 称,PLONK 是一种全新的零知识证明系统,支持通用或可更新的可信设置(trusted setup),而且相比 Sonic 有显著的性能提升。这将会是在真实环境中使用零知识证明的一个巨大进步,并且不会由于可信设置而产生信任问题。

区块链开放协议 Ren 虚拟机 RenVM 测试网上线,旨在帮助开发者实现多链兼容的 DeFi 应用

链闻消息,区块链开放协议 Ren 宣布虚拟机 RenVM 测试网上线,旨在帮助开发者实现多链兼容的 DeFi 应用。开发者通过复制 RenVM 以 Darknodes 的形式布局到一个去中心化的网络中,RenVM 的亮点在于,可以使用零知识证明和新开发的 sMPC 协议以隐私的形式工作,RenVM 中所有程序的状态,输入和输出包括 Darknodes 对每个人都是隐藏的,这意味着 RenVM 可以实现管理多个不同区块链上的私钥,从而在无需信任的情况下实现跨链代币转移。该虚拟机还附带一个配套的 SDK,其中包括一个 JavaScript 库和一系列智能合约案例 SDK,支持集成至包括去中心化交易所、借贷、抵押还是杠杆平台在内的任何应用程序中。目前支持 ETH、DAI、BTC 和 ZEC。
·

硬核理解零知识证明的「模拟」概念:从平行宇宙到柏拉图洞穴寓言

任何一个零知识的协议,都可以通过构造一个「理想世界」来理解。
硬核理解零知识证明的「模拟」概念:从平行宇宙到柏拉图洞穴寓言
·

从「证明」含义的变迁,理解区块链关键技术「零知识证明」

「证明」是「逻辑」的产物,但「逻辑」与「计算」却又有着密不可分的联系。
从「证明」含义的变迁,理解区块链关键技术「零知识证明」

Zcoin 上线高性能零知识证明协议 Sigma

链闻消息,隐私代币 Zcoin 宣布上线新协议 Sigma,取代之前的协议 Zerocoin,旨在修复潜在漏洞,特别是用于防止攻击者创建假币导致的供应膨胀。作为首批使用零知识证明的加密货币之一,Zcoin 希望通过 Sigma 实现 Zcoin 的愿景,即在不损失安全性的前提下提升隐私代币的可用性。此次升级将通过一次硬分叉实现,用户有 6 个月时间将手中的 Zerocoin 协议代币兑换成新的 Sigma 代币。
·

大量零知与混币项目因 zkSNARK 合约「输入假名」漏洞面临双花等安全风险

大量零知识证明项目由于错误地使用了某个 zkSNARKs 合约库,引入「输入假名」漏洞,可导致伪造证明、双花、重放等攻击行为发生,且攻击成本极低。
大量零知与混币项目因 zkSNARK 合约「输入假名」漏洞面临双花等安全风险

轻量级区块链协议 Coda 测试网上线

链闻消息,轻量级区块链协议 Coda 测试网已于美国太平洋时间 7 月 24 日 2 时正式上线。 Coda 是一个使用 ZK-SNARKs 零知识证明来为区块瘦身的加密协议,可将区块链的大小从几百 GB 压缩到只有几条推文的大小。 Coda 创始团队 O(1) Labs 近日也宣布,新员工 Emre Tekişalp 加入团队,负责 Coda 的商务拓展,此前他曾在 Coinbase 负责托管、钱包、USDC 和 Libra 的相关业务。据 Block123.com 信息,Coda 在去年 5 月完成种子轮融资,已经获加密货币投资基金 MetaStable、Electric Capital、Polychain、AngelList 联合创始人 Naval Ravikant 的投资;在今年 4 月获得 1500 万美元融资,风投公司 Accomplice、Coinbase Ventures、Paradigm、General Catalyst 和 Dragonfly 等参与投资。
WeChatWeiboFacebookTwitterLinkedInTelegramMediumGitHubRSS收藏区块链搜索区块链移动 AppEmailUpAppleAndroid