ISM:長推：分享 8 個早期ZK項目_REL

注：本文來自@GodotSancho?推特，MarsBit整理如下：

分享幾個早期ZK項目：

1）zkBob

支持Polygon、Optimism、Ethereum，目前僅支持穩定幣BOB單幣隱私傳輸，用戶DepositBOB，通過ZK獲得加密地址，將BOB隱私傳輸給其他加密地址。提款時，也可提款給其他地址。暫時僅限BOB。交互確認時間稍長，需1分鐘左右。

https://app.zkbob.com/deposit

BOB代幣錨定機制，依靠預先在Uniswapv3注入USDC/BOB等LP池。池子由官方中心化控制。

數據看板如下：

https://dune.com/maxaleks/zkbob

數據：Linea主網交互地址數突破17萬個:金色財經報道，Dune數據顯示，Linea主網已橋接轉入25,330枚ETH，交易筆數達235,067筆，交互地址數達170,444個。[2023/8/14 16:24:02]

2）EmpiricNetwork

zk預言機項目。現有的預言機問題，鏈外數據需要可信第三方。EmpiricNetwork則構建了ZK預言機。數據方是證明者，智能合約是驗證者。

https://empiric.network/

@EmpiricNetwork直接與數據源合作，如@JaneStreetGroup、AlamedaResearch、Gemini、@CMTDigitalLtd等，由他們直接上傳數據給底層的zk-Rollup網絡，任何人都可以驗證有時間戳的數據，是由來源方正確簽署的。統一數據的多重來源，保障了不存在預言機價格攻擊。

Willkie Farr&Gallagher法律顧問：監管機構只是在打擊該行業:金色財經報道，紐約Willkie Farr&Gallagher律師事務所的法律顧問Mike Selig表示，SEC投訴中提到的代幣除了都是基于區塊鏈的加密資產之外，并沒有太多共同點。它們包括主要區塊鏈網絡的資產、元宇宙和游戲代幣、穩定幣以及提供特定功能的各種實用代幣。通過命名如此廣泛的差異化代幣，SEC有效地向市場發出信號，表明它將大多數代幣視為證券。雖然SEC辯稱控制加密貨幣業務的嚴厲措施只是為了保護投資者免受欺詐和操縱，數字資產市場充斥著欺詐和操縱，但業內人士的一個流行觀點是，在多個高調破產的加密貨幣交易所導致數十億美元的損失之后，監管機構只是在打擊該行業。[2023/6/30 22:09:58]

Empiric具有鏈上可組合性。可組合性第一個用例是，構建鏈上收益率曲線，目前StarkNet生態的@curve_zero在用。第二個是市場波動率，從傳統市場中得到期權的已實現波動率和隱含波動率。

美股三大指數集體收漲，標普500指數漲1.45%:金色財經報道，美股三大指數集體收漲，道指漲2.12%，本周累漲2.02%；標普500指數漲1.45%，本周累漲1.82%，周線3連漲；納指漲1.07%，本周累漲2.04%，周線6連漲。[2023/6/3 11:55:27]

3）iden3

zkDID項目，證明鏈上身份擁有某項權利的同時，可將身份隱私。

iden3將數據放在一個數據庫里，構建一個該數據庫的Merkle樹，然后在鏈上發布Merkle樹的根。

身份數據若想在之后更新Claim，只需重復同樣過程，并公布Merkle樹的新根。

間接聲明和去信任化中繼器，用戶可以在鏈下中繼器上發布聲明，無Gas，用ZK確保中繼器去信任化。

Arbitrum社區正對AIP-1.1和AIP-1.2提案進行投票，目前支持票占優:金色財經報道，Snapshot投票頁面顯示，Arbitrum社區正在對關于擴大ARB代幣持有人監督和治理權力的兩項提案（AIP-1.1和AIP-1.2）進行投票，這兩項投票于4月11日開始，并均將于4月18日凌晨截止。

提案AIP-1.1建議將基金會剩余的7億ARB置于“智能合約控制的鎖定”中，四年內解鎖。根據提案，在社區成員批準代幣分配預算之前，基金會將無法使用代幣。此外，Arbitrum 基金會還發布了一份關于該組織如何成立的透明度報告。

提案AIP-1.2旨在修改Arbitrum生態系統的幾個治理文件，包括將在鏈上發布改進提案所需的ARB代幣數量的門檻從500萬降低到100萬。目前該兩項提案的支持率均在98%以上。[2023/4/17 14:08:20]

團隊技術很強。使用Rapid-PLONK，支持DID、JSON-LD和JSON模式，以便與互聯網W3C的可驗證憑證標準互操作。

提出Websnark，并開發Wasmbuilder工具，可在幾秒鐘內從瀏覽器生成ZK證明，用途包括匿名投票、匿名轉賬和不透露身份的Claim證明等。

Web3日活用戶數排名：BNB Chain第一約110萬，Polygon第二約39萬:金色財經報道，數據網站Token Terminal推特發文稱，各主流公鏈和應用的Web3日活躍用戶數排名顯示如下：

