熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
Vanishree Rao
創辦人 @fermah_xyz |15 年設計和製造 ZK |加州大學洛杉磯分校密碼學博士 |MAMA BEAR 模式
Vanishree Rao 已轉發
歡迎回到與 Justified 一起學習 Fermah 的時間，我們將複雜的 ZK 問題用簡單的日常語言拆解。這裡有關於零知識的真實對話，以及 @fermah_xyz 如何塑造未來。讓我們深入今天的問題。
現在這是一個來自課堂的大問題：
抽象的證明工作流程能否成為 ZK 的 AWS Lambda？這是否太過了，還是已經來臨？
讓我們來拆解一下。AWS Lambda 改變了遊戲，讓開發者可以運行代碼而無需管理伺服器。一切變得更快、更輕、更具可擴展性。在 ZK 世界中，這種轉變已經在發生，而 Fermah 正處於這一變革的中心。
在此之前，生成 ZK 證明意味著需要處理複雜的設置、昂貴的硬體和許多優化的頭痛問題。但 @fermah_xyz 改變了這一切。它為開發者提供了一個簡單的 API 來接入，而在幕後，它處理所有的硬體、匹配、優化，甚至是機密證明。
這就是為什麼它讓人感覺像是 ZK 的 AWS Lambda，隨需應變、可擴展且對開發者友好。隨著這成為常態，我們將看到更多項目專注於他們的產品邏輯，而不是證明工程。證明變成了你 "呼叫" 的東西，而不是你 "建造" 的東西。一旦它達到真正的雲端級別的可擴展性和彈性，整個 ZK 生態系統將會更快增長。
初創公司可以在不需要深厚的密碼學團隊的情況下構建 ZK 應用。大型企業可以以更低的成本擴展證明。Fermah 通過抽象化複雜性，讓這個未來變得真實，並為大規模採用打開了大門。這不僅僅是一種便利，而是一種催化轉變。
這就是倡導者 @vanishree_rao 和團隊正在構建的 gfermah 💚
319
喜歡這篇文章，@Da_justified
7月17日 19:02
如果你曾經嘗試過使用 ZK 證明，你會知道這有多麼麻煩、昂貴且需要大量硬體資源。這就是 @fermah_xyz 的用武之地。
Fermah 是一個幫助項目快速、便宜且可靠地生成零知識證明的平台。你不需要擔心後端的複雜性。只需調用一個 API，就可以完成。
把 Fermah 想像成需要證明的人（如應用程式和區塊鏈）與生成證明的人（使用 GPU、FPGA 等）之間的中介。這就像 Uber，但用於證明。
在其核心，Fermah 是一個通用的證明層。它支持所有類型的 ZK 系統：zkEVMs、zkVMs、Groth16 和 STARKs 等等。因此，無論你是使用 zkSync、Polygon 還是 Jolt，@fermah_xyz 都會支持你。
但他們並沒有止步於此。他們還推出了一種稱為機密證明委託（CPD）的新方式。這是一種私密生成證明的新方法。沒有人能看到你的電路數據，甚至連證明它的人也看不到。這對於注重隱私的應用來說是非常強大的。
是的，fermah 最近在測試網上證明了一個 zkSync 區塊。這是邁向現實世界採用的一大步。
Fermah 背後是一支世界級的團隊。由 ZK 專家 Vanishree Rao 領導，她擁有密碼學的博士學位，並得到了 a16z、Celestia 和 Aztec 等大牌的支持。（我希望 @vanishree_rao 在 Aztec 上的說法是正確的 😅）
𝑻𝒉𝒆 𝒎𝒊𝒔𝒔𝒊𝒐𝒏？讓 ZK 證明變得像發送推文一樣簡單和可及。
這只是個開始。Fermah 正在塑造去中心化證明的未來。如果你關心擴展性、隱私或在 ZK 領域的建設，你會想要關注他們。
gfermah 💚
503
.@lagon20ms 深入探索！繼續加油。
CPD 是美好的，因為它無可否認地增值。
7月16日 19:50
fermah 的 CPD
正如我們所知，我在過去幾天一直在學習 @fermah_xyz，而這部分真的讓我印象深刻：
保密證明委託 (CPD)
這是 fermah 如何讓你在不放棄數據的情況下卸載 zk 證明工作。
你看，證明是一項繁重的工作。
對於以隱私為首的應用來說，這更難。
你想要委託這項工作，但又不想洩露敏感信息。
CPD 解決了這個問題；
使用 CPD，你提交一個證明任務，
在到達任何證明者之前，它會被拆分和混淆。
網絡可以在不查看你的原始輸入的情況下證明你的計算。
證明者不知道完整的見證；
他們不知道自己在證明什麼值；
他們只知道：
“這是有效的，這裡有一個證明來顯示它。”
這是隱私，規模化。
當你需要計算能力時，你就能獲得它，
而且沒有人能看到你的證明任務的內部，無論它是什麼。
@fermah_xyz 的 CPD 目前已經在 Groth16 上線，
像 Risc Zero 的 zkVM、SP1 和其他的也即將推出。
這解鎖了 zk 堆棧的一個巨大部分，
它是私密證明，並且是無信任設計。
這就是 zk 基礎設施應有的感覺：
可擴展、隱形，並圍繞用戶構建。
你只需編寫邏輯，
網絡會處理其餘的。
102.21K
Vanishree Rao 已轉發
最大的進步往往在寂靜中發生
任何技術領域中最具突破性的進展，往往是在寂靜中誕生的，通過在閉門之後形成的夥伴關係和在聚光燈之外開發的創新。
真正的進步一開始並不總是會發出聲音。但當它最終浮出水面時，卻會震撼世界。
在 ZK 領域的案例中，我們今天所見的爆炸性興趣、動力和吸引力，並不是一夜之間出現的。這是多年來安靜而持續努力的結果。
從 Zcash 等項目的基礎工作到 ZKSync 及其他，這一運動一直在一磚一瓦地建立。當前的浪潮之所以可能，正是因為已經奠定的基礎。
今天，以太坊及其創始人 Vitalik Buterin 正在推動將整個以太坊區塊鏈轉變為 ZKEvm 驅動的系統。但即使這一願景也深深植根於幾年前開始的 ZKP 旅程中。
話雖如此，沉默太久可能會成為一個問題。在一個注意力就是貨幣的世界裡，過於安靜可能看起來像是停滯。
有句話說：運氣是準備與機會相遇時發生的事情。但機會往往在於人們知道你正在建設時出現。
所以在沉默中建設的同時，不要害怕發出聲音。展示你正在創造的東西。
而最近 @fermah_xyz 與 @mintairxyz 之間的公告，這兩者自早期階段以來一直在積極支持 @fermah_xyz 的證明市場，並且在 fermah 接近主網時加倍努力這一合作。
讓人們、社區和未來將依賴於你創新的區塊鏈知道你存在，你正在工作、實驗並推動極限。
總之，ZKP 的支柱一直是其幕後的努力：安靜的基礎工作、失敗的實驗、不懈的測試和聰明的夥伴關係。我們今天所見的不是運氣，而是遺產在運動中。
@PranitGarg
1K
Vanishree Rao 已轉發
今天是星期一，還有什麼比寫關於 @fermah_xyz 更好的方式來開始這一週呢！
那麼，Fermah 到底是什麼呢？
Fermah 基本上是一個 zkproof 市場，連接需要零知識證明的人（尋求者）和生成證明的人（證明者）。想像一下，就像 Uber，它通過有效地將乘客與附近的司機匹配來連接司機和需要搭車的人。
附註：這是同類產品中的第一個 🫠
這是怎麼可能的呢？
我知道你在想什麼，我也有同樣的問題，這就是為什麼我閱讀了文檔，並且非常興奮地來分享這些。
所以，Fermah 技術的核心有三個基本組件：
- 尋求者節點
- 匹配器（核心）
- 證明者節點
匹配器是樂趣開始的地方
你看，@vanishree_rao 在這裡試圖實現的目標是讓任何人都能使用他們選擇的任何證明系統來有效驗證任務，因此 Fermah 是證明無關的。它支持所有主要的證明系統，包括 RISC Zero 的 @boundless_xyz、@SuccinctLabs SP1、@a16zcrypto 的 Jolt、@0xLita 的 Valida、@StarkWareLtd 的 Stwo，並迅速擴展以容納 @aztecnetwork 的證明系統、@NexusLabs zkVM、@StarkWareLtd 的 Stone 以及未來可能發明的所有其他證明系統。開發者不再需要根據證明系統來調整他們的應用程序，你可以在任何鏈上構建，並讓 Fermah 處理你的證明。
匹配器所做的（顧名思義）是協調網絡中的工作。它的工作原理是：
- 首先驗證請求參數
- 然後根據所需的硬體、成本和性能標準智能地將任務匹配到最佳的證明者節點
你不再需要擔心閒置的 GPU 或證明生成時間過長的問題。
有了 @fermah_xyz，隱私就在你的指尖！
1.2K
熱門
排行
收藏