Manta Network：基于零知識證明構建的Web3.0隱私層_ZKP

MantaNetwork是采用零知識證明構建的Web3.0隱私層協議，基于波卡Substrate框架開發。

可配置權限的、基于隱私的新資產類型

Manta基于ZKP，創立了新的資產類型zkAssets，不僅支持波卡平行鏈資產間的隱私交易，還支持ERC20等同質化代幣，ERC721、ERC1155等非同質化代幣，以及靈魂綁定代幣隱私交易。

通過Manta，可實現代幣、NFT隱私交換。比如，把現有的NFT轉變為隱私資產zkAssets進行交易。

zkAssets在隱私基礎上，支持權限配置。資產轉出者，可定制訪問權限，如KYC規則、能否將黑客資產列入黑名單等。同時還支持轉出者向接收者有選擇性地，披露ZPK驗證信息、披露資產交易歷史，而不必透露私鑰。

除了創立隱私資產類型，Manta重點開發的產品還包括：隱私交易系統MantaPay、基于ZKP的隱私智能合約，以及隱私AMMDEXMantaSwap。

投資，也獲得了波卡官方Web3基金會Grant資金。

在更詳細闡釋Manta協議之前，我們先厘清一個概念“零知識證明”，以及ZKP當前在行業中的應用。

什么是ZKP？

舉例：

如何證明自己會開車？

出示駕照。

該例解釋了ZKP的特性：

1/證明：出示了有效的證明。

美SEC就Ripple案件中發布Hinman郵件:6月13日消息，據FOX Business記者Eleanor Terrett發推稱，美國證券交易委員會（SEC）就Ripple案件中發布Hinman郵件，這些文件顯示了美國貿易和市場部對Hinman 2018年演講草稿的評論。Ripple反對美國SEC簡易判決動議的簡報中未經編輯的部分顯示，SEC高級官員表示，Hinman演講細節越少越好。當時的貿易和市場總監Brett Redfearn發表了一份未經編輯的聲明，該演講可能會導致人們對什么是證券產生更大的困惑，因為Hinman的新測試超出了典型的Howey分析。貿易和市場部對Hinman演講稿回應稱，這個演講是普通公眾或市場參與者一直要求的，所以我們非常支持這個演講及其傳達的內容。

Hinman演講文件指的是美國SEC前財務部主任William Hinman（2017年至2020年））于2018年6月在雅虎金融全市場峰會上發表的演講，他在演講中表示以太坊不是證券，Ripple認為該演講是其與美國SEC正在進行的法律斗爭的關鍵證據，美國SEC指控Ripple的XRP銷售違反了美國證券法。[2023/6/13 21:34:33]

2/效率：僅需出示證明，無需再去開著車轉幾圈，做一些倒車入庫等操作，來展示自己會開車。

3/隱私：僅出示了駕照，未透露其他信息。

再來看更嚴謹一些的例子：

想象下，你正在面對千百萬畝成熟小麥。

瑞士私人銀行Maerki Baumann獲批提供加密貨幣交易和保管服務:瑞士私人銀行Maerki Baumann向其客戶提供加密貨幣和其他數字資產的交易和托管服務。該銀行最近獲得瑞士金融市場監管局（FINMA）提供服務的許可。最初該行將支持比特幣、比特幣現金、以太坊、萊特幣和Ripple的交易。它還將支持基于ERC-20代幣標準的其他數字資產交易，最終計劃擴大可交易的加密貨幣和代幣的投資組合。

Maerki Baumann指出，向該銀行下達的交易訂單將通過已建立的合作伙伴公司（最著名的是交易銀行InCore Bank）轉移到專業加密貨幣經紀人和具有流動性的加密貨幣交易所，這將確保交易能夠快速執行，且交易價差較小。

據此前報道，瑞士InCore Bank獲FINMA批準為機構客戶提供數字資產交易服務。（Verdict）[2020/6/1]

其中有一棵燕麥。請你把它找出來，能做到嘛？這得花費幾十年時間，或者根本不可能。

我告訴你，我知道這棵燕麥在哪，你相信我嗎？

于是，我給你戴上眼罩，在麥田里東繞西繞，讓你蹲在燕麥前，摘下眼罩，看到燕麥。然后，仍舊戴上眼罩，站起來，走出麥田。

你相信我知道燕麥的位置，但你仍不知道燕麥在哪。因為你戴了眼罩，還蹲下了，無法獲取自己的位置。

用密碼學解釋，零知識證明ZKP是證明者，向檢驗者證明某命題的方法，在過程中，證明者無需透露任何其他信息，即可證明命題為真。

