來自@powdr_labs最新OpenVM基準測試的反直覺結果：Keccak和U256的自動預編譯實際上優於它們手動編寫的高度優化版本。 這表明自動化編譯器級優化可以超越手工調優的電路。