链闻 ChainNews 诚邀读者共同监督,坚决杜绝各类代币发行、投资推荐及虚拟货币炒作信息。举报

零知识证明

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

·
·

微软推出首个无需做可信设置的 zkSNARK 技术方案 Spartan

链闻消息,Microsoft (微软)宣布推出一种高效且通用的零知识证明技术方案 Spartan,该方案能在更短时间内以更高效的方式实现简洁非交互的零知识证明(zkSNARK),是首个无需做可信设置的 zkSNARK 方案。据官方介绍,在公开的 SNARK 方案中,Spartan 的零知识证明验证速度最快,根据对比基数的不同,速度大约为 36-152 倍,生成证明的速度为 1.2-416 倍。与最先进的(需要做可信设置的) zkSNARK 方案相比,对于任意 R1CS 实例,Spartan 的验证器都要快 2 倍,数据并行工作负载速度快 16 倍。目前,该技术方案正在开发中,代码库也尚未进行安全审查和代码审计,未来将提供标准化 API 接口。
·

StarkWare 已开源零知识证明代码 ethSTARK

链闻消息,零知识证明研发机构 StarkWare 已在 GitHub 开源 ethSTARK。StarkWare 称,「2018 年我们获得以太坊基金会的资助去探索对 STARK 友好的哈希函数以及开源 ZKP 代码。ethSTARK 代码的证明速度将比现有的任何 ZKP 代码快 20 倍。」链闻注,2018 年 7 月份,StarkWare 获得了以太坊基金会提供的 400 万美元资助,将研发对 STARK 友好的哈希函数和技术,并为生态系统提供开源代码。STARK 将允许区块链在兼备隐私和后量子安全的情况下进行大规模扩展(例如分片)。
·
·
·
·

零知识证明研发机构 StarkWare 启动基于 STARK 的可验证延迟函数服务「VeeDo」

链闻消息,零知识证明研发机构 StarkWare 在以太坊主网上启动了基于 STARK 的可验证延迟函数(VDF)服务「VeeDo」。VDF 是一种可通过计算提供延迟和时间滞后的函数。 StarkWare 打算用 VeeDo 解决的第一个应用是以太坊上的无需信任的、不可支配的随机性概念验证(PoC)。目前,该 PoC 已在主网激活。另外,StarkWare 还在研究时间锁(TimeLock)以及下一代 PoW 机制。链闻注,2018 年 7 月份,StarkWare 获得了以太坊基金会提供的 400 万美元资助,将研发对 STARK 友好的哈希函数和技术,并为生态系统提供开源代码。STARK 将允许区块链在兼备隐私和后量子安全的情况下进行大规模扩展(例如分片)。
·
·
·
·
·
·

StarkWare 以 Reddit 演示 ZK Rollup 扩容,可降低 30% 以太坊 Gas 费用

链闻消息,零知识证明研发机构 StarkWare 演示了通过其 StarkEx (二层扩容方案 ZK-Rollup)将 Reddit 上的子板块 r/FortNiteBR (及其 Brick 代币)引入以太坊主网的过程,每笔交易仅支付了 600 Gas 费用。StarkWare 制作了一个模拟代币以对应于现在在测试网上的 Reddit 的真实代币。StarkWare 称,「在此过程中,我们没有造成网络堵塞,并且在 12 小时内仅使用 2.5%的网络。另外,支付的 Gas 价格比平均区块 Gas 价格低 30%。如果直接在以太坊(没有 StarkEx)上做同样的事情,将在以太坊整个网络上消耗 4.5 天。」StarkWare 还指出,「我们在 ERC-20 链上铸造了 2 ^ 60 个代币(称为「MockErc20」),并将其存放至代表 subreddit 的智能合约中。之后,又以无信任地方式将这些资产转移到「subreddit 库存」的链下帐户中。我们共创建了 159 个批次,每个批次进行了 8,192 次转移。每个批次都生成了 STARK 证明,我们还更新了帐户余额的链下 Merkle Tree。」链闻此前报道,Reddit 启动基于以太坊区块链的区块链积分系统 Beta 测试,仅针对加密货币和 FortniteBR 两个子版块。在测试版中,这两个子版块的用户可通过贡献内容获得代币积分,并使用代币投票、打赏和进行代币转移。
·

零知识证明研发机构 StarkWare 将在几周内开源 ethSTARK

链闻消息,零知识证明研发机构 StarkWare 称,「2018 年我们获得以太坊基金会的资助去探索对 STARK 友好的哈希函数以及开源 ZKP 代码。我们将在几周内提前完成我们的工作。ethSTARK 代码的运行速度将比现有的任何 ZKP 代码快 20 倍。」链闻注,2018 年 7 月份,StarkWare 获得了以太坊基金会提供的 400 万美元资助,将研发对 STARK 友好的哈希函数和技术,并为生态系统提供开源代码。STARK 将允许区块链在兼备隐私和后量子安全的情况下进行大规模扩展(例如分片)。

Trail of Bits 计划利用零知识证明重塑漏洞披露流程

链闻消息,安全研究机构 Trail of Bits 宣布,正在与约翰霍普金斯大学的 Matthew Green 合作,使用零知识证明(zero-knowledge proofs)技术为科技公司和安全漏洞研究人员建立一种可信的基础设施,在新的合作方式之下,双方在针对漏洞披露(Vulnerability Disclosure)的流程中可进行合理的沟通,而不必担心受到破坏或歧视。在接下来的四年里,Trail of Bits 将会进一步推进零知识证明的理论极限,并为安全漏洞研究人员提供相应的软件,用以产生漏洞可利用性的零知识证明。这项研究也是 DARPA (美国国防部高级研究计划局)资助的「Securing Information for Encrypted Verification and Evaluation」(SIEVE)项目的一部分。
返回页面顶部
返回链闻首页