Tôi đang cảm thấy lo lắng về độ phức tạp của zkVMs. Một điều tôi thích về thiết kế của CairoVM là nó khá đơn giản. Một số ý tưởng mới có thể làm mọi thứ nhanh hơn nhưng chúng là sự kết hợp của những ý tưởng rất phức tạp mà khó thực hiện. Tôi thật sự hy vọng rằng @ethereum, @leanEthereum và @eth_proofs coi trọng sự đa dạng trong việc triển khai nhưng cũng cần sự đơn giản. Nếu hệ thống chứng minh và VM quá phức tạp thì chỉ một nhóm người sẽ hiểu được và việc kiểm toán cũng như lập trình sẽ khó khăn hơn.