Hãy nói về một siêu năng lực của Starknet: Sierra. Khi bạn xây dựng một blockchain dựa trên ZK, với một VM dựa trên ZK cho tính toán tổng quát (như Cairo là cho Starknet), bạn sẽ gặp phải một vấn đề: Làm thế nào để làm cho VM vừa an toàn cho blockchain *và* thân thiện với ZK? Vấn đề là một trong những sự không xác định. Tôi sẽ giải thích: zkVMs trở nên hiệu quả hơn nhiều nếu sequencer/prover có thể "đoán" một số đầu vào nhất định và kỳ diệu điền chúng vào. Vấn đề là điều này mở ra cơ hội cho nhiều cuộc tấn công khác nhau: Một người dùng độc hại có thể gửi một tx mà không thể dễ dàng đoán được, và một sequencer/prover độc hại có thể quyết định không đoán giá trị đúng, nhằm gây hại cho người dùng. Giải pháp là gì? - Một lựa chọn là loại bỏ sự không xác định. Nhưng điều này làm giảm hiệu quả. - Một lựa chọn khác là sử dụng các phương pháp lý thuyết trò chơi để cho phép các sequencer khác trừng phạt kẻ tấn công trong khi khuyến khích một số sequencer bao gồm các giao dịch tốt. - Một lựa chọn thứ ba là xây dựng một đại diện trung gian an toàn (chúng tôi gọi nó là: Sierra). Sierra cho phép loại sự không xác định đúng đắn, theo cách mà tất cả các dự đoán có thể được điền vào. Trong quá trình này, việc có công cụ này cho phép giải quyết những điều thú vị khác, như thêm đo lường gas như một phần của quá trình biên dịch. Tóm tắt: Dưới nắp của Cairo, ngôn ngữ hợp đồng thông minh tốt nhất, có một viên ngọc, một siêu năng lực, cho phép chạy ZK dựa trên blockchain an toàn và hiệu quả. Chỉ trên Starknet, công nghệ tương lai hôm nay.