oksolc 以平行與增量編譯縮短智慧合約開發等待時間

值得記下的 5 件事

1. [1:20]
   以輸出一致作為重寫約束 Henri 表示，團隊調整 LLVM 工具，取得原始 C++ 程式碼的更多標註與語意資訊，再用人工智慧協助移植到 Zig

   建立基礎版本後，團隊要求輸出逐位元組一致，連 JSON 輸出與中繼資料都納入要求；這是團隊描述的目標與成果，並非全面驗證的證據。

2. [2:20]
   先改善單核心效能，再加入平行編譯 Henri 稱，改善資料結構、編譯步驟與快取後，單核心編譯效能約為原先的二點五倍

   他接著以 EigenLayer 為例，表示平行編譯可達十至十二倍效能；這些是講者列舉的專案測試結果，不代表所有智慧合約都有相同提升。

3. [3:20]
   用 SQLite 保存資料，減少重複編譯 為了減少反覆修改測試帶來的等待，團隊將 SQLite 資料庫嵌入編譯器，保存編譯過程的中間資料，供後續編譯沿用

   Henri 稱，部分 Pendle 修改可在零點四四秒完成增量編譯；這是特定修改後的重編譯時間，不是完整編譯時間。

4. [4:20]
   透過設定接入 Foundry Henri 表示，使用者可在智慧合約開發工具 Foundry 的 foundry.toml 設定檔中指定 oksolc 路徑，或設定 FOUNDRY_SOLC 環境變數

   另可透過 oksolc.toml 設定同時執行的編譯工作數，以及是否啟用增量編譯。

5. [5:20]
   形式化驗證與測試擴充仍在進行 Henri 宣布，團隊已開始使用 Lean，以數學證明方式驗證編譯器，但尚未宣布完成

   被問到如何測試位元組碼是否一致時，他表示目前以數個大型專案組成測試基準，並希望取得更多資料集，擴大測試範圍。