không nghĩ nhiều người biết rằng toán học đằng sau các chứng minh ZK phức tạp đến mức nào. Khi các chứng minh đắt gấp 1000 lần so với bản gốc, mọi tính năng phải được tối ưu hóa một cách cẩn thận. Kỹ thuật chính xác này là lý do tại sao việc xây dựng một zkVM sẵn sàng cho sản xuất mất nhiều năm.