讓我給你講一個故事。 2023 年年中。我剛剛決定創辦 Fermah。 我與幾個我非常信任的人通了電話，其中包括Amit Sahai，他是一位世界知名的密碼學家，對 ZK 領域做出了基礎性貢獻。我分享了這樣一個願景：ZK 應該對開發人員來說很容易。沒有人應該費力地建立驗證基礎設施並對其進行優化;他們應該能夠將證明委託給一個完成它的平臺。 阿米特： “證人數據呢？怎麼能信任具有敏感見證數據的隨機 GPU？ 我： “當今生產中的大多數應用程式甚至沒有使用 ZKP 的零知識部分 -- 只是簡潔性。” 阿米特笑著說： “所以這就像沒有 ZK 的 ZK！那麼，關心隱私的應用程式如何生成證明呢？ 我：。。。 通話後，我開了很多會議，整天都坐立不安。我給Amit 寫了一封信，內容如下： “ZK 技術無法為它最初旨在保護的人提供，這很瘋狂。但我不確定現在是不是構建解決方案的合適時機。我得做一些市場調查。 因此，我從一個簡單的方法開始： 步驟 1.列出開始顯示出潛力巨大的應用程式 步驟 2。看看他們中的哪些需要隱私的 ZK 果然，兩個頂級應用程式是 ZK-identity 和 zkTLS。 在我們繼續這個故事之前，讓我快速告訴你為什麼我看好他們。 我對人格證明對於確保 AI 驅動的未來有多麼令人信服感到震驚，以及 AI 領域的引領者 Sam Altman 如何強調 @worldcoin 的 ZK 身份的必要性。 zkTLS 是一個更個人化的故事。我加入這個潮流時，幾乎只有幾個人。這是5年前的好事了。我在 @MinaProtocol 領導了一個 zkTLS 專案的產品和實施。甚至在那時我就明白，通過利用已經存在採用的地方——Web2 來推動加密的採用。而這個橋就是 zkTLS。 我確信我們必須解決這個問題。很明顯，我們需要走 MPC 路線——FHE 對於這種繁重的工作仍然過於樂觀。我深入研究了研究論文，發現了 Dan Boneh 和 Alex Ozdemir 的合作 SNARKs 論文以及隨後的工作線。這個想法是多台機器通過 MPC 協定執行證明生成，確保沒有一台機器可以訪問敏感數據。 快進到 2023 年 10 月/11 月，我正在運行 Dan 的整個 Fermah 願景。得到他對 Fermah 及其願景的祝福真是太好了。 從那時起，我繼續進行種子輪融資，並提出了一個核心論點：構建 Fermah 今天聞名的 - 一個通用的證明市場 - 並在頂部錦上添花：MPC-zkVM。 我的願景是構建一個對 MPC 友好並附帶保密證明委託的 ZKVM。 這個想法是： 答：開發人員可以使用 Rust 等流行語言編寫計算 B.他們不必擔心用戶體驗 -- 不再需要客戶端驗證 C. 他們不必管理驗證基礎設施 他們的客戶只需向 Fermah 發送一個「用隱私證明這一點」的交易——然後就會得到一個證明，以保密方式生成 這就是我們的機密證明委派 （CPD） 協定的核心。 我很高興與大家分享我們朝著這一願景邁出的第一步：用於 Groth16 樣張的 CPD — 仍然是目前使用最廣泛的樣張系統之一。 我們站在巨人的肩膀上： - @Ingo_zk 的 Icicle，可在 GPU 上增強驗證 - Taceo，將 MPC 帶到 Circom - Boneh-Ozdemir，將 MPC 添加到 Arkworks 我們的 CPD 協定與 Fermah 的匹配層攜手合作，為任何考慮到 ZK 和隱私的構建者提供完整的解決方案。 我們也非常感謝 @worldcoin 很早就相信這一願景。他們給了我們一筆資助來探索餘數證明系統的 CPD，考慮到 Fermah 對 ZK 身份的看好程度，這非常有意義。非常感謝 @recmo和 @DCbuild3r 的支援和信任。我們也感謝了不起的@nico_mnbl，來自前Modulus Labs的Ryan和Daniel，現在在World擔任傳聲筒！ 我們已經與一些非凡的客戶合作，並希望説明所有與 ZK 有共同隱私願景的人。 向前！