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

zerocash）更为相近，类似的Key结构，类似的Note结构，类似的称呼。本文是基于Zcash最新的论文和Aleo的ZEXE做的比较，虽然在具体的细节上有所不同，比如Key结构，具体使用的密码学方法；但是在high-level的设计上大体相同。

除了前面所讲述的技术细节外，仍然存在一些其他的技术细节暂未涉及，比如delegateprover方案，零知识证明算法，递归/聚合方案等，有兴趣的同学可继续研究。

1.关于Zcash？

一个简短的视频了解Zcash，大概需要2分钟。

https://zcash.readthedocs.io/en/latest/rtd_pages/basics.html

特点：

?匿名版的BTC，类UTXO模型

?只能做支付场景，不具备可编程性

协议升级，我们只关注最新版本。主要介绍Zcash里的各个核心概念。

Zcashprotocolspecification:section3.1,page12）

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

Tornado Cash开发者律师就Chainalysis提供的证据提出质疑:5月24日消息，Tornado Cash开发者Alexey Pertsev的律师质疑Chainalysis提供的证据，并表示其提供的证据不足以证明Tornado Cash与犯罪相关资金有关。法院已允许律师Keith Cheng对Chainalysis收集数据的方式进行询问。[2023/5/24 22:15:15]

Zcashprotocolspecification:section3.2,page14）

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

Zcashprotocolspecification:section3.2,page15）

Zcashprotocolspecification:section4.6,page41）

隐私输入是：

证明statement为：

Zcashprotocolspecification:section4.17.1,page40）

???花费的note的完整性，和noteplaint唯一绑定

比特币核心开发者被盗超过200枚比特币，币安团队已展开监测:1月2日消息，比特币核心开发者LukeDashjr推特发文称其PGP密钥遭泄露，导致200枚以上比特币被盗，约合350万美元。币安CEO赵长鹏随后在推特回应称，自我托管存在风险，币安安全团队已进行监测并尽可能提供帮助。[2023/1/2 22:20:37]

???花费的note的有效性，cmtree的存在性证明

???Value承诺的完整性，和rcv,oldvalue,newvalue唯一绑定

???Nullifier的完整性，防止doublespend，维护一个花费的noteset

???花费的note的合法性

???地址的完整性

???新note的完整性

???flag的合法性

Zcashprotocolspecification:section7.1,page119）

整个交易结构包含四个部分：

???Publicinfo(1-5)

???Transparenttransactionsinfo(6-9)

???Saplingtransactionsinfo(10-16)

Terra开发者发布重振LUNA生态系统的4年计划:金色财经报道，Terra 开发者发布了一项新提案“Terra Expedition”，该提案是最初在 Terra 区块链启动时定义的开发者挖矿计划和开发者联盟计划的修订版。该计划将由新 Terra 链启动时指定的 LUNA 总供应量的 9.5% 资助，该激励计划将运行 4 年，由社区选举委员会管理，每 12 个月评估一次。修订后的提案旨在更好地协调整个生态系统的激励措施，并专注于吸引开发人员、新用户、以及促进深度流动性。提案中写道：Terra Expedition 是一个为期 4 年的计划，旨在通过一系列具有 3 个主要目标的举措来发展 Terra 生态系统，即：激励开发人员在 Terra 上构建、加深 Terra 上的流动性以及让用户加入 Terra。（coindesk）[2022/10/19 16:30:22]

???Orchardtransactioninfo(17-25)

2.5.2从?transparent到?shield

Orchard协议里包含两种地址，transparentaddress(TA)和shieldaddress(SA)。一般，为了执行隐私交易，需要先从TA往SA转账，此时对应的交易结构应为：

Parity开发者：OpenEthereum和MultiGeth是支持ETC时间最长的客户端:7月23日，Parity开发者Wei Tang发推文称，一个很小但有趣的事实是，OpenEthereum和MultiGeth是两个支持ETC时间最长的客户端。其中，OpenEthereum是4年，MultiGeth为2年。其他客户端支持ETC的时间都没有超过一年。其中，Hyperledger Besu从去年9月开始支持ETC，CoreGeth在今年春天开始从MultiGeth分离出来支持ETC，OpenETC则是刚刚开始支持ETC。（注：7月22日，ETC官方宣布OpenEthereum已被分离并命名为OpenETC。）此前7月17日消息，Wei Tang发推称，OpenEthereum、MultiGeth宣布停止支持ETC。原因是在Phoenix硬分叉后，ETC网络放弃了遵循最大共识和用户选择的不变性原则。而随后这一说法遭到ETC亚太社区经理反驳，并称停止支持的原因是OpenEthereum维护者Gnosis希望将其有限的精力投入到以太坊主网开发中。随后，CoreGeth作为ETC Core官方维护客户端继续服务于ETC网络。[2020/7/23]

