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

ZKP文章 资讯 新闻 快讯 深度评论 介绍 解读

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

以太坊二层网络解决方案 Hermez 开源项目所使用的 Circom 电路

链闻消息,以太坊二层网络解决方案 Hermez 宣布开源在项目中使用的 Circom 电路。Hermez 表示,电路是一组约束和规则,协调人必须遵循这些约束或规则处理所有允许的交易,并且为了生成批量的 zk-SNARK 有效性证明,该证明将在以太坊主网上进行验证。Hermez 的电路是由 Circom 编写的,Circom 是 iden3 零知识技术堆栈中使用的编程语言,与其他电路编译器不同的是,Circom 是一种 DSL 语言,语法类似于 C 和 javascript。Hermez 还表示他们建立了一个关于密码学的通用电路库 circomlib,其他项目已经在使用它,比如 Semaphore 和 Tornado.cash。

Dystopia Labs 将于 10 月 19 日面向开发者举行 ZKP 和隐私峰会

链闻消息,致力于防止区块链世界的反乌托邦未来的初创工作室 Dystopia Labs 将于 10 月 19 日面向开发者举行零知识证明(ZKP)和隐私峰会。该峰会为期半天,完全免费。演讲者包括轻量级区块链协议 Coda Protocol 联合创始人兼 CEO Evan Shapiro、零知识证明研发机构 StarkWare 的开源 ethSTARK 项目工程师 David Levit-Gurevich、去中心化金融公链项目 Findora 首席技术官兼联合创始人 Ben Fisch、扩容项目 Matter Labs 联合创始人兼 CEO Alex Gluchowski、隐私公链 Secret Network CEO Guy Zyskind、Zcoin 密码学顾问 Aram Jivanyan 以及 Zcash 密码学家 Sean Bowe 等多位领域内人士。
·

零知识证明研发机构 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 将允许区块链在兼备隐私和后量子安全的情况下进行大规模扩展(例如分片)。

企业区块链解决方案 Applied Blockchain 完成 250 万美元融资,QBN 资本领投

链闻消息,总部位于伦敦的企业区块链解决方案公司 Applied Blockchain 宣布完成 200 万英镑(约 250 万美元)融资,由香港风险投资公司 QBN 资本领投。该笔资金将被用于继续开发该隐私平台,以帮助公司改善数据处理方式,Applied Blockchain 还将在 QBN Capital 的帮助下扩展到亚洲。Applied Blockchain 称将会推进开发大量零知识证明(ZKP)应用。QBN Capital 高级副总裁 Philea Chim 表示,「政府、企业和个人越来越关注数据隐私和数据安全性,我们相信零知识证明(ZKP)提供了一种更好的共享和处理数据的新方式。」目前 Applied Blockchain 已开始与能源、航运、航空、汽车、电信和金融服务等行业的客户一起测试该平台。Applied Blockchain 成立于 2015 年,迄今为止已为初创企业和企业开发了 70 多种分布式解决方案。 2017 年,该公司从石油巨头壳牌和风险投资公司 Calibrate 获得一笔未公开的资金,此外,壳牌使用 Applied Blockchain 来构建和部署能源衍生品交易平台。
·

如何弥补链上与链下体验差距?了解一下 ZK Rollup 等方案

如何弥补链上与链下之间用户体验的差距? ZK Rollup 方案处理时间短,可节约运营商的资金成本。
如何弥补链上与链下体验差距?了解一下 ZK Rollup 等方案

Matter Labs 推出零知识证明智能编程语言及框架 Zinc 的测试版本

链闻消息,区块链技术初创公司 Matter Labs 推出零知识证明智能编程语言及框架 Zinc 的 v0.1 Alpha 版本。Matter Labs 表示,Zinc 是用于创建安全的零知识证明线路以及基于其运行程序的智能编程语言和执行环境,是发展「基于以太坊扩容方案 ZK-Sync 中智能合约的一大进展」。Matter Labs 创始人 Alex Gluchowski 表示,Zinc 遵循 Rust 原理,并基于简化的 Rust 语法,精通「Rust、C ++、Solidity 等语言的开发者可在一天内快速上手」。同时,Zinc 与其他现有的 ZKP 编程语言不同,开发者不需要了解「所有 R1CS (一阶约束系统)的细微差别即可编写安全代码」。链闻此前报道,Matter Labs 于 2019 年 12 月推出其基于零知识证明的以太坊 Layer 2 扩容方案 ZK-Sync 的测试网。Matter Labs 表示其为以太坊交易创建了一条侧链,通过在基于智能合约的托管帐户中进行脱链操作,ZK-Sync 交易可以更快地结算并降低成本。
·

用非技术语言说透零知识证明如何改变区块链

用最简单方式说透「 精简区块链」实现方式和巨大价值。
用非技术语言说透零知识证明如何改变区块链
·

审计师会被区块链与零知识证明技术替代吗?

区块链技术与零知识证明,将会对审计与记账流程带来何种革新?
审计师会被区块链与零知识证明技术替代吗?
·

零知识证明的理想进化:从交互到非交互式

非交互式零知识证明如果存在,那么它要比交互式证明强大得多。
零知识证明的理想进化:从交互到非交互式

隐私浏览器 Brave 提出基于 ZKP 的去中心化虚拟隐私网络解决方案 VPN⁰

链闻消息,隐私浏览器 Brave 发布研究论文提出了一种去中心化虚拟隐私网络解决方案 VPN⁰,该解决方案使用无需中央授权的 ZKP 实现了充分的去中心化,同时还保障用户隐私。作为一种去中心化的 VPN 解决方案,用户既是 dVPN 网络中的 VPN 客户端,又是 P2P 网络中继 / 退出节点,通过使用零知识证明技术,VPN⁰ 允许中继节点在无需知道具体内容的情况下控制想要传输流量的类别,既保持了去中心化特性, 又不会侵犯用户隐私。值得注意的是,该用例有可能集成到 Brave 的效用代币 BAT 中,流量中继者可获得 BAT 补偿,同时使用者则可以支付代币 BAT 使用或订阅 VPN 服务。目前 VPN⁰集成了 BitTorrent 的 DHT (Mainline)和 ProtonVPN,并针对 DHT 查找、VPN 隧道设置和零知识流量证明对 VPN⁰ 的性能进行了基准测试。

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

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

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

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

非托管混币器 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 这样的治理项目,因为它可以让投资者在不泄漏地址的情况下为项目提供资金。
·

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

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

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

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

ZKP 新玩家:zkPoD 将零知识证明从理论到代码的演进

本文概述利用 ZKP (零知识证明) 与区块链来实现去中介的交易协议的原理,讲讲如何把这个理论变成实用的代码。
ZKP 新玩家:zkPoD 将零知识证明从理论到代码的演进
返回页面顶部
返回链闻首页