Противоречивый результат последних бенчмарков OpenVM от @powdr_labs: Автопредварительные компиляции для Keccak и U256 на самом деле превосходят их вручную написанные, высоко оптимизированные аналоги. Это предполагает, что автоматизированная оптимизация на уровне компилятора может превзойти ручные настройки схем.