ViaBTC Capital｜盤點Gitcoin第13輪捐贈的ZK專案

背景

Gitcoin是Web3.0領域最大的融資和建設平臺，Web3.0專案的創造者和建設者可以在Gitcoin上面獲得社區用戶的資助。截止3月底，在Gitcoin有超過2400個專案和31.2萬名活躍開發者，資助金額高達5460萬美元。Gitcoin Grants是Gitcoin定期舉辦的眾籌活動，社區用戶可以不定額地支持潛在優質的新專案。Gitcoin第13輪專案Gitcoin Grants活動（GR13）在3月9日開始，3月24日結束，共有超過800個專案，專案按多個標籤分類，而zkTech標籤下麵有20多個專案。

zkTech類專案是指以零知識證明（ZKP）為中心的早期、開源或公共應用的專案。ZKP在區塊鏈發揮著越來越重要的作用，例如著名的隱私類專案Zcash採用了ZKP來保護用戶的交易隱私。而ZKP在以太坊擴容也獲得了高度重視，Vitalik在多個場合高度評價以ZKP為基礎的ZK Rollup，甚至認為ZK Rollup是以太坊二層擴容的長期方案（https://zeroknowledge.fm/120-2/）。根據L2BEAT（https://l2beat.com）的數據統計，目前TVL前10的二層專案有4個ZK專案，包括有zkSync、dYdX和Loopring等。本文將主要盤點zkTech標籤下麵的20多個ZK專案，以窺探ZK世界的一角。

社區教育

專案：learn.0xparc.org

網站：https://0xparc.org/

0xPARC基金會旨在促進以太坊和其他去中心化應用的研究和教育發展，目前已經資助、提供運營支持或以其他方式參與的專案包括Dark Forest、EthUniversity、Reboot、Project Sophon等。0xPARC從應用ZK的學習小組中整理了學習資源並整合在learn.0xparc.org。在這個learn.0xparc.org的網站上，我們可以看到學前資料要求、學習小組講義和Demo等資源。這是一個不斷更新的學習資源集合平臺，旨在為學習ZK空間的愛好者提供、整理最佳的資源。0xPARC從捐助中獲得的資金主要用於支持管理員和志願者維護整個專案的資源。

專案：ZK Travel Scholarships

網站：https://0xparc.org/

這個專案同樣由0xPARC基金會發起，它有點類似助學金，0xPARC計畫和斯坦福區塊鏈研究中心合作，資助加密領域的研究員或學生參與ZK相關的或其他加密的會議。該計畫希望通過讓學術研究人員參加以太坊、區塊鏈社區活動和會議，將這些研究人員與區塊鏈社區更緊密地聯繫起來，從而為區塊鏈的長期應用提供持續的基礎研究。

專案：Blaine Bublitz

網站：https://github.com/phated

這個專案有點特別，它是直接對開發人員Blaine Bublitz的工作進行資助。Blaine是一位活躍的ETH/ZK基礎設施和生態開發者，曾參與多個開源的ZK工具開發。

專案：ZK HACK

網站：https://www.zkhack.dev/mini.html

ZK HACK是一個短週期的線上活動平臺。通過介紹性研討會和高級解謎比賽，參與者可以學習如何使用ZK工具。

專案：MoonMath Manual to zk-SNARKs

網站：https://leastauthority.com/

Least Authority是一家提供安全服務的諮詢公司，他們希望通過自己整理的zk-SNARKs指南，提供給密碼學和編程方面的新人，使讀者能夠逐步實現複雜的的ZK設計。

專案：zkApe

網站：https://zkape.substack.com/

zkApe是土耳其語的ZK資訊通訊簡報，定期彙集了關於ZK技術的發展、更新、刊物和播客。

開發類

專案：Circom

官網：https://iden3.io/circom

Circom是ZK領域重要的電路編程語言和編譯器，允許程式員為零知識證明設計和創建自己的算術電路。以太坊擴容解決方案技術團隊iden3的Jordi Baylina於2018年開發了Circom第一個版本。作為零知識技術的重要開發工具，Circom已經成功用於Tornado Cash，Dark Forest，Polygon Hermez等專案。

