木星链 木星链
Ctrl+D收藏木星链

ARK:漫谈隐私交易方面的技术发展演变

作者:

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

你愿意公开你的钱包地址并且让所有人都知道你有多少钱吗?你愿意让所有人知道你的投资偏好、每笔支出吗?我想很多人是不愿意的。要实现这些数据的隐私保护,就需要用隐私协议。

市场上一直有以隐私为卖点的数字货币,包括DASH、XMR、Zcash、Grin、Rose、FRA、PHA、SCRT等,加密行业发展的十几年中,隐私板块一直都占有一席之地。

如果进一步将隐私赛道进行细分,可分为隐私计算网络、隐私交易协议、隐私应用、隐私币等四类。其中隐私币发展最早,隐私应用中的Tornado目前被采用较广,隐私交易协议和隐私计算网络目前最受关注。

本文篇幅有限,只从技术发展和演变的角度漫谈隐私交易相关的技术实现方案的发展情况。

加密货币发展至今,主要有以下四类实现隐私交易的技术方案:

一、CoinJion

CoinJoin:CoinJoin是一种混币机制,从不同的发送方那里获取代币,并将它们组合成一笔交易。第三方将代币打包发送给接收方。在用户端,每个接收方都会在一个从未使用过的地址中获得他/她的代币。以此来降低特定交易被追踪的可能性。

DASH币是采用CoinJion技术实现隐私交易的典型案例。DASH币诞生于2014年,并非以隐私为唯一目的,而是将隐私交易作为提供给用户的一种选择,用户可以选择采用PrivateSend功能来进行隐私交易,也可以选择正常交易。

在机制方面,DASH网络通过更高的奖励收益,鼓励矿工充当主节点,每个主节点矿工都有1000个DASH币作为缓冲资金。每个发起交易的用户都可以使用这些缓冲资金,从而达到“混币”的效果。由于混币的存在,交易信息被打乱,难以追踪,从而达到隐私保护的效果。

二、隐匿地址+环签名

隐匿地址:创建隐匿地址意味着每次接收加密货币时都会创建一个新地址。它确保外部各方无法将支付的地址与永久钱包地址联系起来。

Spiral DAO向DeFi用户空投的计划将延迟3周执行:4月10日,据官方推特,Spiral DAO计划将初始代币供应的3-5%空投至现有的Balancer、CRV、FXS和SDT质押者以及其他DeFi用户的计划将延迟3周执行,持有金额大于指定阈值的用户才有资格获得空投。

据悉,Spiral DAO采取了一种新颖的DAO模型,将创新带入流动性挖矿、贿赂市场和VeTokenomics。Spiral DAO向其用户分发原生代币奖励,为流动性提供者(LP)提供额外的收益提升和激励。[2023/4/10 13:55:00]

环签名:区块链交易需要数字签名来验证签名人是发送方,因为每个用户的签名都是唯一的,所以当用户签名时就不难追溯到与签名人所进行的交易。环签名策略是将签名与其他环成员的签名结合在一起:环成员签名的数量越多,直接将签名人与其交易联系起来就越困难。

门罗币XMR是采用隐匿地址+环签名的组合模式实现隐私保护。门罗币并非选择性隐私,而是完全隐私。门罗币为每个钱包所有者提供一个新的私有视图密钥、收件人地址和一个私有消费密钥。而且XMR挖矿用一般电脑CPU即可完成,不需要专业矿机,这一定程度上让XMR更加去中心化。

门罗币为了进一步提高隐私保护的有效性,发展过程中还进行了多次技术升级。为了将交易金额隐藏,RING-CT应运而生;使用了RING-CT后,门罗区块链的隐私性能获得提高,但可扩展性方面有所牺牲,故而在后来又引入了Bulletproofs这种零知识证明协议,它提高了XMR的交易规模、减少了80%的验证时间。

三、Mimblewimble

Mimblewimble这个词来源于《哈利波特》中的咒语“混淆咒”,主要有Grin和Beam两个项目使用了这个隐私协议。Mimblewimble所用技术包括了Confidential?Transaction、CoinJoin和Cut-through。

Injective测试网集成Pyth Network,允许开发者构建DApp以访问机构数据:3月22日消息,Cosmos生态智能合约平台Injective测试网集成预言机Pyth Network,允许开发者构建DApp以访问各种资产的高保真、高频市场数据。这是Pyth数据首次支持Cosmos生态系统。Pyth Network引入一种创新的按需拉动模型预言机,用户可以在需要时将可用价格推送到链上,并使该区块链环境中的每个人都能够访问该数据点。Pyth在Injective上运行由Wormhole实现。发布者能够以交易的形式将数据直接发送到Pyth,随后将这些数据资产放在链上。当目标链(如Injective)请求数据时,Pyth能够通过Wormhole发送数据。[2023/3/22 13:20:06]

