熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
pscott.eth ⚡️| ✨
聯合創始人 @UncapLabs --- Ex @SnapshotLabs / Ex @Ledger
pscott.eth ⚡️| ✨ 已轉發
故事時間 -- 西部最快的證明者及其誕生過程。
當我們在2018年創立StarkWare時，我們的目標是建立第一個生產級的STARK證明者。當時，限制因素是以太坊的燃料成本。使用巨大的數字（256位的）來構建證明者是最簡單和最便宜的。這導致了一個簡單的STARK證明者，我們知道通過減少域大小可以使其更高效。
快進到2023年。到現在為止，整個世界都相信zkSTARKs是終極解決方案，許多團隊開始使用小域來構建系統，這導致了更快的證明者。
在2023年夏天，我們開始了一個項目，以選擇下一代證明技術。我們調查了所有現有的證明技術 -- SNARKs、基於折疊的技術、GKR等等。
我們非常迅速地意識到，主導性能因素是有限域的大小，32位質數是最佳選擇。為什麼？（1）所有現代硬體架構都針對這些進行了優化，（2）為什麼選擇質數（而不是二進制）？因為GPU不支持二進制乘法。
好吧，這讓我們面臨證明技術的選擇，如GKR和STARK，基於32位質數。
現在我們面臨一個問題。最快計算的最佳域是M31，但它缺乏快速STARK所需的群結構。
幸運的是，聰明的三人組 -- Ulrich Habock（當時在Polygon，現在全職在StarkWare）、David Levit和Shahar Papini想出了一種方法，利用M31上的“圓群”來獲得最佳解決方案。
新團隊開始實施數學。我們以最有效的方式進行測試和驗證效率，並以足夠模組化的方式構建，以便其他團隊使用。同時，基於我們之前的經驗，AIR約束基礎設施從零開始重建，以達到健全和高效的結果。
現在，Stwo正在Starknet中投入生產，降低成本和延遲。我們測試的基準數據超乎想像。與此同時，多個外部團隊正在使用它來構建他們的基礎設施。我認為這將成為開源證明者的黃金標準，歡迎大家使用它。
結束。
10.3K
這就是巔峰的 copium 形象
7月22日 01:07
以太幣再次回到其交易範圍的上端。如果你擁有任何以太幣，這是個絕佳的賣出時機。儘管這讓我感到痛心，但賣掉以太幣並用所得購買比特幣，這筆交易比持有以太幣要好。
8.04K
我過去說過，現在也要再說一次：
鎢是一個對 @EliBenSasson 的槓桿投注。
7月21日 17:46
我差點從 @ercwl 那裡得到一個鎢立方體
我聲稱（而且現在仍然這樣）詐騙證明是無效的。這意味著「任何人都可以啟動仲裁過程」的承諾無法成立。
幾年前，埃里克在晚餐時問我：「你想用一個鎢立方體來打賭嗎？」
我說：「好啊！我打賭在接下來的三年內，沒有任何基於詐騙證明的系統能提供真正的序列器和驗證者的去中心化，並且允許一個低於100美元的爭議保證金，對普通用戶可用。」
詐騙證明系統無法以那個價格提供爭議保證金的簡單原因是，這會為惡搞/拒絕服務攻擊系統打開大門。
我們從未正式將這寫下來，我相信已經過了相當長的時間，但我今天仍然樂意與他或任何接受挑戰的人進行這場賭注。
171
熱門
排行
收藏