風險提示:防範以"虛擬貨幣""區塊鏈"名義進行非法集資的風險。——銀保監會等五部門
資訊
發現
搜索
登錄
简中
繁中
English
日本語
한국어
ภาษาไทย
Tiếng Việt
BTC
ETH
HTX
SOL
BNB
查看行情
開發者必讀:從Zcash和Aleo的技術出發,理解隱私交易的設計原理
Sin7y
特邀专栏作者
2022-10-02 07:30
本文約4004字,閱讀全文需要約6分鐘
分析Zcash和Aleo的技術異同,理解隱私交易的設計原理。

引言

一級標題zerocash引言zerocash一級標題

從論文的角度看,Aleo的可編程隱私設計所採用的的隱私設計和早期的Zcash的白皮書(

Zcash

一級標題

一級標題

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

特點:

一級標題

1. 關於Zcash?

• 匿名版的BTC,類UTXO模型

一級標題2. 主要概念圖片描述

2.1 Key components

二級標題
Zcash protocol specification: section 3.1, page 12

圖片描述Zcash protocol specification: section 4.2.3, page 36你可以在

2.2 Note

二級標題

你可以在

二級標題
Zcash protocol specification: section 3.2, page 14

二級標題

圖片描述
Zcash protocol specification: section 3.2, page 15

2.3 Action transfer

二級標題

圖片描述
Zcash protocol specification: section 4.6, page 41

2.4 Action statement

圖片描述

二級標題

二級標題

二級標題
Zcash protocol specification: section 4.17.1, page 40

圖片描述

隱私輸入是:

圖片描述

證明statement為:

圖片描述

圖片來源

• 花費的note的完整性,和noteplaint唯一綁定

• Value承諾的完整性,和rcv, old value, new value唯一綁定

• Nullifier的完整性,防止double spend,維護一個花費的note set

• 新note的完整性

• flag的合法性
Zcash protocol specification: section 7.1, page 119

圖片描述

•  Public info (1 - 5)

•  Transparent transactions info (6 - 9)

•  Sapling transactions info (10 - 16)

•  Orchard transaction info (17 - 25)

2.5 交易結構和示例

圖片描述

• Public info (1 - 5)

• Transparent transactions info (6 - 9)

2.5.1 交易結構

圖片描述

• Sapling transactions info (10 - 16)

圖片來源

• Orchard transaction info (17 - 25)

整個交易結構包含四個部分:

2.5.2 從transparent 到shield

Orchard協議裡包含兩種地址, transparent address(TA) 和shield address(SA)。一般,為了執行隱私交易,需要先從TA往SA轉賬,此時對應的交易結構應為:

• Public info (1 - 5)

• Transparent transactions info (6 - 9)

ⅰ. tx_in_*:實際值

• Sapling transactions info (10 - 16)

ⅱ. tx_out_*:默認值

• Orchard transaction info (17 - 25)

ⅰ. All:默認值

ⅰ. All:實際值

2.5.3 從shield 到shield

• Public info (1 - 5)

• Transparent transactions info (6 - 9)

Orchard協議裡包含兩種地址, transparent address(TA) 和shield address(SA)。一般,為了執行隱私交易,需要先從TA往SA轉賬,此時對應的交易結構應為:

ⅰ. All:默認值

• Sapling transactions info (10 - 16)

ⅰ. All:默認值

• Orchard transaction info (17 - 25)

ⅰ. tx_in_*:默認值

二級標題

• Unlinkable

二級標題

• Private

ⅰ. Sender address:

正文

ⅱ. Receiver address:

二級標題

ⅲ. Value:

生成的note用cm表示,花費的note用nf表示,nf和cm之間無任何联系,因此,任何人都無法通過這些信息去判斷任何一個被生成的note是在哪一筆交易裡被花費的。

Aleo

一級標題

二級標題

2. Aleo VS Zcash

2.1 Unit

二級標題

圖片描述
Zcash protocol specification: section 3.2, page 14

圖片描述
Zexe protocol specification: section 3.1, page 17

圖片描述

圖片描述

圖片來源

二級標題

二級標題
Zexe protocol specification: section 3.1, page 17

圖片描述

二級標題

圖片描述

▪ 新生成record的plaint,包括擁有者信息,對應的birth/death predicate等。

2.3 Prover statement

二級標題
Zexe protocol specification: section 2.4, page 13

圖片描述

二級標題

圖片描述

二級標題

▪ ▪ Old record的有效性

一級標題

一級標題

Remark2.3(Zexe protocol specification: section 2.3, page 11

參考

一級標題

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

2. (Aleo)Zexe protocol specification(Figure4/5/6,Remark2.3):

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

關於我們https://z.cash/upgrade/

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

關於我們

Sin7y成立於2021年,由頂尖的區塊鏈開發者組成。我們既是項目孵化器也是區塊鏈技術研究團隊,探索EVM、Layer2、跨鏈、隱私計算、自主支付解決方案等最重要和最前沿的技術。

微信公眾號:Sin7Y

GitHub | Twitter | Telegram | MediumMirror | HackMD | HackerNoon

開發者