9月18日，由冰鏈科技公司申請的 Starks Network 專案，獲得 Web3 基金會的稽覈透過，正式進入 Web3 第三季度資助名單。從申請書提交到專案被批准，只用了2天時間，充分體現了 Web3 基金會對本專案的重視與支援。
Starks Network 專案的定位是基於 zk-STARK 技術的零知識證明平行鏈，致力於為波卡生態內的其它平行鏈提供零知識證明服務。所使用的核心技術與以色列 StarkWare 公司為以太坊設計的 Cairo 專案有相似之處，都是使用 zk-STARK 虛擬機器為通用計算提供零知識證明的驗證服務。
對於零知識證明的簡單解釋是：可以向別人證明你知道某個某個資訊，但又不必出示該資訊本身。但現代零知識證明技術的核心作用，是計算完整性（computational integrity）的證明。即我可以證明我完成了某個計算，但是計算的輸入和細節都可以不告訴你。這個計算可能是數字憑證資訊的查驗，比如證明個人的年收入在某個範圍內；也可以是供應鏈金融的供銷存合約，比如證明兩個公司完成了一筆交易；也可以是 DeFi 上的某種資產的隱秘質押或兌換。
目前，使用零知識證明技術進行計算完整性證明存在一大阻礙，那就是需要為每種計算邏輯都定製一套特定的證明和驗證演算法。這種定製性的方式，嚴重阻礙了零知識證明技術的廣泛使用。Starks Network 專案使用了最先進的 zk-STARK 虛擬機器的概念，可以用一套計算設施為通用計算完成零知識證明驗證工作。相當於實現了從專用積體電路 ASIC 到通用計算裝置 CPU 的轉換。未來在波卡區塊鏈上，某條平行鏈的智慧合約只需要用通用的方式書寫自己的計算邏輯，就能透過跨鏈機制去 Starks Network 平行鏈獲得零知識證明服務。
眾所周知，zk-STARK 零知識證明技術具有伸縮性好、無需信任設定、天然抗量子計算等卓越優點，曾被 V 神稱作是“以太坊3.0”的核心技術之一。但是 zk-STARK 技術也有個天生的問題，那就是證明的尺寸比較大，不適合在區塊鏈上直接儲存使用。Starks Network 專案透過靈活使用波卡開發框架 Substrate 的鏈下工作機（off-chain worker）功能，完美地解決了該問題，為 zk-STARK 技術在波卡生態的廣泛使用鋪平了道路。
下一步，專案組成員將全力推進相關的開發工作，並將適時獲取波卡和 Kusama 網路的平行鏈槽位，爭取早日為波卡生態提供零知識證明服務。
據悉，Starks Network 也是國內首個以高校成員為主的 Web3 資助專案。專案組成員中有2人是山東工商學院電腦科學與技術學院2017級的在讀本科生。未來，該專案將繼續支援山東工商學院學生的創新創業活動，拓寬學生的國際視野，鼓勵學生儘早參與國際開源社羣合作。
作者：冰鏈科技，來源：PolkaWorld 公眾號
