Kết quả ngược lại từ các bài kiểm tra OpenVM mới nhất của @powdr_labs: Autoprecompiles cho Keccak và U256 thực sự vượt trội hơn so với các phiên bản viết tay, được tối ưu hóa cao. Điều này gợi ý rằng tối ưu hóa ở cấp độ biên dịch tự động có thể vượt qua các mạch được điều chỉnh bằng tay.