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

作者：

时间：

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的计算方式。

路印发起1万枚LRC赏金激励开发者对BAMM机制进行性能分析:3月9日消息，路印官方发推称，路印CEO王东提出一种提高AMM池的资本效率的方法，称为BAMM（Bounded AMM）。官方称，该方法可能会有缺陷，因此官方将提供1万枚LRC赏金，以激励开发人员对该方法进行建模及性能分析。赏金有效期至3月15日。[2021/3/9 18:28:03]

Zcashprotocolspecification:section3.2,page14）

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

Zcashprotocolspecification:section3.2,page15）

Zcashprotocolspecification:section4.6,page41）

隐私输入是：

证明statement为：

Zcashprotocolspecification:section4.17.1,page40）

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

BTC核心开发者推出比特币地址格式Bech32改进版本:1月18日，比特币核心开发者Pieter Wuille发推宣布，推出比特币地址格式Bech32的改进版本Bech32m。根据其公布的文档，新版本修改了BIP173协议相关内容，以将Bech32m用于版本1和更高版本的本机隔离见证输出。与此同时，Bech32仍用于版本0的单独见证输出。BIP173主要是定义Bech32的通用校验和基数32编码格式。Bech32m对BIP173附带的插入漏洞做了修复。注：Bech32是一种比特币地址格式，专为与SegWit技术一起使用而创建。[2021/1/18 16:25:59]

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

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

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

???花费的note的合法性

???地址的完整性

???新note的完整性

???flag的合法性

Zcashprotocolspecification:section7.1,page119）

Parity开发者Wei Tang：OpenETC主要开发者已删除其账户:8月4日早间，Parity开发者Wei Tang发推称，OpenEthereum的一个名为OpenETC的分支，可能是有史以来最为短促的分支之一。两周前很多ETC社区成员还在推广OpenETC，但他们最终放弃了。OpenETC的主要开发者已删除他的账户。Wei Tang表示，ETC链上还有很多的匿名或假名支持者账户，他们每天都只是在随机进行无意义的指责。OpenETC是对所有人的一个警告，我们应该更加小心我们所信任的东西。此前消息，ETC客户端OpenEthereum宣布停止支持ETC。随后，ETC官方宣布OpenEthereum已被分离并命名为OpenETC。[2020/8/4]

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

???Publicinfo(1-5)

???Transparenttransactionsinfo(6-9)

???Saplingtransactionsinfo(10-16)

???Orchardtransactioninfo(17-25)

2.5.2从?transparent到?shield

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

动态 | 以太坊将举办年度开发者大会:今年的以太坊年度开发者会议将于10月30日至11月2日在捷克共和国布拉格举行。该会议是由以太坊基金会主办的一个家庭聚会，旨在进一步教育和授权以太坊社区建立更多更好的分散应用程序。受邀参加的包括Ethereum的设计师、开发人员、研究人员和艺术家。由于将涉及到平台的扩展以及对君士坦丁堡升级达成共识的潜在问题，今年的开发者大会对于以太坊项目和社区来说尤其重要。[2018/10/19]

??Publicinfo(1-5)

??Transparenttransactionsinfo(6-9)

ⅰ.tx_in_*：实际值

ⅱ.tx_out_*：默认值

??Saplingtransactionsinfo(10-16)

ⅰ.All：默认值

??Orchardtransactioninfo(17-25)

ⅰ.??All：实际值

2.5.3从?shield到?shield

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

“2018全球EOS开发者大会”在北京召开:2018年6月10日，由OracleChain（欧链）主办、蚂蚁矿池协办的“2018全球EOS开发者大会”在北京香格里拉饭店召开。OracleChain CEO赵微、火币矿池负责人曹飞、EOSLaoMao发起人老猫、EOS引力区联合创始人李万才、火星财经技术合伙人许波、EOS Pacific创始人杨扬、清华大学“青年千人”张超教授、清华x-lab主任钟宏、360安全专家彭峙酿、未来版权CEO赵聆言等嘉宾，以及全球范围20多个项目团队、数十家媒体，共同探讨EOS生态发展与技术方向。[2018/6/10]

??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?