Nieintuicyjny wynik z najnowszych benchmarków OpenVM od @powdr_labs: Autoprekompilacje dla Keccak i U256 faktycznie przewyższają ich ręcznie napisane, wysoko zoptymalizowane odpowiedniki. Sugeruje to, że zautomatyzowana optymalizacja na poziomie kompilatora może przewyższyć ręcznie dostosowane obwody.