@powdr_labsによる最新のOpenVMベンチマークの直感に反する結果:KeccakとU256の自動プリコンパイルは、実際には手動で記述され、高度に最適化された自動プリコンパイルよりも優れています。 これは、自動コンパイラレベルの最適化が手作業で調整された回路を超える可能性があることを示唆しています。