来自@powdr_labs最新OpenVM基准测试的反直觉结果：Keccak和U256的自动预编译实际上优于它们手动编写的高度优化版本。 这表明自动化编译器级优化可以超越手工调优的电路。