Парадоксальний результат останніх тестів OpenVM від @powdr_labs: автокомпіляції для Keccak і U256 насправді перевершують свої написані вручну, високооптимізовані аналоги. Це свідчить про те, що автоматична оптимізація на рівні компілятора може перевершити схеми, налаштовані вручну.