Mimblewimble协议是在匿名性和可扩展性之间找Tradeoff的方案,这是一个为基于output模型的公有账本提供加密货币隐私性的设计方案,并不涉及共识层,所以可用在几乎任何共识规则上。

最初提出Mimblewimble的目的是为了给比特币提供隐私性。使用该技术后,可以让账户归属、交易关联和交易金额隐藏起来;还可以“洗币”,在比特币中有些币会被标记为“赃款”,很多机构会拒绝接收这些币,通过MimbleWimble技术可以实现洗币效果。

四、零知识证明类

零知识证明(Zero-KnowledgeProof),是指证明者能够在不向验证者提供超过陈述本身有效性的信息的情况下,使验证者相信某个论断是正确/真实的。

零知识证明首先是由Goldwasser、Micali和Rackoff在1989年进行理论化。目前零知识证明在区块链行业主要用于两个方面:隐私保护、可扩展性。本文主要介绍零知识证明在保护隐私方面的应用。

零知识证明用于隐私保护,最早是在Zcash上进行实践,后面逐渐有Aztec、MantaNetwork、StarkWare等诸多项目采用零知识证明机制,并演变了很多项新技术。

数据:801455枚LINK从Binance转移至未知钱包:金色财经报道,Whale Alert数据显示,801,455 LINK(价值5,562,393美元)从Binance转移至未知钱包地址。[2022/11/11 12:51:13]

通过“阿里巴巴和四十大盗”的例子来介绍零知识证明机制:

阿里巴巴是证明者,大盗是验证者。大盗抓住了阿里巴巴,要他说出打开藏着宝藏的山洞的咒语,否则就要杀他。如果阿里巴巴直接说出咒语,有可能会因失去利用价值而被杀死;如果阿里巴巴坚持不说,大盗就会认为他不知道咒语,也会杀他。阿里巴巴想了个办法,要求大盗距离他一箭之地,如果阿里巴巴念咒语打不开山洞的石门或者逃跑,大盗就可以用弓箭射死他。

通过这种方式,阿里巴巴能够在距离大盗足够远的位置,证明他确实掌握咒语。这个过程阿里巴巴没有直接透露咒语是什么,但是能够使大盗相信某个论断是真实的。

zk-SNARK

zk-SNARK的全称是"?Zero-Knowledge?Succinct?Non-InteractiveArgument?ofKnowledge",中文名称为“零知识简洁的非交互知识论证”。zk-SNARK是以色列理工学院的Ben-Sasson等人在2014年的Zerocash论文中提出的,是目前应用最广泛的零知识证明类隐私技术,直接部署zk-SNARK算法的知名项目有Zcash、Loopring等。它允许人们证明自己拥有特定的信息,而无需透露信息的内容。

zk-SNARK是一个将零知识证明机制转化成计算机程序语言的技术。基本逻辑如下图:

zk-SNARK具体实现了怎样的隐私呢?zk-SNARK实现了完全的隐私,不仅隐藏了交易双方的地址和交易的金额,而且连节点都不知道交易的内容。但zk-SNARK的缺点是它需要可信初始设置,这个设置无论怎样设置,终归有些潜在安全隐患。

以太坊清算额自合并以来已超7.5亿美元:金色财经报道,加密市场数据平台Coinglass 的统计数据显示,自9月15日以来,以太坊已清算 7.5911 亿美元,其中超过 4.97 亿美元来自持有多头头寸的看涨加密货币交易者,占比约为70%。KoinBasket 的创始人兼首席执行官 Khaleelulla Baig 表示,以太坊在合并后失去动力的主要原因是美国政府表示将以太坊视为证券而非商品,从而对更严格的监管和税收影响产生恐惧和不确定性。CoinDCX联合创始人 Neeraj Khandelwal 则认为,ETH产生下行压力是因为一些投机头寸正在平仓,并且来自之前积累了大量 ETH 头寸的以太坊矿工的抛售压力。(investing)[2022/9/25 7:19:35]

在zk-SNARK的基础上,为了提高隐私性的同时也兼顾交易容量和交易成本的优化,后面又衍生出了Bulletproofs、zk-STARK、Sonic、PLONK、Supersonic等新型零知识证明。

Bulletproofs

相较于zk-SNARK,Bulletproofs不需要可信初始设置,但验证Bulletproofs比验证zk-SNARK证明更耗时,Bulletproofs被应用在了XMR项目中,以提高XMR的交易规模并减少其80%验证时间。

zk-STARK

zk-STARK的英文全程为Zero-KnowledgeScalableTransparentArgumentofKnowledge,“零知识可拓展的透明知识论证”。zk-STARK是由StarkWare研发的,使用新颖的密码学证明和现代带书来强制区块链上计算的完整性和隐私性,StarkEx采用了zk-STARK技术。zk-STARK允许区块链将计算转移到单个链下STARK证明者,然后使用链上STARK验证器验证这些计算的完整性。

