買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > 酷幣 > Info

CTI:開發者必讀:從Zcash和Aleo的技術出發,理解隱私交易的設計原理_auction幣黑客

Author:

Time:1900/1/1 0:00:00

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

以太坊核心開發者共識會議:將為 Deneb 升級納入與測試 EIP-4788、EIP-6987:5月7日消息,Galaxy 研究副總裁 Christine Kim 發文總結第 108 次以太坊核心開發者共識會議。其中,開發者同意考慮將 EIP-4788、EIP-6987 納入 Deneb 進行測試。EIP-4788 將啟用執行層上的共識層狀態證明,以通過智能合約進行無信任驗證。此前 PR #3175 正處在格式化為 EIP 的過程中,將改為 EIP-6987,即出于安全考慮,防止罰沒(slashed)驗證節點被選為區塊提議者。開發者討論了在 Deneb 規范中引入一個額外的變量與常量,以允許執行層具有更大的彈性,以獨立于共識層調整每個區塊的最大 blob 交易數。以太坊核心開發者 Tim Beiko 提醒共識層客戶端團隊,通過 EIP-4844 引入的新 SSZ 類型應在多大程度上與即將到來的 SSZ 升級兼容或針對當前 RLP 標準進行優化,仍然不確定。Ryan 表示,目前在 EIP-4844 中使用「flat hash」的 SSZ 類型是兩頭吃虧的,因為它沒有為 RLP 格式化,但也沒有利用完整的 SSZ 序列化的優勢。開發者將在下周的 ACDE 電話會議上繼續討論這一問題。此外,信標鏈證明子網(attnet)的改造已于 5 月 4 日推出。開發者還在信標鏈 API Github 存儲庫上討論了 PR #317。

考慮到最近的 MEV-Boost 漏洞攻擊,中繼現在在通過 gossip 上廣播前會驗證區塊內容。該功能需要 Lighthouse 與 Prysm 客戶端的自定義分叉。Lighthouse 客戶端開發者 Michael Sproul 提出了一個標準查詢參數,用于在所有共識層客戶端中啟用相同的功能。Prysm 客戶端開發者 Terence Tsao 表示,在某些方面引入次功能會增加對 MEV-Boost 的依賴性,MEV-Boost 是一種用于在以太坊上賺取 MEV 的臨時軟件,應該棄用它以支持 PBS。[2023/5/7 14:48:23]

Zcashprotocolspecification:section3.2,page14)

開發者Cody Burns所持ETC域名競標結束 ETC Labs現控制相關網站:12月8日,Ethereum Classic Collective (ECC)執行董事Bob Summerwill發推,對ETC開發者Cody Burns持有的ETC域名的競標已經結束,Ethereum Classic Labs現控制ethereumclassic.org網站,而不是ethereumclassic.github.io網站。[2020/12/8 14:35:40]

在Zcash的協議中,因為隱私的需求,note是不能公開的,因此,需要計算對應的commitment來代表這個note,計算方式如下:

Zcashprotocolspecification:section3.2,page15)

Zcashprotocolspecification:section4.6,page41)

隱私輸入是:

證明statement為:

Zcashprotocolspecification:section4.17.1,page40)

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

報告:愛爾蘭區塊鏈開發者收入位居全球首位:5月28日消息,Dev Quarterly最新報告顯示,愛爾蘭區塊鏈開發者收入位居全球首位。加拿大區塊鏈開發者收入排名第二,美國名列第三。同時報告還指出,區塊鏈開發人員的收入遠低于智能手機應用程序、網站開發人員及數據科學家等人員的收入。(Cryptocurrency News)[2020/5/28]

???花費的note的有效性,cmtree的存在性證明

???Value承諾的完整性,和rcv,oldvalue,newvalue唯一綁定

???Nullifier的完整性,防止doublespend,維護一個花費的noteset

???花費的note的合法性

???地址的完整性

???新note的完整性

???flag的合法性

Zcashprotocolspecification:section7.1,page119)

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

???Publicinfo(1-5)

???Transparenttransactionsinfo(6-9)

動態 | 比特幣著名開發者之一BlueMatt加入Square:Square發推特稱,比特幣著名開發者之一BlueMatt加入Square。Primitive Ventures創始合伙人萬卉(Dovey Wan)轉發評論稱,Square 把宇宙最強比特幣開發者之一BlueMatt招了過去,太給力了。幣印創始人潘志彪亦評論稱,Square靠譜。[2019/8/21]

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

動態 | 以太坊開發者占加密開發者的18% 位列第一:數字資產管理公司Electric Capital對2019年上半年加密貨幣和區塊鏈行業開發人員活動進行了分析,結果顯示18%的開源加密開發人員在以太坊生態系統里工作,幾乎是比特幣的四倍,這一數字似乎也能夠看出以太坊在開發領域里占據了主導地位。今年上半年,以太坊月平均活躍開發人員數量為1156名,而六月單月為1243名。比特幣六月只有314名活躍開發者,但其市值在2019年上半年卻是以太坊的五倍。此外,EOS在2019年上半年的月平均活躍開發人員數量為224名,位列第三。[2019/8/14]

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

Tags:IONASHCASHCTIBeNFT SolutionsmetahashYoloCashauction幣黑客

酷幣
SUSHI:Shiba Inu 燃燒率直線下降,這就是原因_Shiba Toby

ShibaInu已迅速成為最受歡迎的memecoin之一。盡管它在市值方面落后于DOGE,但在發展方面卻遙遙領先。今年早些時候,實施了銷毀SHIB的選項。然而,此后柴犬的燃燒率有所下降.

1900/1/1 0:00:00
MOS:GLO、EVMOS和DFI可能在下一次牛市后進入前 10 名_BAL

隨著我們進入2022年最后一個季度,加密貨幣投資者急切地等待市場逆轉。歷史上最深刻的修正之一可能最終會在幾個月內結束.

1900/1/1 0:00:00
MAR:Marble Heroes彈珠英雄:迎來調整,回本周期大縮短_EFI

彈珠英雄宣布啟動對話全球行之后,多個國家已經陸續開啟了線下活動。來自社區的確切消息顯示,彈珠英雄游戲將在近期內作出重要調整。這些調整包括CLS和MBH規則、每日產出、以及Defi質押等等.

1900/1/1 0:00:00
KEX:BKEX 關于ETP專區 UNI5S、DOGE5S、LTC5S等10種標的進行份額合并的公告_AVA

尊敬的用戶:?? 由于ETP專區部分標的觸發了BKEXETP產品份額合并機制。BKEX將在2022年10月5日15:00對ETP專區部分標的進行合并操作,詳情如下:合并后新份額的名稱、簡稱、交易.

1900/1/1 0:00:00
NTR:Trait Sniper創始人:項目財務狀況確實存在困難,正通過裁員來縮減成本_CEN

10月3日消息,針對社交媒體上熱議的rug傳言,TraitSniper創始人Kiraa今日下午發布了多條推文進行回應,稱相關員工之所在Discord內發布關于rug的言論.

1900/1/1 0:00:00
LAYER:以太坊的新方向?一文了解Layer3的定位、優勢和實現方式_TROLLER幣

原文作者:鹿目圓 Vitalik在最近的一篇文章中討論了Layer3的概念。那么,什么是Layer3?我們先簡單回顧一下Layer1和Layer2.

1900/1/1 0:00:00
ads