行情 | 商業咨詢公司Armanino宣布拓展其區塊鏈擔保平臺TrustExplorer:美國會計和商業咨詢公司Armanino宣布拓展其區塊鏈擔保技術平臺TrustExplorer。TrustExplorer的實時認證功能現已添加了受信節點數據服務，該服務可在Armanino的支持下為用戶和審計人員提供事務和帳戶數據源。（StreetInsider）[2020/2/6]

在密碼學中，ZKP由非常復雜的數學公式實現，本文就不展開講了。

目前，在加密資產領域，ZKP技術相對比較成熟，但部署有門檻，主要表現在：

1/對開發環境有一定要求，如以太坊就不太適合ZKP開發。目前幾乎所有zk-EVM仍在開發中。

EVM是以太坊虛擬機，也是以太坊開發環境。當某條鏈與EVM兼容時，以太坊上現有的應用，可以直接“復制粘貼”代碼，部署在該鏈上，如Uniswap可直接部署在OptimismRollup上。

ZK-EVM則是指，基于ZKP開發、且兼容EVM環境。

由于開發環境問題，造成目前ZK-EVM項目，在交易體驗上，似乎沒有宣傳中那么迅速，原因是鏈上需要時間生成“零知識證明”，也就是“駕照”要現場制作。

為了解決該問題，在Manta測試網Dolphin里，用戶需要下載MantaSigner，用來快速生成零知識證明。

當前，Manta技術團隊正在著手解決該問題，讓用戶省去下載MantaSigner步驟，提升體驗。

動態 | 澳本聰將就Kleiman訴訟案進行法庭作證:據coindesk報道，澳本聰（Craig Wright）為即將于6月28日舉行的Kleiman訴訟案的法庭作證召集了一位專家證人。一名事實證人和他自己將在聯邦證據聽證會上作證，可能會導致澳本聰被交叉詢問。根據法院的命令，澳本聰因未能完全披露其在2013年12月31日之前的比特幣持有量而有可能被控民事或刑事級別的藐視法庭。[2019/6/27]

2/開源ZKP較少，加密團隊需要雇傭密碼學家。當前的零知識證明構建方案主要有以下兩種：

A.??使用Circom等高階編程語言

缺點是不能進行性能優化，很可能使得應用的使用體驗變差。

B.??直接使用Arkworks'Groth16等ZK庫構建協議

缺點是需要開發者有深厚的密碼學背景，而且開發過程中很容易出現錯誤。

Manta之前發出OpenZL倡議，建議創立ZKP開源庫。此外，Polygon開源zk-EVM。

Layer2，如StarkWare、zkSync、Scorll等等。

而著重將ZKP應用在隱私領域的項目有Manta、Aztec、Aleo等。

ZK-Rollup擴容

以ZKP的特性，實現以太坊Layer2擴容。

Roll，卷、滾的意思。Up，向上、起來的意思。Rollup，就是把交易“卷”起來，在自己的網絡里處理掉。

一名Tether發言人透露：Tether與審計公司Friedman LLP合作關系已正式結束:據Coindesk消息，一名Tether發言人透露公司與審計公司Friedman LLP的合作關系已正式結束，但是未透露是哪一方首先提出結束合作。流出的郵件中寫到，“短期內無法進行審計”。Tether因高速印發USDT、審計不公開、和Bitfinex關系曖昧“三宗罪”而飽受質疑，如今和審計公司分道揚鑣，其財務情況更加破朔迷離。[2018/1/28]

ZK-Rollup會在交易執行完成后，生成一個零知識證明ZKProof。負責校驗的合約，只需要校驗這個證明就行，不需要具體校驗細節。

由于證明文件很小，驗證時間一定，所以證明本身不會隨著交易數量增加而變大。

ZKP隱私

以ZKP的特性，實現以太坊Layer2隱私交易。

在交易過程中，網絡里的驗證者，通過驗證生成的證明Proof，來驗證交易者資產及交易的真實性，在確保資產隱私的前提下，，從而實現隱私交易。

ZK-EVM

而所謂ZK-EVM，指的是，能否基于ZKP實現以太坊EVM開發環境兼容，從而讓以太坊現有dApp直接將代碼“復制粘貼”到Layer2上，便于開發。

Manta?新型隱私資產與重要構件

再回到Manta本身。

zkAssets：可配置權限的、全新隱私資產類型

Assets，意為資產。zkAssets，是基于ZKP、由ZKP加密的資產類型。

zkAssets是由Manta創造的、全新的、隱私的加密資產類型，由ZKP提供隱私性、完備性及訪問，并具有以下特點：

支持靈活的資產類型：包括同質化代幣、非同質化代幣、靈魂綁定代幣。

預設隱私：zkAssets在鏈上默認是隱私的，資產持有者的地址、持有者的資產以及資產類型，都是加密的。

