Nhiệm vụ đã rõ ràng: làm cho tính toán có thể xác minh được trên toàn bộ thế giới kỹ thuật số. Khi bạn kết hợp điều này với sự tiến bộ của AI, điều không thể tránh khỏi xảy ra—chúng trở nên gắn bó với nhau. Tính toán có thể xác minh và trí tuệ nhân tạo không chỉ bổ sung cho nhau; chúng định sẵn để phát triển cùng nhau. STARKs đang mở ra cánh cửa ở đây, cho phép các bằng chứng hiệu quả đến mức có thể chạy trên phần cứng cơ bản. Chúng tôi đang xây dựng một tương lai nơi mọi tính toán đều có thể được chứng minh, từng xác minh mật mã một.