Circom是一種新穎的領域特定語言，它旨在為開發人員提供一個整體框架，通過簡單操作的介面構建算術電路，並概述證明機制的複雜性。其中CircomLib是一個開源的範本庫，它提供數百個電路範本，如比較器，哈希函數，數字簽名，二進位和十進位轉換器等，所有範本都經過人工驗證，並通過構造保證安全。Circom通過定義小片段並將它們組合以創建描述複雜現實世界問題的大型電路，幫助程式員以模組化的方式工作。另外，用戶也可以創建自己的自定義範本。

專案：CirC

網站：https://circ.dev/

CirC是一個編譯器基礎結構，支持從高級語言到電路的編譯，例如它已經可以用於將{C,ZoKrates,Circom}編譯為{SMT,ILP,R1CS,MPC}。

專案：ZKxZK

網站：https://0xparc.org/blog/zk-ecdsa-1

ZKxZK是一項獲得0xPARC基金會資助的開源工作，旨在通過Circom語言為加密學裏的橢圓曲線加密演算法(ECC)和基於雙線性對密碼學(PBC)實現有效的概念驗證ZK電路。其捐助獲得的資金主要用於伺服器的租金，以運行所需要的程式。

專案：ZKML

網站：https://github.com/0xZKML/zk-mnist

ZKML希望通過Circom語言開發有關機器學習的zkSNARK電路，它是在2021年0xPARC第一次學習小組中完成概念化和啟動的專案。

專案：Zk Block

網站：https://zkblock.app/

這個專案希望通過開發一個統一的ZK範本（稱為zkblock），支持最新的網頁開發技術和ZK的常用代碼庫，讓開發者可以快速專注於開發高質量的ZK Dapps。

專案：zkREPL

網站：https://zkrepl.dev/

zkREPL是一個基於zk-SNARK技術的線上互動遊樂場，初學者和專家都可以線上上順暢練習和構建新的ZK創意想法。zkREPL是一個基於Web的SNARK開發環境，社區成員可以使用該工具協作構建越來越複雜的電路，也可以充當新的開發人員體驗功能的測試平臺。例如，在zkREPL上，用戶可以將滑鼠懸停在任何變數上以查看其值，就像零知識電路的連續調試器一樣。

應用類

專案：ZeroPool

網站：https://zeropool.network/

ZeroPool是一個多區塊鏈DApp，允許發送完全匿名的、廉價的、非託管的交易。ZeroPool 最近和Gnosis Chain(前xDai Chain)達成合作，Gnosis Chain將通過ZeroPool技術將隱私功能內置到EVM鏈和跨鏈橋。

專案：Otter Cash

網站：https://otter.cash/

Otter Cash類似Solana的TornadoCash，但是交易費用便宜很多，甚至不到1美元。

專案：zkC.R.E.A.M

網站：https://zkcre.am/

zkC.R.E.A.M是允許日本普通公民以完全匿名的方式參與選舉，同時保持最終投票計數的完整性和可驗證性。該專案已經得到以太坊基金會的Grant，目前已在官網發佈DEMO，後續將開發出一個對用戶友好的桌面版和移動客戶端。

視頻鏈接：https://youtu.be/plhcYwBmGY8

專案：ZK Data Marketplace

網站：https://modulozero.xyz/

ZK Data Marketplace是一個基於ZK實現的數據交易市場。它的業務邏輯大致是，賣方先承諾他們出售的數據能滿足某些計算屬性，然後買方將代幣鎖定在託管中，最後賣方使用買方的公鑰對數據進行加密，並提交ZK證明以驗證數據與承諾相符。如果有效，賣方可以獲得代幣，買方獲得數據。

專案：Decentralisedvoting

網站：https://github.com/EDGDrummond/DeVo/blob/main/DeVo.pdf

這是一個早期的專案，目前只有白皮書。它希望基於PLONK的電路和MPC實現去中心化的匿名投票系統，用密鑰生成共用和投票計數，以支持更多DAO向去中心化治理結構的過渡。

總結

我們可以看到GR13的zkTech專案主要分為三類。社區教育類占了約1/3，其中包括有0xPARC發起的學習小組資料和助學金，也有ZK HACK的線上活動等。開發類占了約1/3，基本上是Circom電路編程語言和一些代碼庫這類的基礎設施。這有可能是因為ZK的開發門檻高、開發者較少、開發工具較少，所以社區希望能夠整合資源，提供多樣的形式來培養更多的ZK開發者，以完善和優化開發工具。