引言
從論文的角度看,Aleo的可編程隱私設計所采用的的隱私設計和早期的Zcash的白皮書更為相近,類似的Key結構,類似的Note結構,類似的稱呼。本文是基于Zcash最新的論文和Aleo的ZEXE做的比較,雖然在具體的細節上有所不同,比如Key結構,具體使用的密碼學方法;但是在high-level的設計上大體相同。除了前面所講述的技術細節外,仍然存在一些其他的技術細節暫未涉及,比如delegateprover方案,零知識證明算法,遞歸/聚合方案等,有興趣的同學可繼續研究。Zcash
1.關于Zcash?
一個簡短的視頻了解Zcash,大概需要2分鐘。https://zcash.readthedocs.io/en/latest/rtd_pages/basics.html特點:?匿名版的BTC,類UTXO模型?只能做支付場景,不具備可編程性2.主要概念
注意:Zcash經過多次協議升級,我們只關注最新版本。主要介紹Zcash里的各個核心概念。2.1Keycomponents
圖片來源
黑客盜取約13244枚ETH 并將其中部分被盜資金轉入Cream與Alpha.Finance開發者地址:2月13日消息,DeFi借貸協議Cream.Finance官方發推表示,協議疑似遭到黑客利用,開發人員正在全力進行調查。Etherscan數據顯示,黑客共盜取13244.63枚ETH。隨后,黑客向Cream.Finance與Alpha.Finance的開發者認證地址各轉入1000枚ETH。其余部分被盜資金進入DeFi混幣協議Tornado.Cash、Curve.Finance的a3CRV Gauge池中。(深鏈財經)[2021/2/13 19:41:35]
你可以在Zcashprotocolspecification:section4.2.3,page36了解這些Key的計算方式。2.2Note
note是Zcash協議中的基本單元,類似于BTC中的UTXO;在Zcash中,所有交易的輸入和輸出都是notes。當然,Zcash也支持非匿名的交易,這樣和BTC的交易模式一樣。所以,要想更深入的了解Zcash,得先需要了解note的數據結構:
圖片來源
以太坊核心開發者:DeFi穩定幣收益率遠高于美國最佳儲蓄率:以太坊核心開發者eric.eth發布推特稱,DeFi穩定幣在現有平臺Aave和Compound收益率幾個月以來一直保持在10-20%之間。考慮到總體上較低的風險,這非常令人驚訝。即使是凈保險,也很容易達到美國最佳儲蓄率的10倍。[2021/1/31 18:29:57]
在Zcash的協議中,因為隱私的需求,note是不能公開的,因此,需要計算對應的commitment來代表這個note,計算方式如下:
圖片來源2.3Actiontransfer
一筆交易里,可能包含多個actiontransfer,每個actiontransfer會花費老的note,生成新的note,其數據結構如下:
圖片來源
2.4Actionstatement
動態 | 外媒:三星計劃在加利福尼亞SDC開發者大會上介紹區塊鏈手機概念:三星電子在區塊鏈手機上投入巨資,并計劃在即將到來的加利福尼亞SDC開發者大會上展示這一想法。這家科技巨頭將于今年10月向美國智能手機開發商介紹這一概念。(beincrypto)[2019/9/3]
公共輸入是:
隱私輸入是:
證明statement為:
圖片來源?花費的note的完整性,和noteplaint唯一綁定?花費的note的有效性,cmtree的存在性證明?Value承諾的完整性,和rcv,oldvalue,newvalue唯一綁定?Nullifier的完整性,防止doublespend,維護一個花費的noteset?花費的note的合法性?地址的完整性?新note的完整性?flag的合法性2.5交易結構和示例
金色晨訊 | 懷俄明州通過認定加密貨幣為貨幣的法案 以太坊開發者決定推遲ProgPow升級:1.懷俄明州通過認定加密貨幣為貨幣的法案。
2.ADA首席執行官:ADA不受POS v3數字貨幣漏洞影響。
3.以太坊開發者決定推遲ProgPow升級。
4.Grin全職開發者完成本輪籌款計劃既定目標。
5.畢馬威:加密資產具有顛覆性潛力 但必須機構化。
6.馬來西亞證券委員會修訂其“認可市場指南” 引入加密貨幣交易平臺法規。
7.雄安發布《垃圾處理過渡設施項目招標公告》 用區塊鏈進行項目資金管理。
8.馬來西亞數字資產交易市場將與股權眾籌(ECF)、P2P融資合并。
9.劉強東新年公開信:通過區塊鏈等科技提升用戶體驗和升級商業模式。[2019/2/2]
2.5.1交易結構
圖片來源整個交易結構包含四個部分:?Publicinfo(1-5)?Transparenttransactionsinfo(6-9)?Saplingtransactionsinfo(10-16)?Orchardtransactioninfo(17-25)2.5.2從transparent到shieldOrchard協議里包含兩種地址,transparentaddress(TA)和shieldaddress(SA)。一般,為了執行隱私交易,需要先從TA往SA轉賬,此時對應的交易結構應為:?Publicinfo(1-5)?Transparenttransactionsinfo(6-9)ⅰ.tx_in_*:實際值ⅱ.tx_out_*:默認值?Saplingtransactionsinfo(10-16)ⅰ.All:默認值?Orchardtransactioninfo(17-25)ⅰ.All:實際值2.5.3從shield到shieldOrchard協議里包含兩種地址,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到transparentOrchard協議里包含兩種地址,transparentaddress(TA)和shieldaddress(SA)。一般,為了執行隱私交易,需要先從TA往SA轉賬,此時對應的交易結構應為:?Publicinfo(1-5)?Transparenttransactionsinfo(6-9)ⅰ.tx_in_*:默認值ⅱ.tx_out_*:實際值?Saplingtransactionsinfo(10-16)ⅰ.All:默認值?Orchardtransactioninfo(17-25)ⅰ.All:實際值2.6如何實現隱私?
分析 | EOS Cafe Block 發文提醒開發者避免合約漏洞:據 IMEOS 報道,EOS Cafe Block 在 Medium 發文《Contract Vulnerability Patch》(《合約漏洞補丁》),稱他們在使用 EOS 合約時發現了一個漏洞,以此提醒 EOS 開發者應該明確檢查notification中的所有參數,僅僅確認合約名稱和操作名稱是不夠的。
文中說道,任何依賴 eosio.token 轉賬notification的合約都應立即添加此檢查:if(transfer.to!= _self)return;如果開發者正在重復使用轉帳操作,請使用:if(transfer.to!= _self && transfer.from!= _self)return;要復制的代碼將在以后發布,以維護未修補的 dApp 的安全性。
最終文末特別感謝了來自LibertyBlock的Kedar和來自 shEOS 的 Ben 測試漏洞。[2018/10/15]
?Unlinkable生成的note用cm表示,花費的note用nf表示,nf和cm之間無任何聯系,因此,任何人都無法通過這些信息去判斷任何一個被生成的note是在哪一筆交易里被花費的。?Privateⅰ.Senderaddress:交易信息里不包含sender地址且spendAuthSig為一次性簽名。ⅱ.Receiveraddress:交易里不包含receiver的地址且新的Noteplaint用的是recevier的公鑰加密。ⅲ.Value:用pedersencommitment形式隱藏Note,且通過bindsig來保證交易的balance屬性。Aleo
1.和Zcash的異同
Zcash只能執行基于OUTX模型的隱私交易,不具備可編程性;因此,Aleo和Zcash最主要的區別是隱私可編程性;相同點是都支持隱私屬性。2.AleoVSZcash
2.1Unit
和Zcash的note不同,Aleo里的基本操作單元是record,下面讓我們看一下兩者的主要區別:
圖片來源
圖片來源雖然具體參數名稱不相同,但是從功能角度來看,兩者之間具有對應關系:
分別對應note擁有者的地址信息,承諾相關信息,nf/sn相關信息,value相關信息。所以,兩者結構基本類似;主要的區別在于record里的birthpredicate,deathpredicate。這是兩個Boolean類型的函數,代表著,當一個record在birth(generate)和death(spend)階段,分別需要滿足的條件,這一塊是支持user-defined,因此具有可編程性。2.2交易結構
圖片來源和Zcash(2.5.1)的交易主要結構相比,仍然相似:?消費的record對應的序列號sn,在Zcash里用nf表示,都是具有全局唯一性。?新生成的record對應的承諾。?新生成record的plaint,包括擁有者信息,對應的birth/deathpredicate等。2.3Proverstatement
圖片來源需要證明:?Oldrecord的有效性?Oldrecord的合法性?Newrecord的有效性?Birth/Deathpredicate的有效性3.其他
3.1為什么都是utox-based,不是account-based?
Remark2.3參考
1.(Zcash)Zcashprotocolspecification:https://zips.z.cash/protocol/protocol.pdf2.(Aleo)Zexeprotocolspecification:https://eprint.iacr.org/2018/962.pdf3.協議升級:https://z.cash/upgrade/4.zerocash:https://eprint.iacr.org/2014/349.pdf關于我們
Sin7y成立于2021年,由頂尖的區塊鏈開發者組成。我們既是項目孵化器也是區塊鏈技術研究團隊,探索EVM、Layer2、跨鏈、隱私計算、自主支付解決方案等最重要和最前沿的技術。微信公眾號:Sin7YGitHub|Twitter|Telegram|Medium|Mirror|HackMD|HackerNoon
摘要 作為第三代區塊鏈,CosmosSDK和TendermintBFT降低了開發和運行公鏈的門檻.
1900/1/1 0:00:00OokiDAO近日被訴訟,而在DAO里投過票的成員可能需要共同承擔責任。這一情況令人震驚,但它早就在眾多法律人士的預期當中.
1900/1/1 0:00:00介紹自從美國證券交易委員會在2018年提出了有關“充分去中心化”的概念,Web3建設者們就一直對相關內容保持著關注.
1900/1/1 0:00:00自2016年以太坊崛起以來,區塊鏈社區一直在尋找能夠超越金融用例、對現實世界產生影響的范例。相對于其Web2應用程序,由Web3驅動的同類應用程序能否具有顛覆性,跨越鴻溝,被主流采用?到目前為止.
1900/1/1 0:00:00當大多數人還在試圖適應熊市時,我們發現已經有人想要盡快跳到市場的下一個階段了。當心,歷史無數次向我們證明,熊市總有自己獨特的游戲方式.
1900/1/1 0:00:00隨著科技的迅速發展,游戲開始通過熒幕呈現在玩家的電腦上。自上世紀以任天堂為首的電子游戲崛起,豐富的游戲場景、多元的游戲形式、絢麗的游戲特效等,讓更多人享受到游戲帶來的快樂.
1900/1/1 0:00:00