想象下一代安全的互联网,从登录时刻开始,你的个人信息就受到保护。在这个新的互联网中,你的数据将留在你自己的设备内,你可以完全掌控自己的信息,消除了被盗或欺诈的风险和恐惧。我们认为,一个将安全和隐私作为优先考虑的未来互联网基础设施可能比预期的更快到来。
当今的网络基础设施旨在从每次交互中提取数据并存储在集中式数据存储中。公司随后利用这些数据分析用户的在线行为,并将定位广告以获得利润,对用户的价值很小。当然,数据共享对于许多互联网应用程序的功能也是必不可少的。从搜索引擎到社交媒体平台,再到电子商务网站,数据共享使我们日常生活中所依赖的各种在线活动成为可能。
但是许多互联网用户越来越希望拥有一个私密的互联网。这需要新的基础设施,在这个基础设施中,用户不会默认与应用程序共享其数据,但仍然可以从网络驱动的在线应用程序中获益。这可以通过在客户端执行计算,然后向中央实体或计算机证明来实现。零知识证明和协议是成为新互联网基础设施的基础层的领先候选人,其中隐私是默认设置。
这不仅仅是一场未来的幻想;该领域的巨大潜力正在聚积。SteelDAO的新成立的加密货币研究部门一直在追踪该领域,并在2022年见证了超过7.25亿美元的资金流向专门构建零知识证明解决方案的“纯玩家”公司。其中最大的两轮融资是Aleo和MatterLabs的2亿美元融资,其次是Aztec的1亿美元融资。其他公司还包括Scroll、RiscZero、Elusiv和MinaProtocol。
这篇关于ZK的研究来自于美国著名投资机构BessmerVenturePartners。本文将用便于理解的方式解释什么是ZKPs和zkEVMs,并重点探讨该领域内的三个主要创新类别:隐私、可扩展性和新型应用,以及它们的潜力和需要克服的障碍。
分析 | BTC短线最大下探超5%,多空胶着洗盘频繁:今日上午10:30左右,BTC合约行情开始迅速下行,据OKEx季度合约行情显示,本次下行最大下探幅度超5%,跌破10000美元,不过下探过后行情迅速回升,重新站上10000美元关口。
分析师Rachel表示,技术面上,经过此前超两个月的上涨走势,BTC多军有部分止盈离场需求和洗盘需求,所以BTC高位出现不时回落行情,但是市场做多情绪仍较强,出现了多空快涨快跌的走势,预计后市快速洗盘行情或将再次出现,但总体并未打破日线上涨趋势,短线需关注大户异动情况,注意持仓风险。
近期,BTC价格越来越集中于万美元关口的争夺上,而根据OKEx交易大数据来看,BTC合约多空持仓比连续站在2上方,据历史走势看,这个数值有偏高风险;另外BTC合约持仓总量连续站在千万张之上,处于历史高位区间,同样增加了多头的累积风险。[2020/2/24]
什么是零知识证明?
零知识证明是一种验证陈述或计算的方法,过程中不揭示有关该陈述本身的任何信息。例如,如果一个销售酒精饮料给消费者的网站想要验证消费者是否年满21岁,ZKP可以回答“是”或“否”的问题,而不会透露消费者的实际年龄或任何其他身份信息。通常,ZKP涉及双方:证明者(prover)和验证者(verifier)。证明者负责证明声明,而验证者负责验证声明。这些证明通过需要进行大量计算的数学方程来解决,最初由麻省理工学院的研究人员ShafiGoldwasser和SilvioMicali以及多伦多大学的CharlesRackoff研究。
动态 | 近期Bitfinex钱包频繁大额转账ETH或与其1月7日数据迁移有关:据Trust Nodes消息,近期Bitfinex钱包频繁进行ETH大额转账或是其1月7日数据迁移相关动作。近期Bitfinex钱包频繁进行ETH转账操作,据悉是从Bitfinex钱包5转移到了Bitfinex钱包4。根据监测数据,Bitfinex钱包发生5笔大额转账,转出ETH共计近47万枚。此外,今日Bitfinex钱包又进行了10笔大额转账。
据此前Bitfinex官方消息,Bitfinex将于2019年1月7日18:00,将执行数据迁移到专用的裸机服务器,以提高速度、性能和安全性。届时,Bitfinex和Ethfinex都将停机长达7个小时,以完成迁移。客户将无法访问其钱包,并且在升级期间,两个平台上的所有功能都将处于脱机状态。[2019/1/6]
虽然这些证明本质上是技术性的,但它们能够解决的用例实际上非常普遍。举个例子,比如我们正在申请贷款。在今天的现实情况下,申请人需要向银行披露自己的资金证明、信用评分以及其他相关信息来证明自己是否有资格获得贷款。申请人需要信任银行不会滥用敏感和个人信息。但是使用?ZKP,人们可以在不披露任何敏感数据的情况下申请贷款。这具有潜在的能力,可以从根本上改变我们处理真实和虚拟世界中的隐私的方式,扩展现有的基础链,并推进其他应用,比如去中心化人工智能。
我们相信在未来几年推广ZKP需要以下三个因素的推动:
零知识以太坊虚拟机的不断改进;用户对数据隐私的认识和需求的不断增加;Layer-2扩容解决方案的持续使用。
什么是zkEVM?为什么值得关注?
zkEVM是与EVM兼容的虚拟机,可以运行ZKP计算。以太坊虚拟机是部署在以太坊上的智能合约的运行环境。换句话说,ZKP现在可以与以太坊上的智能合约进行交互,从而使得可以开发更广泛的支持隐私的用例,包括ZK-rollups。Rollups是一种扩容解决方案,可以在链外处理多个交易,然后批量打包到以太坊上的一个交易中,从而减少处理交易的成本和时间。在此之前,ZKP不能与以太坊上的智能合约兼容,必须为特定的应用程序开发。在本文中,我们将更详细地研究ZKP在隐私和扩展性方面的应用。
动态 | ETH昨日大户交易频繁 散户交易热情不高:根据Searchain.io数据分析:昨日ETH市场新增地址较前日下降20,活跃地址较前日下降8%。但交易数量与前日相比确有所增加,昨日大额转账数量与前日相比也有大幅提升,总量与前日相比增加171%。大额流入交易所率较前日增加26.22%。从交易所内数据来看,昨日成交额普遍提高,其中法币交易所增加比较明显,普通交易所中,Bittrex成交额较前日相比增加94%。根据数据分析,昨日大户交易热情升温,从而带来了一小波提升,但散户交易热情并没有明显提升。今日市场行情应不会有较大提升。[2018/11/13]
隐私
零知识证明的一个重要数学特性是验证者可以以零知识的方式验证陈述的正确性。如今的应用程序需要从本地计算机传输数据到中央服务器以进行计算。尽管ZKPs目前主要在加密社区中受到欢迎,但ZKPs的应用远不止区块链这一块领域。实际上,大型科技公司已经加入了这个领域,声明了大量与ZKPs相关的专利。自2010年至2021年,阿里巴巴发放了1111项ZKP专利。腾讯和IBM等其他关键参与者紧随其后。阿里巴巴和腾讯特别专注于ZKPs的金融服务用例,因为它们可以成为许多银行流程的核心基础设施,包括客户身份验证、贷款处理、开立投资账户等。我们相信,在ZKP工具和基础设施的创新和变革的推动下,将以三种主要方式影响我们与具有虚拟和现实工作流的应用程序的交互。
1)账户登录
在今天,所有的应用程序都会通过储存密码来验证用户的身份。虽然使用零知识证明的安全远程密码协议已经有一段时间了,但我们还没有看到有哪个创业公司利用这项技术来与Okta竞争。这是因为网页端应用程序是用JavaScript编写的,由于开发人员工具不成熟,编写SRPP在网页端应用程序上很困难。我们相信通过使用零知识证明,可以重新设计广泛使用的应用程序的身份验证流程,从而向应用程序证明你拥有你的账户密码。
行情 | BTC活跃地址激增26.5% Bitfinex内部转账频繁:据金色财经数据显示,BTC过去24小时的活跃地址为547137个,较上一日增长26.4%,表明市场开始活跃起来。目前,BTC全网算力为52.9EH/s,BTC 每THash单日收益为0.2171美元。此外,BTC在推特上讨论量再次下降。从链上数据来看,昨日单笔转账超过3000 BTC的有4笔,其中最大额为10550 BTC,经验证为Bitfinex交易所钱包的互转,对行情无影响。从技术角度来讲,金色盘面分析师认为,BTC已于6400美元附近横盘5天,有可能会出现变盘,投资者需谨慎。[2018/9/11]
2)付款
应用程序今天的电子商务网站积累了许多用户财务数据,可以用在一些不利于客户的地方。虽然听起来问题不大,但我们认为有空间构建标准化的付款API,不用透露用户的数据,而是以完全零知识的方式促进支付。类似于Aztec这样的隐私第一的第二层扩展解决方案,但用于常规的互联网支付。
3)线上及现实世界中的身份认证环节
在几乎所有的线上和现实世界的交互中,用户都需要验证他们的身份。例如,申请签证时需要向第三方提供银行账单、护照和其他敏感数据。如果使用零知识证明,当你申请签证时,它只会向相关机构发出“是”或“否”的答复,告诉他们你是否拥有所需文件。同样地,在网上购买加密货币时,我们需要向第三方发送我们的“护照”和其他敏感文件,以进行KYC/AML检查。像NotebookLabs这样的公司正在使用零知识证明来防止可疑的不良行为者与DeFi协议进行交互。这个公司通过向遵守规定的用户发放通过ZKP验证的代币,来让其他协议知道这些用户是遵守规定的,进而省去了查看用户的文件的步骤。
加密货币在印度愈发频繁:据Quartz消息,印度加密货币相关犯罪的数量正在迅速增加。犯罪分子的方式有很多种。其中包括钓鱼网络,黑客攻击,多层次营销计划等,还有一些绑架者要求使用加密货币作为赎金。[2018/6/9]
期待看到区块链领域之外的零知识证明用例,尽管我们认识到,正是由于区块链的存在,它们可以独特地扩展。此外,设计上,区块链是匿名的,但它们并不具有隐私保护,其中所有交易都是完全透明的。所以我们认为需要像Aleo这样的隐私保护区块链来解决这个问题。
除了用户对隐私的不断追求之外,还需要解决可扩展性问题。像以太坊这样的Layer1面临可扩展性“三难情况”,必须在可扩展性、安全性和去中心化之间做出权衡。比如,以太坊的愿景是尽可能保持安全和去中心化,那代价可能就是舍弃可扩展性,但同时,以太坊使用量日益增长,后果就是交易变慢和高昂的费用。为此,零知识证明也可用于提高可扩展性。
可扩展性
区块链的可扩展性可以通过两种方式实现:一是增加区块的交易容量,但这会带来一些风险,例如使验证变得更加困难;二是采用不同的方法与其交互,如将交易批量处理并作为单个交易提交到主网络。实施这种方法的以太坊上层网络称为L2扩容解决方案。它们允许开发人员构建生活在以太坊生态系统中的应用程序,以利用其安全性、去中心化和网络效应,但同时提高了交易吞吐量并降低了交易成本。
这些解决方案也被称为rollups,分为两种形式:Optimisticrollups和zero-knowledgerollups。Optimisticrollups是“欺诈证明(fraudproofs)”,这意味着批量交易在7天的挑战期内被认为是有效的,在此期间任何人都可以对基础交易的有效性提出异议。另一方面,ZKRollups不默认假定交易有效,而是作为“有效性证明(validityproofs)”,验证基础交易的有效性。它们依赖于自己的数学属性——soundness。soundness是指数学保证,如果陈述为假,除了一些小概率之外,没有证明者能够说服一个诚实的验证者其为真。这是通过经过深入研究的密码学假设和可验证计算来保证的,这使得证明者很难通过恶意方式黑入系统。
来源:https://vitalik.ca/general/2021/01/05/rollup.html
ZK-rollup可以更快地处理交易,并且不需要像optimisticrollup那样的7天挑战期。因此,用户不必等待7天才能提取他们的资金。尽管如此,optimisticrollup目前在L2扩展市场上占据着大约80%的总锁定价值。历史上,零知识证明与智能合约不兼容。因此,使用ZK-rollup构建的应用程序只能适用于有限的、特定于应用程序的用例,如二层去中心化交易所dYdX和用于支付和交易的协议Loopring。因此,开发人员选择了乐观rollup,因为它们与通用应用程序兼容。
如今,随着对zkEVM的改进,这种历史限制正在得到解决。现在,通用应用程序可以利用ZK-rollup的安全性和效率,因为它们与EVM兼容,可以与智能合约进行交互。因此,我们认为,在未来几年内,ZK-rollup将有望接管L2扩展市场,特别是由于正在构建基础架构工具来改进使用zkEVMs开发通用应用程序的体验,如StarkWare、Polygon、MatterLabs和Scroll。
话虽如此,zkEVMs仍然相对较新,并且正在使用不同程度的以太坊兼容性和性能构建。总体而言,兼容性的最高级别是(1)与以太坊等效,而最低级别是(4),在这种环境下,智能合约代码被编译为ZK-friendly的语言。例如,像以太坊的研究部门Privacy&ScalingExploration这样正在追求最高级别兼容性的团队,其代价是性能降低,因为它们的目的并不一定是在不久的将来投入生产。
相反,像StarkWare这样的公司已经部署了StarkNet,这被认为是最完整和性能最高的zkEVM之一,但需要使用一种新的本地编程语言Cairo,以支持在EVM上的ZKP计算。因此,它需要开发人员学习如何在自定义环境中执行智能合约代码,这是采用的一个挑战。Polygon的Hermez、MatterLabs的zkSync2.0和Scroll等项目正在寻求解决这些摩擦领域以扩大开发人员的使用。
来源:https://vitalik.ca/general/2021/01/05/rollup.html
除了进一步改进zkEVMs外,ZKP的大范围采用还面临其他挑战,包括提供更好的基础设施和降低理解和使用它们的复杂性。
当前需要克服的困难
在硬件方面,开发者需要改善图形处理单元的并行处理能力或设计特定的硬件,例如应用特定集成电路,以继续减少证明语句所需的时间和资源。
尽管在数学算法方面已经取得了许多进展,例如引入了PLONK,但我们认为新算法将继续出现,最终实现更快、更好的解决方案。此外,如果我们想让这个领域真正起飞,还需要构建更多的抽象层。尽管这已经吸引了许多开发者和用户的关注,但总的来说,它仍然是一个相当复杂的领域,需要付出较大的精力才能够构建和交互。
最后,鉴于零知识证明的本质复杂性,监管机构甚至用户可能会谨慎对待——例如最近对TornadoCash的禁令加强了一种错误的观念,即所有寻求匿名性的人都是恶意行为者。
尽管存在困难,我们很高兴看到公司以不同创新的方式克服这些障碍。
创新的实际用例
虽然ZKP技术早在1989年就被提出,但密码学的普及推动了创新,过去几年中,水平应用案例和应用程序显著增加。例如,去中心化存储提供商Filecoin使用PoRep或复制证明来验证存储提供商确实存储了他们声称存储的数据。通过使用ZKP技术,验证者可以更快地验证这些信息,而不会损害安全性、信任或信心。
另一个令人兴奋的应用领域是游戏,像DarkForest这样的链上游戏正在引领基于ZKP的创新。其中一个核心特点是博弈论家所谓的“不完全信息”,即大部分虚拟宇宙都是隐藏的,除非玩家探索它。另一个关键特点是玩家可以通过向区块链发送证明来探索这个宇宙,证明移动是有效的,但不会揭示他们在宇宙中的坐标。
最后,Chainlink和Teller正在build为“未充足抵押贷款”进行概念验证。一句话解释就是,Teller证明用户的离线银行账户余额超过所请求的贷款金额指定的动态阈值,而不实际揭示他们的银行账户详细信息。
ZKP市场全览图
零知识证明领域的不完全市场图?来源:BVP
ZKP未来可期
尽管在这个领域存在许多挑战,但加密基础设施将继续演进和发展。开发活动仍然强劲,相关公司继续投资于后端和面向消费者的加密机会,这一切让人感觉ZKP的“春天”已经近在眼前。我们对ZKP的未来感到兴奋,因为它似乎是建立更去中心化的网络的关键技术里程碑。尽管目前仍存在一些障碍,还没有被大规模采用,但ZKP正在推动互联网隐私至上的重建,并推进其他区块链应用和用例的采用。
标签:NCEETACOISDCDefina FinanceMeta Game CityBl Bit CoinAUSDC价格
前言 伴随着美国证券交易委员会对BUSD的证券指控,以及Binance上线去中心化稳定币协议Liquity的“治理”代币LQTY,去中心化稳定币又一次成为了市场热点.
已陷入困境,其出售210亿美元的可销售债券投资组合,以弥补流动性损失。市场对此感到担忧,该公司股价今日下跌54%.
MarsBitCryptoDaily2023年3月21日 一、?今日要闻 MakerDAO社区发起「是否将现有USDC为主的PSM稳定币储备多样化」投票MakerDAO社区发起PSM参数标准化民.
1天时间,SVB的涟漪效应就来到了加密市场。今晨,因SVB中有部分存款,USDC稳定币发行商Circle突然面临严重挤兑,USDC出现持续性脱锚.
Renegade结合了多方计算和零知识证明,其中多方计算用于撮合交易,零知识证明用来结算撮合后的交易.
ERC-721?于?2018?年?1?月创建,当时链上已经出现了一些?NFT?实验。但没人能够预测到它将导致NFT生态的诞生并释放出?NFT?应用的潜力.