宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > AVAX > 正文

开发者必读:从Zcash和Aleo的技术出发,理解隐私交易的设计原理

作者:

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

引言

从论文的角度看,Aleo的可编程隐私设计所采用的的隐私设计和早期的Zcash的白皮书更为相近,类似的Key结构,类似的Note结构,类似的称呼。本文是基于Zcash最新的论文和Aleo的ZEXE做的比较,虽然在具体的细节上有所不同,比如Key结构,具体使用的密码学方法;但是在high-level的设计上大体相同。除了前面所讲述的技术细节外,仍然存在一些其他的技术细节暂未涉及,比如delegateprover方案,零知识证明算法,递归/聚合方案等,有兴趣的同学可继续研究。Zcash

1.关于Zcash?

一个简短的视频了解Zcash,大概需要2分钟。https://zcash.readthedocs.io/en/latest/rtd_pages/basics.html特点:?匿名版的BTC,类UTXO模型?只能做支付场景,不具备可编程性2.主要概念

注意:Zcash经过多次协议升级,我们只关注最新版本。主要介绍Zcash里的各个核心概念。2.1Keycomponents

图片来源

Yearn.Finance核心开发者:Curve奖励分配已成功连接到yveCRV:Yearn.Finance核心开发者banteg发推称,策略代理已更新,Curve奖励分配已成功连接到yveCRV。[2020/11/26 22:15:31]

你可以在Zcashprotocolspecification:section4.2.3,page36了解这些Key的计算方式。2.2Note

note是Zcash协议中的基本单元,类似于BTC中的UTXO;在Zcash中,所有交易的输入和输出都是notes。当然,Zcash也支持非匿名的交易,这样和BTC的交易模式一样。所以,要想更深入的了解Zcash,得先需要了解note的数据结构:

图片来源

在Zcash的协议中,因为隐私的需求,note是不能公开的,因此,需要计算对应的commitment来代表这个note,计算方式如下:

比特币开发者:Tron、EOS等能轻易吞噬掉以太坊“ DApps”的市场份额:金色财经报道,比特币开发者Udi Wertheimer今日发推表示,像Tron/EOS /ETC这样的Shitcoins(垃圾币)很容易就会吞噬掉无用的以太坊“ DApps”的全部市场份额(诚然,市场份额很小)。这是明摆着的。人们选择以太坊的唯一原因是意识形态,而当谈到基础设施意识形态时,大多数人并没有意识形态。[2020/4/28]

图片来源2.3Actiontransfer

一笔交易里,可能包含多个actiontransfer,每个actiontransfer会花费老的note,生成新的note,其数据结构如下:

图片来源

2.4Actionstatement

公共输入是:

比特币核心开发者发布安全链上存储原型:金色财经报道,比特币核心开发者Bryan Bishop发布了安全的链上存储原型。Bishop在GitHub上推出了无须分叉的“比特币保险库”原型,并在Bitcoin Core电子邮件列表中共享。该原型的基本思想涉及以特别安全的方式将比特币存储在链上,从而可以从安全性错误中恢复过来。链上方法是Bishop的保险库与冷钱包不同的部分原因。[2020/4/14]

隐私输入是:

证明statement为:

图片来源?花费的note的完整性,和noteplaint唯一绑定?花费的note的有效性,cmtree的存在性证明?Value承诺的完整性,和rcv,oldvalue,newvalue唯一绑定?Nullifier的完整性,防止doublespend,维护一个花费的noteset?花费的note的合法性?地址的完整性?新note的完整性?flag的合法性2.5交易结构和示例

动态 | ETC核心开发者就将EIP-161纳入Atlantis硬分叉达成共识:据ETC核心开发团队Medium博客消息,5月30日,ETC核心开发者在有关Atlantis系统升级的电话会议中就将EIP-161纳入Atlantis升级达成了共识。据悉,以太坊平台存在一个DoS攻击漏洞,有人可以通过创建空帐户来增加区块链的大小。EIP-161可以通过低成本删除空账户。删除空帐户会减少区块链状态的大小,从而提高网络性能。[2019/6/1]

2.5.1交易结构

图片来源整个交易结构包含四个部分:?Publicinfo(1-5)?Transparenttransactionsinfo(6-9)?Saplingtransactionsinfo(10-16)?Orchardtransactioninfo(17-25)2.5.2从transparent到shieldOrchard协议里包含两种地址,transparentaddress(TA)和shieldaddress(SA)。一般,为了执行隐私交易,需要先从TA往SA转账,此时对应的交易结构应为:?Publicinfo(1-5)?Transparenttransactionsinfo(6-9)ⅰ.tx_in_*:实际值ⅱ.tx_out_*:默认值?Saplingtransactionsinfo(10-16)ⅰ.All:默认值?Orchardtransactioninfo(17-25)ⅰ.All:实际值2.5.3从shield到shieldOrchard协议里包含两种地址,transparentaddress(TA)和shieldaddress(SA)。一般,为了执行隐私交易,需要先从TA往SA转账,此时对应的交易结构应为:?Publicinfo(1-5)?Transparenttransactionsinfo(6-9)ⅰ.All:默认值?Saplingtransactionsinfo(10-16)ⅰ.All:默认值?Orchardtransactioninfo(17-25)ⅰ.All:实际值2.5.4从shield到transparentOrchard协议里包含两种地址,transparentaddress(TA)和shieldaddress(SA)。一般,为了执行隐私交易,需要先从TA往SA转账,此时对应的交易结构应为:?Publicinfo(1-5)?Transparenttransactionsinfo(6-9)ⅰ.tx_in_*:默认值ⅱ.tx_out_*:实际值?Saplingtransactionsinfo(10-16)ⅰ.All:默认值?Orchardtransactioninfo(17-25)ⅰ.All:实际值2.6如何实现隐私?

