ETHTaipei x TEM #7
2024/09/18:淺入淺出 EOF Meetup
本月 Meetup 由海帶為大家帶來即將在下次硬分叉登場的 EVM 重大更新 — EOF!如果你在 EVM 鏈上寫過合約,肯定遇過不少傻眼的問題,其中某些源自於 EVM 本身的缺點,例如萬惡的「Stack Too Deep」Error 🙄🙄🙄。而 EOF 除了會解決這些小問題並提升 EVM 執行效能外,它還能讓合約安全性大幅提升,因為 EOF 合約將能使用許多 Web2 的靜態分析工具來分析!想了解為什麼嗎?請親自觀賞海帶所帶來的淺入淺出 EOF :
如果看完這次 Meetup 影片還沒過癮的讀者,這裡有海帶老師正在為鐵人賽錄製的 EOF 系列影片!
如果你在看完這次演講後有更多的問題想問、有其他技術想了解,請大方地告訴我們!
編輯閒聊分享區
炫技點滿的 MEV Bot - bigbrainchad.eth
by
最近一個 MEV Bot 非常吸引人注目,它註冊了一個 ENS — bigbrainchad.eth
它不僅是 MEV 的專家,同時還有閒錢可以把自己的合約與交易弄得非常花俏…
首先,它的函式皆是以頗為嘲諷的「Code Is Law」作為開頭
接著更誇張的是它的交易雜湊值皆為 0xbeef 作為開頭…
如果你有看過 MEV Bot 合約,那你應該不會對它們特地 Grind 出來的特殊函式名稱感到陌生,但我相信各位應該也沒有聽過有多少人在 Grind 交易的雜湊值… 而這位 bigbrainchad 不只是特地 Grind 某一筆交易的雜湊值,而是 Grind 它每一筆 MEV 套利交易… MEV 套利交易競爭激烈,而這位老兄還有閒錢可以 Grind 它的交易雜湊值,實在是讓人甘拜下風。
有興趣的讀者可以去了解交易雜湊值的計算方式,然後再思考有哪些地方是可以動手腳來得到不同雜湊值。
更進階的讀者可以看這篇是有人試圖反組譯 bigbrainchad 的 MEV 合約的過程。
EF Research 12th AMA
問題:EF 目前正在從事 zk 研究的哪些領域?在哪裡可以找到 EF 目前/過去進行的 zk 研究?想了解關於 VDF 的使用情境,以及有無任何進展
by Kimi
EF Research Team 的回答
在 ZK 領域目前有兩個短期重要的目標
在普通筆記型電腦上每秒證明數十萬次雜湊的運算量
如果我們能做到這一點,以太坊就可以使用二元雜湊樹 (binary hash trees) 來取代以太坊狀態樹目前使用的結構,甚至可以直接跳過 Verkle Tree 升級並達到抗量子的特性(註)
「理想」的 ZK-EVM
「理想」有兩個關鍵要素:
即時性,也就是能夠在不到 4 秒內生成一個區塊的執行結果證明
可被驗證,確保證明系統只接受有效的 EVM 執行。這對於實現一些更具野心的跨 L2 互操作設計以及在 L1 充分發揮 ZK-EVM 的優勢都是必要的
註:這裡提到的 hash 應該是指傳統 hash,並非 ZK 友善的 hash。Vitalik 在多次演講及文章中提到以太坊最終會使用具有抗量子性的 STARK 技術,而 STARK 抗量子的關鍵之一就在於大量使用了 hash ,所以若能加速 hash 的運算則能讓產證明更快速,進而更加普及至一般筆電也能產生證明的程度。
關於 VDF 的近況
VDF 在以太坊 L1 的主要目的是要加強 RANDAO 隨機數的不可偏倚特性 (unbiasable) 。目前 VDF 仍是 L1 隨機數產生的終極方案,也還在以太坊藍圖的 Splurge 階段中,而且野沒有證據證明 RANDAO 實際上有被濫用,因此與幾年前相比,VDF 的優先級有所下降。
VDF 的設計比預期中的困難許多,因此花費了多年的努力。最初基於 RSA 的 VDF 設計因發現攻擊漏洞而轉向 MinRoot VDF。然而,近期發現 MinRoot 也存在攻擊漏洞使得攻擊者可以利用大規模並行運算加快 VDF 的計算速度,等同於打破 VDF 的安全假設。該漏洞顯示我們對 VDF 的設計和潛在攻擊了解不足,因此研究團隊目前不建議使用 VDF,需要等待進一步研究和改進
更多資訊可參考
https://ethresear.ch/t/statement-regarding-the-public-report-on-the-analysis-of-minroot/16670
https://www.initc3.org/events/2024-01-08-ic3-winter-retreat-2024
關於 EF 密碼學團隊的的研究,可以參考 https://crypto.ethereum.org/research
[New] Mentorship Experiment
我們正在找一些主題,看有沒有讀者有興趣,我們可以為你找到 Mentor 來提供方向、回答問題,協助你將主題相關知識產出成文章或演講。
例如像下次的 Pectra 硬分叉裡的 EIP,就是範圍很明確的主題。如果你對裡面某個 EIP 有興趣、想更深入了解,請告訴我們!
Pectra EIPs
如果你本身對這些題目就有興趣,打算要寫成文章分享,請參考下面的 TEM Medium 有獎徵稿!
調查對 Solo Staking 有經驗或有興趣的人
我們想了解有多少人對 Solo Staking 有經驗或有興趣,希望能組出一個本地的 Solo Staking 社群。如果你本身有在 Solo Staking 或曾經 Solo Staking 過,我們非常需要你的經驗與知識!如果你對 Solo Staking 有興趣但一直不敢嘗試,也請告訴我們,讓我們知道潛在的社群大小。
Grant
TEM 在進行實驗性的 Grant,贊助一些公共財。如果你有任何公共財想法也歡迎讓我們知道!
待認領的 Grant
無
進行中的 Grant
Paragraph.xyz 作為文章發表平台的 Survey
不同 Web3 協議的 Governance 機制 Survey
Web2 整合 ENS 的 Survey
區塊鏈技術名詞翻譯計畫
社群活動的報名平台 Survey
宣傳
TEM Medium 2024 有獎徵稿
TEM Medium 目前正在進行有獎徵稿!詳情請參考這篇文章
2024/10/02 Defi TLDR
下一次的 TLDR 將在 10/2(三)舉辦,地點在 Perpetual 辦公室~
活動報名連結:https://lu.ma/mhbtj28h
快來把你最近看到的新聞或技術放到這裡和大家分享!