Trong crypto, có một câu nói mà bạn nghe thấy suốt: “đừng tin tưởng, xác minh.”
Đó là điều làm cho blockchain trở nên đặc biệt - không có bất kỳ quyền lực nào cần được tin tưởng vì mọi người có thể tự kiểm tra toán học. Cái bẫy? Kiểm tra thường có nghĩa là lặp lại toàn bộ công việc. Mỗi nút phát lại giao dịch, mỗi nhà xác thực thực thi lại mã. Nó giữ cho hệ thống trung thực, nhưng cũng làm chậm nó lại.
Các bằng chứng zero-knowledge (ZKPs) hứa hẹn một lối thoát. Thay vì mọi người làm lại công việc, một người có thể làm nó một lần, sản xuất một biên lai mật mã ngắn - một bằng chứng - và mọi người khác có thể xác minh ngay lập tức. Ý tưởng này là cách mạng. Vấn đề là... cho đến gần đây, việc xây dựng với ZK cảm thấy như phẫu thuật não. Bạn cần mật mã tùy chỉnh, “mạch” chuyên dụng, và cơ sở hạ tầng đắt đỏ để thậm chí bắt đầu.
Đó là vấn đề@Succinct Labs muốn giải quyết. Tầm nhìn của họ là đơn giản:
👉 làm cho bằng chứng ZK dễ dàng và có thể tiếp cận như điện toán đám mây.
Và họ đang làm điều đó với hai công cụ mạnh mẽ:
SP1, một máy ảo zero-knowledge (zkVM) nơi bạn chỉ cần viết các chương trình bình thường và nhận bằng chứng.
Mạng Prover, một thị trường phi tập trung nơi các nhà điều hành độc lập cạnh tranh để tạo ra những bằng chứng đó cho bạn.
Hãy nghĩ về nó như AWS cho ZK - nhưng mở, phi tập trung và không cần tin tưởng.
SP1: Bằng chứng không đau đớn
Hãy bắt đầu với SP1.
Thông thường, nếu bạn muốn sử dụng zero-knowledge, bạn sẽ cần thiết kế mạch - về cơ bản là thay đổi chương trình của bạn thành một hình thức nặng về toán học. Nó giống như việc bị bảo rằng bạn phải dịch toàn bộ ứng dụng của mình sang mã Morse chỉ để chạy nó.
SP1 thay đổi điều đó. Nó là một zkVM, có nghĩa là bạn có thể viết mã trong Rust (hoặc bất kỳ thứ gì biên dịch xuống RISC-V), chạy nó như thường lệ và nhận lại một bằng chứng. Không cần phải xử lý mạch, không cần bằng tiến sĩ mật mã.
Nó đã trải qua các cuộc kiểm tra chuyên nghiệp, nó là mã nguồn mở, và nó đã đang cung cấp năng lượng cho các dự án thế giới thực - như OP Succinct, giúp các rollup của Optimism trở nên có thể xác minh với ZK. Các đội như Mantle và Phala đã bắt đầu áp dụng nó.
Với SP1, việc chứng minh không còn là một kỹ năng hẹp nữa - nó chỉ là lập trình.
Mạng Prover: ZK như một Thị Trường
Bây giờ, bằng chứng không phải là miễn phí. Chúng có thể tốn sức mạnh GPU lớn để tạo ra, đặc biệt là cho các chương trình lớn. Đó là nơi phần thứ hai của Succinct xuất hiện: Mạng Prover.
Hãy tưởng tượng bạn là một nhà phát triển cần một bằng chứng. Thay vì thiết lập trang trại GPU của riêng bạn (và phải trả giá rất cao cho chúng), bạn gửi một yêu cầu vào Mạng Prover. Ngay lập tức, các nhà điều hành độc lập từ khắp nơi trên thế giới bắt đầu đấu giá để xử lý nó. Ai đưa ra giá tốt nhất và có thể giao hàng đúng thời hạn sẽ thắng.
Quá trình đấu giá này giống như Uber cho bằng chứng - ngoại trừ việc thay vì các tài xế cạnh tranh để cho bạn một chuyến đi, các nhà chứng minh đang cạnh tranh để cung cấp cho bạn một tuyên bố có thể xác minh về tính toán.
Nó nhanh vì có một hệ thống đấu giá ngoài chuỗi khớp các công việc theo thời gian thực. Nhưng nó an toàn vì mọi thứ cuối cùng đều được thanh toán trên Ethereum, với các bằng chứng SP1 xác nhận rằng thị trường tự nó đang hoạt động một cách trung thực.
Vì vậy, bạn có được điều tốt nhất của cả hai thế giới: tốc độ của dịch vụ web hiện đại, với độ bảo mật của toán học trên chuỗi.
Token PROVE: Chất keo
Để hệ thống hoạt động, Succinct đã giới thiệu token PROVE.
Nếu bạn là một nhà phát triển yêu cầu bằng chứng, bạn sẽ trả bằng PROVE.
Nếu bạn là một nhà chứng minh, bạn đặt cược PROVE làm tài sản đảm bảo (nên nếu bạn thất bại hoặc gian lận, bạn sẽ bị phạt).
Nếu bạn là một thành viên cộng đồng, bạn có thể ủy quyền token của mình cho các nhà chứng minh và chia sẻ phần thưởng.
Và theo thời gian, PROVE cũng sẽ là tiếng nói trong quản trị - quyết định nâng cấp và chính sách.
Có một nguồn cung cố định là 1 tỷ PROVE, vì vậy kinh tế được thiết kế để ổn định và minh bạch.
Tại sao điều này quan trọng
Tất cả những điều này có thể nghe có vẻ rất kỹ thuật, nhưng bức tranh lớn hơn thì đơn giản:
Ngày nay, việc xác minh trong blockchain là tốn kém và chậm chạp vì mọi người lặp lại cùng một công việc.
Với Succinct, một người có thể làm việc nặng nhọc, và mọi người khác chỉ cần kiểm tra biên lai.
Điều đó mở ra cánh cửa cho các rollup nhanh hơn, cầu nối an toàn hơn, oracle đáng tin cậy hơn, và thậm chí các trường hợp sử dụng bên ngoài crypto - như xác minh đầu ra AI hoặc chạy các trò chơi có thể chứng minh.
Đó là sự chuyển mình giống như khi thế giới chuyển từ việc chạy máy chủ trong tủ đến việc khởi động dịch vụ trên AWS. Đột nhiên, những gì trước đây khó khăn và chuyên môn trở nên rẻ, có thể mở rộng và dễ dàng.
Succinct muốn làm cho ZK dễ dàng như vậy.
Nhìn về phía trước
Các phần đã hoạt động. SP1 là mã nguồn mở và đang trong sản xuất. Mạng Prover đã ra mắt, với các nhà điều hành độc lập sẵn sàng cạnh tranh. Các dự án đã bắt đầu kết nối với nó.
Con đường phía trước là về quy mô. Nhiều nhà chứng minh, nhiều ứng dụng, và cuối cùng, nhiều phần cứng chuyên dụng cạnh tranh để cung cấp bằng chứng nhanh hơn và rẻ hơn. Nếu điều đó xảy ra, chi phí kiểm tra có thể giảm đến mức chúng ta bắt đầu thấy những ứng dụng hoàn toàn mới - những thứ mà chúng ta thậm chí không thể hình dung được.
Bởi vì vào cuối ngày, điều này không chỉ liên quan đến blockchain nhanh hơn. Nó là về việc tạo ra một thế giới mà sự tin tưởng có thể được ủy thác cho toán học. Và một khi bạn có điều đó, khả năng là vô hạn.
Kết luận cuối cùng
Succinct Labs đang cố gắng làm cho zero-knowledge trở nên hữu dụng cho mọi người, không chỉ cho các chuyên gia mật mã.
SP1 làm cho việc xây dựng với ZK cảm thấy như viết mã bình thường.
Mạng Prover làm cho việc mở rộng bằng chứng trở nên dễ dàng như việc kết nối vào một thị trường.
PROVE đảm bảo rằng hệ thống công bằng, an toàn và có động lực.
Nếu họ thành công, ZK sẽ không chỉ là một từ ngữ thời thượng. Nó sẽ trở thành một tiện ích cốt lõi của internet, đơn giản như việc khởi động một máy chủ đám mây.
Và điều đó có thể thay đổi không chỉ blockchain, mà còn thay đổi cách chúng ta tin tưởng vào chính tính toán.
