Điều tôi yêu thích ở StarkWare/net: Chúng tôi đặt mục tiêu cao và luôn đổi mới để đạt được mục tiêu đó. Dưới đây là hành trình khám phá những công nghệ tiên phong và đột phá kể từ năm 2018: - Stone: Bộ kiểm thử ZK đầu tiên của StarkWare, dựa trên ZK-STARKs - Cairo: một ngôn ngữ lập trình hợp đồng thông minh thân thiện với ZK, được tối ưu hóa cho ZK. - SHARP (Shared prover): kết hợp các lô giao dịch từ nhiều nguồn khác nhau thành một bằng chứng duy nhất. - Chứng minh đệ quy: thu thập nhiều bằng chứng, sau đó chứng minh chúng trong một chứng minh duy nhất. - Circle STARKs (hợp tác với Polygon): sử dụng STARKs trên một khu vực nhỏ. - S-two: Công cụ ZK thế hệ tiếp theo của StarkWare, cải thiện khả năng mở rộng đáng kể, cho phép chứng minh phía máy khách. Mỗi bước tiến ở đây không chỉ đơn thuần là cải tiến công nghệ, mà còn là phá vỡ các rào cản, mở ra những con đường mới, xây dựng những khả năng mới. Tôi nghĩ định nghĩa chính xác nhất cho cách tiếp cận này là "định nghĩa lại blockchain". Vậy, bước tiếp theo là gì?