自愿披露：在資產持有人許可下，zkAssets?支持披露可證明的資產信息。

具體地講，持有者可向審計者披露資產交易歷史，而不必披露花費密鑰（SpendingSecret)。持有者也可有選擇性地，披露可通過ZKP進行驗證的資產信息。

可配置的資產政策：zkAssets交易發出者，可定制訪問權限，如KYC規則、訪問權限，例如，能否將黑客資產列入黑名單。

用戶可在Manta鏈上，將資產轉變成zkAssets，并實現代幣、NFT等資產的隱私交易。

Address，意為地址。ZkAddress是基于ZKP、由ZKP加密的公鑰，，由三部分組成：

zkAddress：zkAssets的公鑰，可用來接收任何種類的zkAssets。

注意，zkAddress不會在鏈上的任何zk-Transaction中披露。

因此，其他人不能將鏈上的zk-Transaction與zkAddress聯系起來，除非交易的發送者或接收者向其他人授權查看密鑰。

只讀狀態密鑰：用于查看一個zkAddress的完整交易歷史，正如名稱顯示，它是只讀的，只能用于查看歷史，不能花費zkAddress上的任何zkAsset。

支付密文：密文是隨機產生的，并衍生出另外兩個密鑰，即zkAddress和查看密鑰。想要轉移zkAssets，需要花費密文來生成ZKP。

Manta協議重要構件：MantaPay、隱私智能合約與MantaSwap

MantaPay是傳輸層，將隱私資產zkAssets轉移到隱私地址zkAddress，用的就是MantaPay。目前，用戶可在先行網Calamari，體驗MantaPay。

更多關于MantaPay的信息，將于該季度公布。

Manta隱私智能合約，為網絡提供了可拓展性，開發者可基于此，開發更多隱私應用。相比于Aztec的UTXO模型，Manta支持更復雜的智能合約部署和交互。

MantaSwap，是構建在隱私智能合約層上的DEX。

Kusama推出先行網Calamari，并推出隱私測試網Dolphin。Dolphinv1于2021年12月推出，參與測試的獨立錢包地址超6000個。

目前，Dolphinv2已上線，參與者可獲得KMA代幣獎勵。測試地址及獎勵表單如下：

Dolphin測試地址：https://app.dolphin.manta.network/#/transact

獎勵表單：https://gleam.io/ye0bg/dolphin-testnet-v2-airdrop

PolychainCapital領投，完成了Wen3基金會資助既定的第一個里程碑。

2021年第二季度-在《InternationalAssociationforCryptologicResearch.》電子版，發表白皮書的更新版本。

2021年第三季度–Manta先行網Calamari贏得Kusama插槽拍賣。完成由CoinFund和ParaFi領投的私募輪融資。

2021年第四季度–測試網Dolphinv1發布。先行網Calamari啟動社區治理。

2022年第一季度-完成XCM設計庫，支持Polkadot和Kusama生態系統內的跨鏈信息傳遞。社區化自治節點啟動，先行網Calamari去中心化。

2022年第二季度–獲得幣安Labs投資。測試網Dolphinv2推出，大大改善了驗證速度，并增加新功能。

2022年第三季度-節點擴充。啟動零知識證明可信設置，將測試網Dolphin上線Calamari的MantaPay。在Calamari上推出去中心化質押。對MantaPay進行安全審計。

預計在今年第三和第四季度，還會有更多項目進展待公布，歡迎持續關注MantaNetwork。

關于MantaNetwork

MantaNetwork致力于通過隱私保護構建一個更好的Web3世界。Manta的產品設計從第一性原理出發，通過zkSNARK等領先的密碼學架構為區塊鏈用戶提供端對端的隱私保護。在保障隱私的同時，Manta兼具互操作性、便捷性、高性能以及可審計性，允許用戶進行任意平行鏈資產間的隱私轉賬和交易。Manta的愿景是為整個區塊鏈世界提供更便捷的隱私保護服務。

Manta的創始團隊由多位加密貨幣資深人士，教授和學者組成，他們的經驗包括哈佛大學，麻省理工學院和Algorand。Manta的投資機構包括Polychain、ParaFi、BinanceLabs、Multicoin、CoinFund、Alameda、DeFiance以及Hypersphere等。Manta也是波卡官方Web3基金會資助獲得者，SubstrateBuilderProgram成員，伯克利大學區塊鏈加速器成員。

We'reHiring!

訪問查看開放職位：https://jobs.lever.co/MantaNetwork

關注官方頻道了解有關Manta/Calamari的更多信息：

Website:https://manta.network/

Twitter:https://twitter.com/MantaNetwork

Tags：MANANTANTAZKPSpider ManMUTANT幣Santas War NFT EpicZKPEPE

SAND