月亮链 月亮链
Ctrl+D收藏月亮链
首页 > 屎币 > 正文

区块链:一文读懂零知识证明(ZKP)_alix币发行量

作者:

时间:1900/1/1 0:00:00

区块链本身的一个关键优势就是透明性,然而在许多情况下,智能合约应用却出于各种商业或法律原因需要保障数据隐私,比如传入专有数据触发智能合约执行。现在,越来越多项目都采用零知识证明(ZKP)技术在公链上保护隐私。(注:零知识证明指一方向另一方发送加密证明,在不透露数据内容的情况下证明自己拥有某个数据。)在区块链网络中,零知识证明只披露某条隐藏信息是有效且为证明者所拥有的。

本文将详细探讨零知识证明如何保障隐私,而隐私保护是零知识证明对用户的核心价值。另外文中还会列举零知识证明在区块链上的各种用例,以及如何利用Chainlink的DECO技术建立保护隐私的预言机网络,证明数据来自某一web服务器的同时保护数据隐私,并实现向后兼容。

零知识证明的运行机制

零知识证明最早由MIT的Shafi Goldwasser和Silvio Micali在1985年一篇名为《互动式证明系统的知识复杂性》的论文中提出。作者在论文中提到,证明者(prover)有可能在不透露具体数据的情况下让验证者(verifier)相信数据的真实性。零知识证明可以是交互式的,即证明者面对每个验证者都要证明一次数据的真实性;也可以是非交互式的,即证明者创建一份证明,任何使用这份证明的人都可以进行验证。零知识证明目前有多种实现方式,如zk-SNARKS、zk-STARKS、PLONK以及Bulletproofs。每种方式在证明大小、证明者时间以及验证时间上都有自己的优缺点。

SyncSwap页面出现无法访问,原因暂不明:4月11日消息,据多名加密社区用户披露,部分用户的SyncSwap页面出现无法访问,原因暂不明。[2023/4/11 13:57:08]

零知识证明有三个基本特征,即:

完整性:如果statement为true,则诚实的验证者可以相信诚实的证明者确实拥有正确的信息。

可靠性:如果statement为false,则任何不诚实的证明者都无法说服诚实的验证者相信他拥有正确的信息。?

零知识性:如果statement为true,则验证者除了从证明者那里得知statement为true以外,什么都不知道。

总而言之,要创建零知识证明,验证者需要让证明者执行一系列操作,而证明者只有在得知底层信息的情况下才能正确执行。如果证明者乱蒙一个结果,那么验证者极有可能在验证中发现并证明他的错误。

巴黎奥赛博物馆等十二家机构加入Web 3奖学金计划:金色财经报道,巴黎奥赛博物馆、巴塞尔电子艺术学院 (HeK) 和伦敦皇家艺术学院等十二家机构加入旨在利用区块链技术保护和促进文化遗产、实现社会公益、环境正义和金融稳定的Web 3.0 奖学金计划。Web3 for the Arts and Culture (WAC) 奖学金计划是由Tezos基金会、社会创新组织 We Are Museums 和 TZ Connect之间的合作和建立在 Tezos 上的公司于 1 月 26 日推出。[2023/2/19 12:16:11]

零知识证明概念演示,如何在不透露数据内容的情况下向对方证明拥有数据

如果要用一个概念直观地解释零知识证明如何证明用户拥有数据,可以想象一个山洞只有一个入口,洞里面有两条路(路径A和路径B),这两条路由一扇门连接,要说出密码才能通过这扇门。Alice希望向Bob证明她知道开门的密码,但不想将密码透露给Bob。因此,Bob需要站在山洞外,Alice从其中一条路走进山洞,而Bob并不知道她选了哪条路。接着,Bob指定Alice从其中一条路回到山洞入口(注:这是随机选择的)。如果Alice最初选择从路径A走到门口,但Bob让她从路径B回来,唯一的方法就是穿过那扇门,而穿过门必须知道密码。为了充分证明Alice真的知道门的密码,而不是运气好刚好选到了同一条路,这个过程可以反复重复好几次。

去中心化音乐协议搭建商Vault完成400万美元A轮融资:金色财经报道,去中心化数字音乐协议搭建商 Vault 完成 400 万美元 A 轮融资,加密投资公司 Placeholder VC 领投,此前曾投资过该公司的 AlleyCorp、Bullpen Capital 和 Everblue Management 参投。截止目前,该公司总融资金额已达 1300 万美元。