??Publicinfo(1-5)

??Transparenttransactionsinfo(6-9)

动态 | 以太坊开发者consensus sys削减了13%的劳动力:据coincryptorama报道，Ethereum开发工作室consensus sys在周四发布的一篇文章中宣布，该公司正在裁员约13%。Coindesk称，该公司的管理人员已经证实了这一消息。几天前，该公司创始人约瑟夫?卢宾(Joseph Lubin)对所有员工表示，公司需要重新调整工作重点，因为他们希望使用“共识系统2.0”来精简运营，保持竞争力。[2018/12/11]

ⅰ.tx_in_*：实际值

ⅱ.tx_out_*：默认值

??Saplingtransactionsinfo(10-16)

ⅰ.All：默认值

??Orchardtransactioninfo(17-25)

ⅰ.??All：实际值

2.5.3从?shield到?shield

Orchard协议里包含两种地址，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到?transparent

Orchard协议里包含两种地址，transparentaddress(TA)和shieldaddress(SA)。一般，为了执行隐私交易，需要先从TA往SA转账，此时对应的交易结构应为：

??Publicinfo(1-5)

??Transparenttransactionsinfo(6-9)

ⅰ.?tx_in_*：默认值

ⅱ.?tx_out_*：实际值

??Saplingtransactionsinfo(10-16)

ⅰ.?All：默认值

??Orchardtransactioninfo(17-25)

ⅰ.?All：实际值

??Unlinkable

生成的note用cm表示，花费的note用nf表示，nf和cm之间无任何联系，因此，任何人都无法通过这些信息去判断任何一个被生成的note是在哪一笔交易里被花费的。

??Private

ⅰ.?Senderaddress：

交易信息里不包含sender地址且spendAuthSig为一次性签名。

ⅱ.?Receiveraddress：

交易里不包含receiver的地址且新的Noteplaint用的是recevier的公钥加密。

ⅲ.Value：

用pedersencommitment形式隐藏Note，且通过bindsig来保证交易的balance属性。

1.和Zcash的异同

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

2.1Unit

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

Zcashprotocolspecification:section3.2,page14）

Zexeprotocolspecification:section3.1,page17）

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

分别对应note拥有者的地址信息，承诺相关信息,nf/sn相关信息，value相关信息。

所以，两者结构基本类似；主要的区别在于record里的birthpredicate，deathpredicate。这是两个Boolean类型的函数，代表着，当一个record在birth(generate)和death(spend)阶段，分别需要满足的条件，这一块是支持user-defined，因此具有可编程性。

Zexeprotocolspecification:section3.1,page17）

和Zcash(2.5.1)的交易主要结构相比，仍然相似：

??消费的record对应的序列号sn，在Zcash里用nf表示，都是具有全局唯一性。

?新生成的record对应的承诺。

?新生成record的plaint，包括拥有者信息，对应的birth/deathpredicate等。

Zexeprotocolspecification:section2.4,page13）

需要证明：

??Oldrecord的有效性

??Oldrecord的合法性

??Newrecord的有效性

??Birth/Deathpredicate的有效性

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

Remark2.3

https://zips.z.cash/protocol/protocol.pdf

2.(Aleo)Zexeprotocolspecification：

https://eprint.iacr.org/2018/962.pdf

3.协议升级：https://z.cash/upgrade/

4.zerocash：https://eprint.iacr.org/2014/349.pdf

关于我们

Sin7y成立于2021年，由顶尖的区块链开发者组成。我们既是项目孵化器也是区块链技术研究团队，探索EVM、Layer2、跨链、隐私计算、自主支付解决方案等最重要和最前沿的技术。

微信公众号：Sin7Y

GitHub?|?Twitter?|?Telegram?|?Medium|?Mirror?|?HackMD?|?HackerNoon

标签：IONASHCASCASHMINIONS价格Lightening CashPepe CashLilith Cash Share

POL币最新价格热门资讯