动态 | 以太坊开发者提出“可逆ICO”:据coindesk报道,周二在位于布拉格的以太坊年度开发者大会Devcon4上,开发人员Fabian Vogelsteller提出了“可逆ICO”或RICO概念,允许代币投资者在该项目生命周期的任何阶段收回他们的资金,旨在使投资方案对潜在投资者更安全。具体而言,该概念涉及创建一种特殊用途的智能合约,允许投资者“扭转其资金承诺”。[2018/10/31]

?Unlinkable生成的note用cm表示,花费的note用nf表示,nf和cm之间无任何联系,因此,任何人都无法通过这些信息去判断任何一个被生成的note是在哪一笔交易里被花费的。?Privateⅰ.Senderaddress:交易信息里不包含sender地址且spendAuthSig为一次性签名。ⅱ.Receiveraddress:交易里不包含receiver的地址且新的Noteplaint用的是recevier的公钥加密。ⅲ.Value:用pedersencommitment形式隐藏Note,且通过bindsig来保证交易的balance属性。Aleo

1.和Zcash的异同

Zcash只能执行基于OUTX模型的隐私交易,不具备可编程性;因此,Aleo和Zcash最主要的区别是隐私可编程性;相同点是都支持隐私属性。2.AleoVSZcash

2.1Unit

和Zcash的note不同,Aleo里的基本操作单元是record,下面让我们看一下两者的主要区别:

图片来源

图片来源虽然具体参数名称不相同,但是从功能角度来看,两者之间具有对应关系:

分别对应note拥有者的地址信息,承诺相关信息,nf/sn相关信息,value相关信息。所以,两者结构基本类似;主要的区别在于record里的birthpredicate,deathpredicate。这是两个Boolean类型的函数,代表着,当一个record在birth(generate)和death(spend)阶段,分别需要满足的条件,这一块是支持user-defined,因此具有可编程性。2.2交易结构

图片来源和Zcash(2.5.1)的交易主要结构相比,仍然相似:?消费的record对应的序列号sn,在Zcash里用nf表示,都是具有全局唯一性。?新生成的record对应的承诺。?新生成record的plaint,包括拥有者信息,对应的birth/deathpredicate等。2.3Proverstatement

图片来源需要证明:?Oldrecord的有效性?Oldrecord的合法性?Newrecord的有效性?Birth/Deathpredicate的有效性3.其他

3.1为什么都是utox-based,不是account-based?

Remark2.3参考

1.(Zcash)Zcashprotocolspecification:https://zips.z.cash/protocol/protocol.pdf2.(Aleo)Zexeprotocolspecification:https://eprint.iacr.org/2018/962.pdf3.协议升级:https://z.cash/upgrade/4.zerocash:https://eprint.iacr.org/2014/349.pdf关于我们

Sin7y成立于2021年,由顶尖的区块链开发者组成。我们既是项目孵化器也是区块链技术研究团队,探索EVM、Layer2、跨链、隐私计算、自主支付解决方案等最重要和最前沿的技术。微信公众号:Sin7YGitHub|Twitter|Telegram|Medium|Mirror|HackMD|HackerNoon

标签:CASHASHCASTRANSIQ CashNASH币Warp CashTranscodium

AVAX热门资讯
盘点为DeFi赋能的10个NFT项目

我研究了10个项目,以弄清两个问题:为什么?它们能带来哪些额外好处?加密项目成功的关键是?技术创新只是成功创建加密项目的一个方面。社区是另一个关键因素。因为我们关心一个项目的动力源于对一个志同道合的群体的归属感.

1900/1/1 0:00:00
Foresight Ventures市场周报:ETH利好落地,重回熊市轨道

市场观点 宏观流动性 货币流动性整体紧缩。美国8月CPI是8.3%,不及市场预期的8.1%。虽然油价下跌,但住房、食品等核心CPI为6.1%,超过7月的5.9%.

1900/1/1 0:00:00
DAOs的社会史:从Cypherpunks到Web3

DAOs作为一种社会技术发展产物,因何而起,一直是一个有趣且重要的话题。DAOrayaki去中心化编辑委员会对《DAOs的发展起源》进行策展,往期文章DAOrayaki|DAO与组织管理发展史,DAOrayaki|DAO的史前史-合作.

1900/1/1 0:00:00
全景解读去中心化身份赛道:DID灵魂三问

关于DID的讨论随处可见,但DID的概念似乎有些宽泛、令人困惑;你是否期待有人能帮你把DID这件事给梳理清楚?那就请不要错过本文!摘要DID现在一般是「去中心化身份」的简称,它是一种没有中心化机构做最终担保的数字身份.

1900/1/1 0:00:00
落幕与新章:「后Merge时代」显卡算力何去何从?

索引:北京时间2022年9月15日14时42分,以太坊执行层于区块高度15537393完成与信标链的合并,并在下一个区块高度成功出块,恭喜以太坊顺利通过了PoS的大考.

1900/1/1 0:00:00
美FSOC报告:加密货币需要「适当监管」

:"\u003Cp\u003E本文来自\u003Cahref=\"https:\u002F\u002Fdecrypt.

1900/1/1 0:00:00