今年以來,ZK無疑是我們看到最頻繁的行業詞匯之一。無論是Vitalik關于ZK將成為未來重大技術革命的言論,還是StarkWare、zkSync等項目的最新進展都讓ZK敘事在2022年備受期待。
關于零知識證明的研究最早由MIT教授ShafiGoldwasser、SilvioMicali和密碼學大師CharlesRackoff在二十世紀八十年代的一篇學術論文——《交互性證明系統的知識復雜度》中提出。通過零知識證明,證明者可以在不披露信息本身的情況下向驗證者證實信息的真實性。在二三十年前,這個計算機理論學家的腦洞還被外界認為是“不靠譜的”。而最近十年,ZK技術發展日新月異,當初論文中的設想也正成為現實。
從技術角度說,ZK是證明者與驗證者兩方之間的一個協議,證明者可以在不透露證明本身之外任何信息的前提下,讓驗證者確認某項證明是有效的。這是證明的“零知識”部分——沒有知識或信息可以支持這條證明,除了證明本身。正是如此,這項技術才更加重要。
從應用角度來講,ZK有兩個非常重要的方向:
隱私性——ZK做到了信息的隱私性。在交易中,如果你需要證明擁有某種未花費的資產,但是又不想暴露資產的整個來源去向,ZK可解決比特幣等區塊鏈平臺中交易透明性帶來的信息泄露,如轉賬地址和金額;
可拓展性——若某個區塊直接驗證的時間很長,可改為由一人驗證并生成證明,而網絡中的其他人快速驗證該證明,而不再需要每個人都花很長時間來直接驗證;
安全公司:SEAMAN項目遭閃電貸攻擊,攻擊者獲利約7800美元:金色財經報道,安全公司CertiK Alert發推稱,SEAMAN 項目遭閃電貸攻擊,開發者利用了 SEAMAN 處理 LP 存款上的 GVC 分 配方式中的一個漏洞。該漏洞使 GVC 價格下跌,攻擊者共能獲利約 7800 美元。
SEAMAN 合約:BSC 0x6bc9b4976ba6f8C9574326375204eE469993D038
Great Voyage Coin (GVC) 合約:BSC 0xDB95FBc5532eEb43DeEd56c8dc050c930e31017e[2022/11/29 21:10:05]
ZK主要有兩種類型:zkSNARK和zkSTARK。zkSNARK的概念最早于2013年被學者提出,目前已比較成熟,Zcash是首個應用zkSANRK技術的區塊鏈項目。
ZK技術目前已被用于各大Rollup方案,來解決以太坊的可拓展性和高昂的手續費問題。StarkWare、zkSync(出自MattersLab)、Aztec、Loopring是目前zk-rollup領域的主要選手。
如何更好地理解這項密碼學技術的意義呢?我們需要從共識說起。以太坊上高交易成本背后的經濟學原因在于共識:共識一定是昂貴的,因為不貴的共識是不可信的。
假設有10,000個節點,每個節點做同樣的計算,這樣產生的結果就很可靠,不會因為少部分節點的不誠實而對共識結果產生影響。這也是為何區塊鏈可以去中心化——通過算法的手段建立信任。
MangoDAO將100萬美元的財庫資金投資于mSOL代幣:金色財經報道,基于Solana的借貸和交易協議Mango Markets管理機構MangoDAO批準了對mSOL代幣的100萬美元投資,旨在使DAO的資金庫多元化。mSOL是一種與SOL相關聯的代幣,用于支付質押獎勵。MangoDAO的財庫目前持有的代幣價值約為7億美元。幫助領導財庫提案的MangoDAO貢獻者BrianSmith表示:“Mango開發團隊做出了很多貢獻,我希望治理在未來變得更加有效”。[2022/3/24 14:14:24]
然而共識的成本在于10,000臺電腦重復計算,成本比在1臺電腦上貴10,000倍。這是所有共識協議,不管是PoW還是PoS所存最大的問題。
而ZK就是可以從本質上降低成本的一種方式——我們可以在1臺電腦運行計算,其它電腦則用密碼學的方法驗證計算的可靠性,并不需要重復計算。在以太坊等比較昂貴的鏈上,驗證計算的正確性要比重復計算更便宜,更節省gas。
這也是大家紛紛看好zk-Rollup的原因。zk-Rollup搭建在L1主鏈之上,它將多筆交易打包成一筆提交給以太坊主鏈,通過零知識證明而被主鏈快速驗證,而不是讓主鏈單獨處理每一筆交易,這樣每筆交易的大小會進行壓縮,同時零知識證明驗證的成本會分攤到每個交易上,于是可以節省Gas費和提高TPS。
隱私也是ZK的另外一個重要的應用領域。從信息論的角度來講,隱私是信息泄露的問題,想要保證鏈上隱私,必須通過密碼學的解決方案,將鏈上數據進行加密,讓鏈上的每筆交易記錄之間沒有關聯性。通過ZK能夠驗證計算而不會泄露有關輸入和計算本身的任何信息,這也是當前唯一從密碼學手段保證鏈上隱私的工具。
Jupiter Asset Management:投資者關注美聯儲利率信號及量化緊縮前景:1月26日消息,英國基金管理集團Jupiter Asset Management固定收益替代產品主管Mark Nash表示,在美聯儲會議上,所有人都將關注3月份會議的利率信號,以及2022年開始實施量化緊縮的前景。他表示:“在‘最大化就業’的說法和持續的通脹壓力的支持下,3月加息25個基點的信號看起來是有可能的。”Nash還預計美聯儲將討論量化緊縮計劃,可能會在年中開始。(金十)[2022/1/27 9:15:30]
在Web3.0概念中非常重要的一點是,用戶真正掌握自己的身份和數據所有權。而目前區塊鏈上所有的信息都是公開的,通過機器學習、大數據挖掘可以非常容易地獲得用戶的信息,相比于Web2.0時代,隱私問題有過之而無不及。雖然目前區塊鏈用戶尚沒有廣泛且強烈的隱私意思,但如果想要實現Web3.0的愿景,人們必須要有權力擁有自己的鏈上隱私。它可以不是必選項,但一定是可選項。
為了改善區塊鏈網絡中存在的隱私泄露問題,2014年,幾位密碼學專家在比特幣的代碼基礎上,采用了zkSNARK創造了首個可以實現完全匿名的區塊鏈項目Zcash。zkSNARK可以在不透露任何敏感數據的情況下來驗證交易的合法性,為用戶在使用加密資產進行交易時提供更高級別的隱私。
零知識證明首先是個密碼學協議,一方可以在不公開解決辦法的情況下讓另一方相信他知道一個數學難題的解決辦法。
HUMAN Protocol啟動1000萬美元贈款計劃:10月26日消息,基于區塊鏈的人機驗證+AI數據網絡HUMAN Protocol宣布啟動1000萬美元贈款計劃,旨在資助使用HUMAN Protocol作為其功能核心部分的APP開發和部署。該贈款計劃將幫助其他人為HUMAN Protocol生態系統做出貢獻,提案將由HUMAN團隊考慮,并根據其價值、可信度和它們可以提供的價值進行評估,幫助企業開發必要的戰略、工具和技術,以加速該協議的采用。[2021/10/26 20:58:39]
在隱私轉賬中,需要創建證明來驗證“一筆之前未被花費過的資產從一個用戶的地址發送到另一個用戶地址,他們被隱藏的賬戶地址都相應地更新了余額變化,且這筆資產不會被第一個用戶再花費。”Zcash可以將用戶和交易的信息盡可能地匿名,而同時這筆交易依然可以被網絡共識有效地驗證。
匿名交易如果想要順利進行,必須滿足一定的條件。比如Zcash需要用戶發布一個“commitment”,以及一個“nullifier”。
Commitment是指Zcash鏈上未花費的余額。正如比特幣網絡一樣,Zcash網絡上的節點也會保留各個賬戶余額,以證明資金可以用來花費。如果用戶想要發送ZEC,需要發布一個commitment,來證明“看,我有這些錢”。而nullifier則是用來說明同樣數量的資金已經被預留了。
如果Alice想發給Bob一筆ZEC,她需要用commitment來證明她擁有使用這筆資金的權力,同時她需要nullifier來證明這些數量的錢已經為Bob預留了。交易發送方把這些私密信息加密后直接放到交易中上鏈,接收方再通過某種方式解密以獲得私密信息。?
Coinbase Pro將上線BAT、ADA、MANA及USDC相關新交易對:金色財經報道,據官方公告消息,Coinbase Pro宣布將于當地時間4月20日增加對BAT、ADA、MANA和USDC新交易對訂單簿的支持。 新的交易對包括BAT-USD、BAT-BTC、BAT-EUR、ADA-ETH、ADA-USDC、MANA-USD、MANA-BTC、MANA-EUR、MANA-ETH、USDC-EUR和USDC-GBP。新交易對訂單簿將分階段推出。當每個訂單簿進入不同階段時,將在官方推特另行通知。[2021/4/20 20:38:17]
匿名轉賬和比特幣一樣依賴于哈希加密,但是zkSNARK在其基礎上增加了一個隱私層。
zkSNARK不僅可以用于加密資產間的匿名交易,同樣可以用于幫助越來越多的應用實現隱私化。Web3時代,我們已經看到了DeFi、NFT、GameFi、SocialFi等應用層的大爆發,鏈上行為越來越豐富,單純的匿名轉賬已經不能夠滿足人們對于隱私的需求。
想象一下,基于ZK技術,許多大膽的創意都可以成為可能。比如完全去中心化的隱私的messageboard,讓用戶可以在不暴露具體身份的情況下證明自己的可信度:“我是一名美國官員”,“我是一個粉絲10萬的TwitterKOL”;我們還可以在鏈上MMO游戲中隱匿玩家地點,做到真正去中心化的「密碼學戰爭迷霧」,類似的事情DarkForest已經在做了。這樣的例子還有很多,大家可以盡情發揮想象力。但正如有人所預測的那樣,下一代的以太坊dapp可能并不是在原有應用基礎上的改進,而是來自于前所未有的新事物。
當然ZK技術目前仍處于早期,還有許多值得探索和改進的地方,但可以預見的是,未來將有越來越多的區塊鏈在鏈上運行ZK驗證者。
由于ZK技術的難度較高,目前使用ZK技術來解決區塊鏈隱私問題的項目并不多,我們熟知的包括ZCash、TornadoCash、Aleo等,而Manta是波卡生態內首個基于zkSNARK的Web3隱私保護項目,Manta的主要產品包括隱私支付MantaPay和隱私AMMDEXMantaSwap。
借助于Polkadot平行鏈之間的互操作性,MantaPay可以將Polkadot以及平行鏈資產兌換成隱私資產,這樣用戶可以在使用各種封裝穩定幣、BTC等資產的同時享受隱私資產所帶來的匿名性。
MantaPay的隱私支付產品和現在以太坊上基于智能合約的去中心化應用有很大不同,MantaNetwork本身是網絡層,在速度、成本和功能等方面提供了更多的靈活性。Manta擁有自己的基于UTXO的錢包地址體系,用戶可以進行隱私資產的存儲、轉賬和兌換,可以做到真正意義上的全面的隱私。舉個例子,一個用戶可以分別向不同的人發送10個和2個隱私DOT。而在TornadoCash上,一筆隱私交易只能提取為一筆公開轉賬,并不能被分散。
此外,Manta的費用結構并不受ETHPOW共識的限制,而是作為專門為隱私交易而建立的網絡層,可以為用戶提供費用更低的轉賬體驗。
基于AMM和zkSNARK的隱私兌換協議MantaSwap則可以完成隱私資產之間的類似于Uniswap,Curve的去中心化交易同時滿足交易地址的隱私性。
在上線Manta1.0的MantaPay及Manta2.0的MantaSwap后,Manta3.0將基于Manta的基礎設施推出zkSNARK智能合約平臺,允許社區用戶和開發團隊在平臺之上構建自己的各種隱私保護產品,如隱私DAO工具、隱私NFTmarketplace等等。Manta的長期愿景是成為區塊鏈應用的隱私保護平臺,為整個區塊鏈世界提供更便捷的隱私保護服務。
References:
TheKnowledgeComplexityofInteractiveProofSystems
ByShaffGoldwessar,SilvioMicali,CharlesRackoff
PrivacyCoinsandzk-SNARKs:HowDoTheyWork?
https://decrypt.co/resources/privacy-coins-and-zk-snarks-how-do-they-work
SixMoonshotZKApplications
https://gubsheep.substack.com/p/six-moonshot-zk-applications
關于MantaNetwork
MantaNetwork致力于通過隱私保護構建一個更好的Web3世界。Manta的產品設計從第一性原理出發,通過zkSNARK等領先的密碼學架構為區塊鏈用戶提供端對端的隱私保護。在保障隱私的同時,Manta兼具互操作性、便捷性、高性能以及可審計性,允許用戶進行任意平行鏈資產間的隱私轉賬和交易。Manta的愿景是為整個區塊鏈世界提供更便捷的隱私保護服務。
Manta的創始團隊由多位加密貨幣資深人士,教授和學者組成,他們的經驗包括哈佛大學,麻省理工學院和?Algorand。Manta的顧問包括HypersphereVentures聯合創始人?JackPlatts,Polychain合伙人TekinSalimi,前Web3基金會聯合創始人AshleyTyson,Consensys的ShuyaoKong。
Manta的投資機構包括Polychain、ParaFi、BinanceLabs、Multicoin、CoinFund、Alameda、DeFiance以及Hypersphere等。Manta也是波卡官方Web3基金會資助獲得者,SubstrateBuilderProgram成員,伯克利大學區塊鏈加速器成員。
關注官方頻道了解有關Manta/Calamari?的更多信息:
Manta:https://manta.network/
Twitter:https://twitter.com/MantaNetwork
Medium:https://mantanetwork.medium.com/
Telegram:https://t.me/mantanetwork
Telegram中文:https://t.me/mantanetwork_zh
Discord:https://discord.gg/ZtSuSKRy8X
Tags:MANANTANTAARKHumanodeAtlantis Universe MoneyTap Fantasy MCark幣怎么樣
以前的人們都是盲目的跟著各大名人參與投項目,慢慢的就改變成是跟著機構參與一級市場,每個人都想跟著分一杯羹,一般正常的情況下只要項目的投資金額過高,那這項目的靠譜程度就越大.
1900/1/1 0:00:00還記得曠日持久的CurveWar嗎?協議們為了話語權激烈廝殺。現在,「CurveWar」在Fantom鏈上被復制,受到YFI創始人AndrewCronje的號召,所有人的目光都聚焦在Fantom.
1900/1/1 0:00:00研究機構:MintVentures 研究員:許瀟鵬 共同作者:黃敏強 觀點摘要 音樂是一個年收入200億美金的全球市場.
1900/1/1 0:00:00ALPEX每周新聞更新,數字資產交易領導者21/02/2022-25/02/2022發布:2022年03月01日 親愛的ALPEX用戶 歡迎來到ALPEX2022年2月第4周周報.
1900/1/1 0:00:00尊敬的WEEX用戶您好!早春活動百萬交易員征集令 活動四:天天空投 活動方式: 活動期間每天抽出10位有完成合約交易的用戶隨機送8、18、38、68、88USDT,周一至周五不限幣種.
1900/1/1 0:00:00尊敬的XT.COM用戶:CELO錢包升級維護已完成,XT.COM現已恢復CELO充提業務。給您帶來的不便,請您諒解!NEXTYPE與巴西最大的游戲公會DUX建立合作關系:金色財經消息,據官方推特.
1900/1/1 0:00:00