“独角兽”加密交易平台CoinSwitch Kuber三位高管离职:金色财经报道,根据加密交易平台CoinSwitch Kuber发布的一份最新声明显示,该平台三位高管已宣布离职,分别是首席财务官 Sarmad Nazki、首席商务官 Sharan Nair 和新项目计划负责人 Krishna Hegde,声明称三人将于8月5日离开公司,后续可能会联合创立一家新的Web3公司。CoinSwitch Kuber此前曾以19亿美元估值从美国风险投资公司 Andreesen Horowitz (a16z) 和 Coinbase Ventures 筹集了 2.6 亿美元,是一家加密独角兽公司。(livemint)[2022/7/8 1:59:21]

相较于zk-SNARK,zk-STARK被认为是一种更快、成本更低的技术实现,因为其计算量增加,但证明者和验证者之间的通信量保持不变,因此zk-STARK的整体数据量要远远小于zk-SNARK证明中的数据量。而且zk-STARK不需要初始可信设置,因为通过抗碰撞哈希函数,它们依赖于更简洁的加密技术。总体而言,zk-SNARK在完善和采用方面取得了重大进展,而zk-STARK则填补了zk-SNARK证明的许多缺陷而被认为是协议的改进版,但zk-STARK采取链下计算链上验证的方式,在安全性方面似乎不如zk-SNARK。

Sonic

伦敦大学的SarahMeiklejohn、爱丁堡大学的MarkulfKohlweiss和Zcash的SeanBowe提出了一种名为Sonic的零知识证明协议,Sonic是一种通用的SNARK,也就是说,只需要一个设置,它就可以验证任何可能。

Sonic的出现,让零知识证明的演变向前迈出了一大步。不过Sonic的速度降低了,因为与非通用SNARK相比,Sonic的证明构建时间增加了约2个数量级,所以目前并没有知名隐私项目是采用Sonic技术方案。

PLONK

PLONK是Aztec协议的CTOZacharyWilliamson、首席科学家ArielGabizon合作开发的高效通用zk-SNARK。ArielGabizon和ZacWilliamson在伦敦BinaryDistrict研讨会上的一次偶然会面中研发了PLONK。

这是一种全新的高效通用zk-SNARK,PLONK只需要一个可信设置,所有程序都可以重复使用这个设置,这项技术还获得了Vitalik转发。PLONK有多快?在完全标准的硬件上,PLONK能够在23秒内通过超过100万个门的电路。这里没有服务器场或HPC集群——这些数据来自MicrosoftSurface平板电脑。

以Aztec为例,简述基于PLONK的隐私协议Aztec的工作原理:

首先,Aztec需要一个可信初始设置——IgnitionCRS。最初的时候Aztec在全球随机召集了200名参与者,分别获得IgnitionCRS。这200名参与者都会创造随机性——这是Aztec证明安全性的基础。

然后,Aztec常规的隐私交易可理解为一个UTXO。类似比特币的运作方式,但Aztec的区别在于交易需要加密。所以,以太坊会验证这个UTXO是否正确——即检查60+40=?75+25。

具体怎么检查呢?先检查input?note?=?output?note;为了防止环绕攻击,又设置了RangeProof,所以Aztec改为部署集合成员证明——交易要想获得Aztec密码引擎的批准,用户需要证明它们形成了来自Codex的输出注释。这一系列之后,才能成功验证UTXO正确与否。

Aztec要实现的隐私,包括三个方面:一是数据隐私,Aztec可以将交易金额进行加密隐藏;二是用户隐私,观看网络的人无法再确定发件人和收件人ID;三是代码隐私,可以将使用了AztecSDK的dApp的智能合约代码也隐私化。其中第一项已经实现,后两项尚未实现。

SuperSonic

SuperSonic技术结合了Sonic和DARK证明,是个无需可信设置的短证明,100万逻辑门的前提下可以将证明大小压缩到10-20KB,甚至还有优化空间,该技术首次被应用在金融公链Findora上。

零知识证明系列技术方案在验证证明大小、验证速度、是否需要可信设置和应用案例方面的对比如下表:

总体而言,这些高效通用SNARK的出现,允许通过最多一个MPC设置实现Web3的隐私和扩展,使得我们能够在所有用户设备上生成隐私交易,也可以在公共网络上有效地执行这些隐私交易。从而大大推动了隐私领域的发展步伐。

根据隐私交易领域的发展现状,可能在不久的未来会呈现以下两点趋势:

1、当前阶段隐私交易使用率还较低,随着技术更迭有望获得提高。

