非常酷!恭喜@vanishree_rao!
讓我給你講一個故事。 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 有共同隱私願景的人。 向前!
查看原文
1.28萬
8
本頁面內容由第三方提供。除非另有說明,OKX 不是所引用文章的作者,也不對此類材料主張任何版權。該內容僅供參考,並不代表 OKX 觀點,不作為任何形式的認可,也不應被視為投資建議或購買或出售數字資產的招攬。在使用生成式人工智能提供摘要或其他信息的情況下,此類人工智能生成的內容可能不準確或不一致。請閱讀鏈接文章,瞭解更多詳情和信息。OKX 不對第三方網站上的內容負責。包含穩定幣、NFTs 等在內的數字資產涉及較高程度的風險,其價值可能會產生較大波動。請根據自身財務狀況,仔細考慮交易或持有數字資產是否適合您。