| 引言從論文的角度看,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
4. zerocash:https://eprint.iacr.org/2014/349.pdf
關於我們
Sin7y成立於2021年,由頂尖的區塊鏈開發者組成。我們既是項目孵化器也是區塊鏈技術研究團隊,探索EVM、Layer2、跨鏈、隱私計算、自主支付解決方案等最重要和最前沿的技術。
微信公眾號:Sin7Y
GitHub | Twitter | Telegram | Medium| Mirror | HackMD | HackerNoon