隐私交易使用率较低主要有三个原因:一是技术门槛过高,早期的隐私交易对大多数普通用户而言使用体验不友好,尽管Zcash、XMR之类的隐私币已经存在多年,但绝大多数普通人都没真正用过它们;二是隐私交易的需求还没有被普及,以前谈起隐私交易,大家潜意识里都认为只有见不得光的一些交易才需要隐私交易,人们对于隐藏自己在链上的交易、转账/支付等行为及金额的意识还比较弱,随着DeFi等链上交易的爆发,人们对链上交易的隐私保护的意识正在觉醒;三是早期的隐私协议并没有提供用户真正想要使用的货币,比如ETH、USDC、DAI主流链上资产等,普通用户为了保持隐私而特意去选择使用隐私币的概率不高。

2、主流区块链部署隐私功能,或许是隐私领域发展的最终趋势。

隐私币作为一个独立的存在,可能不会再受到追捧和欢迎,尤其是经过前面几年各国监管的围追堵截。例如,受FATF规则影响,2019年时CoinbaseUK下架了Zcash,而OKEx韩国则下架了Monero、Dash、Zcash、ZCache、Horizon和SuperBitcoin等六种加密货币。

但隐私交易这个需求是真实存在的,而且一直会有这个需求,有需求就有市场。根据近期行业内最受关注的隐私项目类型来看,在比特币、以太坊、Polkadot等为代表的主流区块链中纳入隐私保护功能的方式可能会成为一种趋势。

在比特币交易中使用Coinjion技术,这是目前使用较广泛的用于隐藏交易信息的混币器服务,Mixers是通过第三方将比特币发币方地址和收币方地址的联系打乱从而隐藏交易信息的一种服务。

在以太坊上关注度最高的隐私解决方案是零知识证明系列。Vitalik曾讲过“零知识证明是最强大的隐私解决方案,尽管技术实现难度最高,但在保护在以太坊网络的隐私性和安全性上,效果最佳。”而零知识证明类隐私解决方案中,较受推崇的当属Aztec的PLONK技术。

在Polkadot生态也有一个较受关注的隐私交易项目——MantaNetwork。它是由P0xeidenLabs构建的zk-SNARK类型的隐私协议,MantaNetwork部署在Polkadot,其测试网Calamari则部署于Kusama,据该项目官网规划,未来还计划在Avalanche、Near等公链部署相应隐私协议。MantaNetwork计划推出一个多资产去中心化匿名支付协议MantaPay,以及一个由zk-SNARK提供支持的AMM机制的去中心化交易协议MantaSwap。

总而言之,隐私交易是个真实存在的市场需求,这个赛道的发展值得持续关注。随着链上交易的数量和资金量的增长,这部分市场需求也会相应增长。

参考资料:

1、https://vitalik.ca/general/2022/06/15/using_snarks.html

2、https://developers.aztec.network/

3、https://emphasized-seed-161.notion.site/PVM-P0xeidon-VM-primer-5bf16a3ef16e4a8696e99ede6d71ea95

来源:金色财经

标签:ARKNAROINSTARQuark Block Chainlunar币是什么币xcoinpayKaraStar UMY

Gate交易所热门资讯
区块链:如何利用区块链等技术将碳资产数字化?

万向区块链推出了「万碳魔方」服务平台,利用区块链、物联网等数字化技术的融合,来使不可见、不可触摸的碳变成可交易的资产.

1900/1/1 0:00:00
比特币: 比特币崩了:瞬间暴跌1000美金 又有巨头跑路?

 比特币崩了:瞬间暴跌1000美金又有巨头跑路?  18日下午2点50分左右,比特币突然暴跌,10分钟之内跌近1000美元.

1900/1/1 0:00:00
SOL:俄乌战争下的粮食

俄乌战争已经持续百日之久,在俄美两方博弈的情况下,西方对其的经济制裁又进行看加剧,而这场战争锁被波及的国家却远不止于此,俄罗斯和乌克兰的粮食出口加在一块达到了全球粮食出口的五分之一.

1900/1/1 0:00:00
NFT:动态 NFT 及其十大应用场景

动态NFT包含智能合约,能在保留NFT唯一标识性的同时更新元数据,它拥有着许多振奋人心的用例,深刻地影响着我们的数字体验。1.什么是动态NFT在讲动态NFT之前,我们先提一下静态NFT.

1900/1/1 0:00:00
NFT:一文盘点值得关注的Move to Earn加密应用

跑步作为门槛最低的日常运动之一,只要你愿意走出家门,就能够参与其中,而把跑步和代币奖励有机结合,帮助STEPN快速建立了可观的用户规模.

1900/1/1 0:00:00
区块链:横向流动性:加密资产的价值如何跨链

跨链方案也存在着三难问题:去信任化、可扩展性和可通用性。流动性的本质是价值交换。近年来,以太坊的市场占有率逐渐下降,越来越多的公链被广泛地使用.

1900/1/1 0:00:00