主網測試版在這裡看起來不錯。 - 證明者競爭異常激烈 - 在 Boundless 上證明實際上是免費的 - 所有證明者都是第三方（Boundless 團隊不進行任何證明，完全去中心化） Boundless 是可靠的。

在觀看 SBC 的 Jigsaw 講座時，我想到要寫這個，這是一種基於 coSNARK 的私密智能合約方法。

如何透過以下方式建立私人智能合約： - zkSNARK：狀態是承諾，一個單一的證明者在明文上計算並發布 zkSNARK，沒有全局解密或訪問控制。 - coSNARK：狀態是承諾，計算是通過 MPC 在鏈外進行，因此沒有單一伺服器看到完整的證據，仍然沒有全局解密或訪問控制。 - TEE：狀態是外部的密文和內部的明文，計算和政策控制的解密在遠程驗證的區域內運行，依賴於硬體/驗證的完整性。 - FHE：狀態是共同的 FHE 密文，任何人都可以進行同態評估並進行鏈上驗證，解密由閾值委員會控制（共謀風險）。 - iO：狀態是密文，計算是同態的，公共混淆解密器在沒有活躍密鑰持有者的情況下強制執行解密政策（無共謀風險）。

看到這麼多主要的 L2 現在進入第一階段，真是令人驚嘆。 在我看來，我們應該追求的下一個目標是快速（<1 小時）提款時間，這需要有效性（即 ZK）證明系統的支持。 我認為這比第二階段更重要。 快速的提款時間很重要，因為等待一周才能提款對人們來說實在是太長了，即使是基於意圖的橋接（例如 ERC-7683），如果流動性提供者必須等待一周，資本成本也會變得過高。這會產生巨大的誘因，讓人們選擇使用不接受的信任假設的解決方案（例如多重簽名/MPC），這會破壞擁有 L2 而不是完全獨立的 L1 的整個意義。 如果我們能將本地提款時間縮短到短期內少於 1 小時，中期內 12 秒，那麼我們可以進一步鞏固以太坊 L1 作為發行資產的默認場所，以及以太坊生態系統的經濟中心。 為了做到這一點，我們需要擺脫樂觀證明系統，因為這些系統本質上需要等待多天才能提款。 歷史上，ZK 證明技術一直不成熟且昂貴，這使得樂觀證明成為明智且安全的選擇。但最近，這一情況正在迅速改變。是一個跟蹤 ZK-EVM 證明進展的絕佳地方，這些證明正在迅速改善。ZK 證明的正式驗證也在進步。 今年早些時候，我提出了一種 2-of-3 ZK + OP + TEE 證明系統策略，這在安全性、速度和成熟度之間取得了平衡： * 2 of 3 系統（ZK，OP）是無信任的，因此沒有單一行為者（包括 TEE 製造商或側信道攻擊者）可以通過違反信任假設來破壞證明系統 * 2 of 3 系統（ZK，TEE）是即時的，因此在正常情況下可以快速提款 * 2 of 3 系統（TEE，OP）在各種情境中已經投入生產多年 這是一種方法；也許人們會選擇 ZK + ZK + OP 平局，或 ZK + ZK + 安全委員會平局。我在這裡沒有強烈的意見，我關心的是根本目標，即在正常情況下快速且安全。 有了這樣的證明系統，快速結算的唯一瓶頸變成了在鏈上提交證明的燃料成本。這就是為什麼我說短期內每小時一次：如果你試圖更頻繁地提交 500k+ 燃料的 ZK 證明（或 5m 燃料的 STARK），會增加高額的額外成本。 在更長期內，我們可以通過聚合來解決這個問題：來自 N 個 rollup 的 N 個證明（加上來自隱私協議用戶的交易）可以被一個證明所取代，該證明證明了 N 個證明的有效性。這變得經濟實惠，可以每個槽提交一次，實現最終目標：通過 L1 進行近乎即時的本地跨 L2 資產移動。 讓我們一起努力實現這一目標。

去找女孩們 @chippedsocial 💕

去中心化排序是一種抵抗審查和最小化信任的解決方案。這不一定意味著更好的正常運行時間。 Rollups 能夠保持極高的正常運行時間，因為它們擁有集中式基礎設施。去中心化排序（在不受信任的參與者之間）會承擔排序者失敗的持續風險。雖然網絡可能會更快地從這些失敗中恢復（與昨天的 @base 相比，少於 33 分鐘），但發生失敗的機會更高。 去中心化排序有許多好處，但它並不是解決我們所有問題的萬能鑰匙。

如果你正在使用 EigenCloud 建設，那麼你還是早期階段 🫡

Depot 之前的 Rust 螃蟹：☠️ 插入 Depot Cache + 更快的跑者之後：🦀💨 完整指南在 🧵

在2023年，Arbitrum是一個FIFO鏈，並且沒有優先的燃氣排序 由於其集中式排序器，Arbitrum與集中式交易所無法區分

我如何差點摧毀 Arbitrum - 以及這如何使我激進化 🧵