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

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

开发者发现苹果与元宇宙相关操作系统或名为“realityOS”:金色财经报道，此前盛传苹果最快今年底或明年发布自家VR（虚拟现实）或AR（增强现实）头戴式装置进军元宇宙市场。最近已有开发者发现苹果在GitHub源代码库中引入了“realityOS”名称，此外APP Store上载条目中也都有提及“realityOS”，根据此前经验，苹果为旗下iPhone、个人电脑Mac、智能手表Apple Watch等硬件分别设有iOS、macOS、watchOS等作业系统命名，因此猜测「realityOS」名称可能是与元宇宙相关的操作系统。另外，知名开发者 Steve Troughton-Smith在社交平台发文称，据最新编程代码显示，至少可以证明“realityOS”已经有了自己的系统和二进制档案（binaries），甚至已准备好相应的模拟器。[2022/2/10 9:42:30]

Zcashprotocolspecification:section3.2,page14）

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

Zcashprotocolspecification:section3.2,page15）

YFI核心开发者：ShibaSwap目前是最小可行的版本，所有流动性都可以通过一个地址轻松窃取:yearn.finance（YFI）核心开发者banteg表示，ShibaSwap目前是最小可行的版本，所有流动性都可以通过一个地址轻松窃取，并质疑为什么人们在其中投入了超过1.2亿美元？[2021/7/6 0:31:23]

Zcashprotocolspecification:section4.6,page41）

隐私输入是：

证明statement为：

Zcashprotocolspecification:section4.17.1,page40）

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

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

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

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

???花费的note的合法性

???地址的完整性

???新note的完整性

声音 | Grin核心开发者：Mimblewinble扩展模块开发已开始:Grin核心开发人员David Burkett于12月29日发布项目十二月进度报告，在经过数月规划后，Mimblewinble扩展模块开发已正式开始，12月工作主要集中在重组Grin ++和LTC之间共享核心逻辑上，涉及到所有日志记录、序列化、加密、错误处理和通用数据结构（标头/区块/ 交易），其中大部分代码都是为Grin ++编写的。此外，David Burkett还发布了2020年1月工作计划，包括：1、确定构建方法：由于代码现在将分布在几个存储库中，因此需要稍微复杂一些的构建过程，目前倾向于使用libbitcoin构建系统的简化版本；2、定义所有LTC模型：确定标头和内核（包括签名）的确切字段和序列化格式；3、将数据库实现移至libmw-core，进行清理以匹配新标准，并加入完整的测试；4、2020年1月将为Grin开发一种更快的同步机制，LTC将直接从中受益。[2019/12/30]

???flag的合法性

Zcashprotocolspecification:section7.1,page119）

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

???Publicinfo(1-5)

动态 | 量子链与谷歌云合作推出区块链开发者工具:量子链（Qtum）宣布与谷歌云合作推出区块链开发者套件，开发者可以利用该工具在量子链上开发并部署智能合约。量子链表示，在谷歌云上发布的这套新工具通过量子链计算引擎，让任何人可以在量子链上发布全节点，进行 DApp 开发或代币质押（staking）。[2019/5/3]

???Transparenttransactionsinfo(6-9)

???Saplingtransactionsinfo(10-16)

???Orchardtransactioninfo(17-25)

2.5.2从?transparent到?shield

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

??Publicinfo(1-5)

??Transparenttransactionsinfo(6-9)

ⅰ.tx_in_*：实际值

ⅱ.tx_out_*：默认值

??Saplingtransactionsinfo(10-16)

动态 | Monero开发者确认“Wallet Bug”补丁将于4月6日发布:据themerkle报道，近日，Monero出现了一个钱包错误，这个钱包错误与Coinbase交易有关，可能给服务提供商和交易所带来一些不便。Monero开发者已确认“Wallet Bug”新补丁将于4月6日发布，以解决此问题。[2019/3/4]

ⅰ.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

标签：IONCASASHCASHBitStationATMCASH币leash币2024年NCASH币

FIL币热门资讯