1、BNB Chain：110萬；

2、Polygon：39萬；

3、Ethereum：34萬；

4、Solana：12萬；

5、Fantom：5.82萬；

6、Arbitrum：5.8萬；

7、OpenSea：5.4萬；

8、Optimism：4.9萬；

9、Uniswap：4.4萬；

10、Avalanche：3萬。

有從業者分析稱，這些數據存在水分，需要清洗掉“機器用戶”。這意味著，Web3的真實用戶數可能要低于該數據。考慮到一個真實用戶可能存在多個地址，Web3用戶數或許要遠小于該數據。[2022/12/19 21:52:50]

Circom2,Snarkjs和Circomlib。

Circom2用于編寫zkSNARKs電路，TornadoCash與ZK全鏈游戲@darkforest_eth已應用。

SnarkJS是完全用Javascript編寫的zkSNARKs協議的實現。

Circomlib是電路庫，可用于生成更高級電路，包括各種二進制比較器、二進制轉換器、edDSA簽名驗證器、稀疏Merkle樹處理器、pedersen散列、mimc散列和SHA256。@identhree#TwitFi

4）HyperOracle

zkMiddleware，獲取Uniswapv2、Curve3poolSwap、AavelendingPoolProvider等數據。HyperOracle節點獲取并緩存智能合約狀態，生成證明，數據可跨鏈。

zk-Indexing、zkAutomation是兩個重要組件。

zk-Indexing類似@graphprotocol，保留了subgraph優秀的功能體驗，并加上ZK，解決性能和安全問題。開發者可無縫從subgraph遷移到zkGraph。zkIndexing的zkGraph定義了區塊鏈/dApp數據索引模式映射，方便開發者調用。

下圖示例更直觀一些。

zkAutomation是去中心化自動化協議，通過zkIndexing提供的數據，可搭建預言機、鏈間套利機器人、量化交易程序，實現可編程流動性等等。@HyperOracle是個值得長期關注的項目。#TwitFi

5）@ModulusLabs

ZK+鏈上AI項目，可以為區塊鏈建立一個去中心化數據建模或分析平臺，或去信任的人工智能預言機。

6）interep

Interep基于社交賬號和Poap獲取用戶DID身份。用戶連接錢包，授權Github、Reddit或Twitter賬號數據，通過zk-SNARK生成SemaphoreID。Interep會將用戶劃分到Gold、Sliver、Bronze、Unrated身份組。

Interep提供API、JSlibraries，其他項目可接入InterrpDID數據。

https://interep.link

7）Relicprotocol@RelicProtocol構建了三種數據類型：鏈上歷史狀態Relics，證明某以太坊賬戶當前狀態；鏈外數據Artifacts，區塊鏈外數據上鏈；鏈上歷史狀態HistoricalEthereumstate，查詢特定區塊高度內某賬戶狀態。https://relicprotocol.com

Relic建立在Merkle樹證明、Merkle-Patriciatrie證明和zk-SNARK基礎之上。允許Relic證明有關以太坊歷史狀態的事實，而無需依賴受信第三方。

通過zk-SNARK，Relic可以在一次交易中驗證超過1,000,000個區塊的哈希值，減少高達99%的Gas成本。

Relic電路需要實現Keccak-256。Keccak-256在PLONK中效率低。Relic采取UltraPLONK和聚合。UltraPLONK是PLONK改進版，帶有查找表、自定義門，提高電路中哈希函數和橢圓曲線操作效率。聚合使Relic能夠將兩個或多個小證明合并成一個新的小證明，類似遞歸。

8）Sismo

@Sismo_eth構建一種身份保管和驗證機制，當用戶需要登錄一些有條件的場景時，Sismo可以作為中間件接入。

Sismo由三部分組成：首先是，SismoBadges靈魂綁定代幣證明，用戶可基于之前的鏈上行為，鑄造Badge；

https://sismo.io#TwitFi

其次，SismoVault隱私賬戶保護工具，用來導入鑄造Badge所需賬戶密碼。用戶可以將Vault訪問權授予其他錢包地址，使他們成為可以解密和訪問Vault的人。由于進行了加密，授權賬戶不會獲取用戶隱私。DAO委員會可授權一個自己的新地址訪問Vault，使用新地址在DAO內投票，徹底匿名。

第三，ProvewithSismo隱私保護登錄工具。利用ZK實現隱私，同時具有模塊化和互操作性特點。

Sismo實際上應該是項目方所希望構建的一種Web3登錄方式。當你擁有某個Badge，想訪問擁有該Badge才能訪問的特定功能或網頁，就可用到ProvewithSismo。

缺點是，一旦授權了指定賬戶，就不能撤銷了。而且Badge鑄造之后會一直擁有，哪怕你可能已經失去資格了。39

Tags：ISMARKRELSISOptimism DogePARK價格Shkreli InuOASIS

XMR