今天我們帶來《Behind the Proof》，在這裡我們探索使 Brevis 成為可能的卓越人才。 首先介紹：Alan Li @succinct_li，我們的首席科學官。 🧵

在創立 Brevis 之前，Alan 在麻省理工學院獲得電機工程和計算機科學的博士學位，然後創立了一家 AI 科學初創公司，推進了三個藥物管道到開發候選階段，並在《自然》和《細胞》上發表了研究。 這證明了 Alan 進入陌生領域、迅速掌握並交付成果的能力。

在加入 Brevis 幾個月內，艾倫解決了 zkML 最棘手的問題之一。 神經網絡本質上是稀疏的，但現有系統卻對每個操作都進行了相同的處理。他開發的協議 SpaZK，僅為重要的部分生成證明，顯著降低了計算成本。

然後來了 Pico Prism。 當 Alan 加入時，最先進的技術是 40.9% 的 Ethereum 區塊在 10.3 秒內被驗證，使用的硬體成本為 256K 美元。 在他的領導下：99.6% 的覆蓋率，平均 6.9 秒，使用的硬體成本為 128K 美元。 所有這一切都在一年內完成。

接下來是什麼？ 艾倫的團隊目標是使用少於 16 個 GPU 來實現 99% 的即時證明及更高。 隨著 ProverNet 主網測試版的上線，我們預期艾倫的工作將塑造 ZK 證明在整個生態系統中的協調方式。

這就是擁有艾倫作為首席科學官的意義。當 Brevis 面對困難的問題時，我們知道我們有一位能找到解決辦法的人。 我們才剛剛觸及表面。 閱讀完整的個人資料：