Mọi người đều đồng ý rằng ZK-STARKs là hàng đầu để xây dựng blockchain. Điều này không phải lúc nào cũng đúng và thật tốt khi nó trở thành sự đồng thuận. Điều chưa trở thành sự đồng thuận và tôi dự đoán sẽ trở thành như vậy: nếu chuỗi của bạn dựa vào công nghệ ZK, ngôn ngữ lập trình và VM của bạn nên được tối ưu hóa cho ZK. Một chương trình được viết bằng ngôn ngữ thân thiện với ZK (ví dụ: Cairo) có thể được xử lý một cách mượt mà bởi một VM dựa trên ZK. Nếu nó được viết bằng một PL không được tối ưu hóa cho ZK (chẳng hạn, Solidity), thì bạn sẽ cần phải trải qua một số cách giải quyết, trước khi một zkVM có thể xử lý nó. Những cách giải quyết này có nghĩa là (1), bạn đang mất độ chính xác và hiệu quả, và (2) bạn thậm chí có thể gặp rủi ro về lỗi. Bạn cần công cụ phù hợp để làm việc với ZK.