Cristian Conache

1 場

以 Lean 驗證以太坊共識規格，找出序列化長度上限錯誤預覽圖

以 Lean 驗證以太坊共識規格，找出序列化長度上限錯誤

FOCIL in Lighthouse

以太坊共識規格持續變動，通過測試案例不代表涵蓋所有輸入。

DEVCON 8