据悉,Vault 构建了去中心化协议Digital Music Collectible, DMC。通过构建一个开放且完全去中心化的音乐网络,DMC 允许用户在第三方应用程序和网站上共享、播放和购买音乐。[2023/2/9 11:57:33]

这一步操作完成后,Bob就可以非常确信Alice知道门的密码,与此同时Alice也不用向Bob透露密码是什么。虽然以上只是零知识证明机制简单的概念演示,但真正的零知识证明运用的是密码学,在不透露数据的情况下证明数据的存在。在这个山洞的示例中有一个输入数据,一条路径和一个输出数据。在计算机中也存在类似的系统和电路,传入数据,数据通过某些电路门之后再输出。零知识证明利用了类似这种电路机制来创建证明。

Serum推出新交易界面Vybe DEX:8月11日消息,Solana生态去中心化交易平台Serum宣布推出数据驱动的交易界面Vybe DEX,该交易平台由Serum的中央限价订单簿和匹配引擎提供支持,由Vybe Network构建和托管。

Vybe DEX允许用户以易于使用的界面进行交易,体验类似于在Coinbase Pro或FTX等中心化交易所进行交易。该界面的功能包括为所有Serum市场下限价和市价单、查看未结订单和交易历史、实时和历史图表数据、订单簿流动性统计、SPL代币以及市场深度图表。[2022/8/11 12:17:24]

想象有这么一种计算机电路,传入数据,并输出某一抛物线上的值。如果用户能够对抛物线上的某一点连续给出正确答案,那么就可以确信他知道这条抛物线函数是什么,因为每一轮成功猜出正确答案的概率会越来越低。你可以把电路理解成Alice在山洞里走的路径。如果她能够顺利通过电路,那么就说明她极有可能知道穿过电路的“密码”。在不透露任何具体信息的情况下证明自己拥有数据,将带来许多关键价值,特别是对区块链领域而言尤为如此。

英特尔执行长基辛格:芯片制造设备交货时间已大幅拉长:5月25日消息,英特尔执行长基辛格23日在达沃斯世界经济论坛(WEF)场边受访时表示,芯片短缺问题预料将持续到2024年。他也警告,半导体短缺问题同时造成先进芯片制造设备也供不应求,可能阻碍全球晶片产能的扩张计划。他说,新晶圆厂的芯片制造设备交货时间,已相当大幅度地拉长。他认为当前扩增产能的最重要壅塞点,是芯片制造设备的供应。(财联社)[2022/5/25 3:39:46]

零知识证明的价值

零知识证明的主要价值是可以在以太坊等透明的公链上利用隐私数据集。区块链本质上透明度非常高,任何在区块链网络中运行的节点都可以查看并下载所有储存在账本中的数据,而区块链结合了零知识证明技术,可以让用户和企业用隐私数据来执行智能合约,并且不透露具体的数据内容。

供应链公司、企业和银行等传统实体希望创建并执行智能合约,但又为了在竞争中保持优势需要保护商业机密,因此在区块链网络中保障数据隐私就显得至关重要。另外,这些实体通常受到法律监管约束,必须保护客户个人身份数据隐私,并要遵守欧盟通用数据保护条例和美国健康保险便携性和责任法案(HIPAA)等各项法律法规。

联盟链的出现可以有效保护机构交易数据隐私,但联盟链在网络规模上却逊色于公链,公链可以覆盖全世界各地的用户,并形成巨大的网络效应。而零知识证明可以使这些机构安全地与公链网络交互,并同时保护内部敏感数据隐私。因此,零知识证明成功为传统企业激活了一些列公链的应用场景,推动创新,并建立更高效的全球经济体系。

零知识证明应用

Zcash等区块链已经开始采用零知识证明,用户可以创建隐私交易,隐藏交易金额以及发送者和接收者的地址。去中心化预言机网络可以将智能合约接入链下数据和计算资源,也可以应用零知识证明来证明某一链下数据,并同时在链上隐藏数据内容。

DECO是目前Chainlink正在开发的基于零知识证明技术的预言机解决方案,也是Chainlink网络的安全链下计算套件中的一个隐私保护预言机协议。DECO在HTTPS/TLS协议基础上进行了扩展(注:HTTPS/TLS是互联网最常用的数据传输协议),保障数据从各个隐私和付费数据源传输过程中的隐私性和防篡改性。DECO可以与现代TLS版本兼容,无需使用可信硬件,并且可向后兼容,服务器端无需修改。因此,使用DECO的Chainlink预言机节点可以证明数据来自可信服务器,并在链上隐藏数据内容。另外,由于维护了TLS托管链,因此还可以证明数据源。

DECO等零知识证明方案可以实现一系列智能合约应用场景,其中包括低抵押贷款(undercollateralized loans)。在低抵押贷款中,贷款人既可以证明自己的信贷资质,又可以保护自己的隐私。具体而言,贷款人可以基于权威网站上的记录生成信贷资质,并隐藏姓名、地址或信用分数等敏感信息(注:只显示信用分数是否超过某一阈值)。

DECO还可以用来创建去中心化身份认证(DID)协议,比如CanDID用户可以拥有并保管自己的身份认证信息,而不是让中心化的第三方托管这些信息。这些身份认证信息由名为“issuer”的机构签名,这些权威机构可以将用户与公民身份、职业和教育背景等身份信息挂钩。DECO可以让现有web服务器成为issuer,为账户提供秘钥共享管理功能,并基于社保卡号等确定性的独特身份认证实现隐私版的抗女巫攻击功能。

最后,DECO等零知识证明方案不仅可以为用户带来价值,还能让传统机构和数据提供商将其专有的敏感数据变现,并充分保障数据隐私。最终只在链上公布零知识证明的证明结果,而数据内容不会直接公布在链上。这为数据提供商打开了新的市场。数据提供商可以变现数据并提高收入,并同时充分保障数据隐私。另外再加上Chainlink Mixicles,不仅可以保护协议中输入的数据隐私,还可以保护协议中的条款隐私。

企业和机构可以有机结合区块链网络的透明性以及零知识证明的隐私性,在最大程度上实现价值,既保护内部数据隐私,又将数据用于智能合约应用中。

标签:区块链ALIECODEC区块链dapp开发白富美alix币发行量DECODEDecentify

屎币热门资讯
区块链:区块链·世界志 | 以太坊layer2全新存储生态_cvnt币局

在当前加密货币市场中,公链赛道上的“选手”不在少数。我们看到,既有像波卡(Polkadot)、Cosmos、Nervos、IRISnet这些跨链概念公链,也有诸如Algorand、Tezos、P.

1900/1/1 0:00:00
MAR:Colonize Mars殖民火星中文游戏攻略教程_ocean-protocol

Colonize Mars 是一系列限量版数字交易卡。他们讲述了一个模拟火星殖民地的发展故事。最终愿景是创建一个 NFT 游戏 dApp,玩家可以在其中收集资源、赚取游戏货币(Martia 代币.

1900/1/1 0:00:00
元宇宙:三分钟读懂 Computecoin:用「元算力」帮助元宇宙突破性能瓶颈?_比特币牛市什么时候到

Computecoin 尝试通过集纳外部算力并将之分配给元宇宙应用终端,来满足用户对于低成本、低延迟且可信任算力的需求,目前已上线测试网.

1900/1/1 0:00:00
JUNO:Juno Network:一个不能忽略的Cosmos平台级项目_juno币最新消息

如果提起 Cosmos 生态,大多数人的第一反应往往便是跨链。的确,Cosmos 凭借高效的底层 IBC 跨链协议,以及便捷的区块链开发工具 Cosmos SDK,构建了一个欣欣向荣的多链生态系.

1900/1/1 0:00:00
DERI:Deri Protocol 去中心化衍生品赛道的遗珠_比特币价格今日行情usdt

Deri Protocol 在产品机制上采用了「交易价格按照预言机成交,全体 LP 共同承担兑付责任」,并且利用资金费率机制平衡裸头寸.

1900/1/1 0:00:00
ALD:用10条Twitter卷走3.7亿元的AnubisDAO背后是谁?_pSTAKE Staked ETH

(AnubisDAO项目头像)今夜,朋友圈又被一个跑路的“土狗”项目刷屏。晚 8 点,Twitter 认证为「 PFR Capital 创始合伙人」的用户发布动态称,AnubisDAO 项目跑路.

1900/1/1 0:00:00