<Tại sao ZK thất bại, và Succinct muốn thay đổi điều gì?> 1. Nhận thức về vấn đề Người sáng tạo Bitcoin Satoshi Nakamoto đã bày tỏ sự hoài nghi về bằng chứng không kiến thức (ZKP). "Để chứng minh rằng một cái gì đó không tồn tại, bạn cần biết toàn bộ giao dịch", ông nói, và đánh giá rằng việc áp dụng ZKP cho blockchain là khó khăn về mặt cấu trúc. Tuy nhiên, ông cũng nói, "Nếu chúng ta tìm ra giải pháp, sẽ có thể triển khai Bitcoin tốt hơn, dễ dàng hơn và thuận tiện hơn nhiều". Nói cách khác, trong khi nhận ra những hạn chế kỹ thuật của ZK, họ thừa nhận rằng nếu chúng được giải quyết, chúng có thể là một bước ngoặt lớn trong sự phát triển của blockchain. Bây giờ, nhiều năm sau, cộng đồng cypherpunk và các nhà nghiên cứu ZK cuối cùng đã tìm ra giải pháp. Zcash là công ty đầu tiên áp dụng ZKP cho các loại tiền điện tử trong thế giới thực và các dự án như StarkWare, zkSync và Scroll đã phát triển công nghệ này như một phương tiện quan trọng để nâng cao khả năng mở rộng và khả năng kiểm chứng của Ethereum. Tuy nhiên, vẫn còn một khoảng trống trong thực tế. Tạo zkEVM đòi hỏi chuyên môn sâu, nhiều năm phát triển và phần cứng hiệu suất cao và hầu hết các dự án dựa vào các nhà cung cấp bằng chứng cụ thể thay vì vận hành cơ sở hạ tầng ZKP của riêng họ. Kết quả là, ZKP vẫn là một công cụ phức tạp mà chỉ một số ít có thể xử lý hơn là một "công nghệ mà bất kỳ ai cũng có thể sử dụng". 2. Succinct là gì? Succinct (@SuccinctLabs) là một nỗ lực để giải quyết vấn đề này một cách trực tiếp. Điều quan trọng là biến ZKP thành một cơ sở hạ tầng có thể dễ dàng sử dụng bởi tất cả các nhà phát triển và giúp bất kỳ ai tạo ra một "hệ thống không đáng tin cậy" mà không cần đến các mạch hoặc cơ sở hạ tầng phức tạp. Succinct là một cơ sở hạ tầng biến lý tưởng của một hệ thống 'không đáng tin cậy' mà blockchain đang theo đuổi thành một thực tế thực sự có thể được thực hiện. Trustless không có nghĩa là "không đáng tin cậy", mà đề cập đến một cấu trúc tự hoạt động mà không có tiền đề của sự tin tưởng, tức là một hệ thống có thể được kiểm chứng toán học mà không cần bên thứ ba hoặc cơ quan trung ương. Tuy nhiên, hệ sinh thái blockchain hiện tại vẫn phụ thuộc rất nhiều vào sự tin tưởng. Bridge hack, hoạt động đa chữ ký và ủy quyền trình xác thực tập trung đều là bằng chứng cho thấy hệ thống chỉ hoạt động khi chúng ta vẫn tin tưởng mọi người và tổ chức. Một nỗ lực để vượt qua giới hạn dựa trên sự tin cậy này là ZKP, hoặc công nghệ Zero-Knowledge Proof. Công nghệ này, cho phép chúng ta chứng minh bằng toán học rằng "tính toán này là chính xác" mà không cần phải tin tưởng bất kỳ ai, rõ ràng là nền tảng quan trọng cho các hệ thống phi tập trung. Vấn đề là ZKP quá phức tạp và nặng để thực sự viết. 3. Tại sao ZKP cảm thấy khó khăn? Công nghệ ZKP đã cao như tiềm năng của nó. Đặc biệt, việc tạo ra zkEVM đòi hỏi một đội ngũ chuyên nghiệp, nhiều năm phát triển và cơ sở hạ tầng đắt tiền. Hầu hết các dự án zk phải thiết kế mạch của riêng họ, xây dựng zkVM chuyên dụng và thậm chí tự vận hành phần cứng. Chỉ sau khi trải qua tất cả các quy trình này, họ mới có thể tự gọi mình là "ZK rollups". Hơn nữa, zkVM đa năng truyền thống không hiệu quả cao trong việc tạo bằng chứng. Thông thường, việc chứng minh một khối cần một cụm gồm hàng chục máy hiệu suất cao và chi phí lên tới 10 ~ 20 đô la cho mỗi khối. Do gánh nặng kỹ thuật và chi phí vận hành cao này, nhiều dự án đã từ bỏ việc giới thiệu ZKP hoặc chọn các cấu trúc dựa vào một số nhà cung cấp bằng chứng tập trung. 4. Nỗ lực của Succintt @SuccinctLabs coi những vấn đề cấu trúc này là 'vấn đề về cơ sở hạ tầng'. ZKP đủ mạnh về mặt kỹ thuật, nhưng vấn đề là ai thực hiện chúng, làm thế nào và với chi phí nào. Đó là lý do tại sao Succinct đang tạo ra một mạng bằng chứng phi tập trung mà mọi người đều có thể dễ dàng truy cập mà không cần các dự án riêng lẻ vận hành cơ sở hạ tầng bằng chứng của riêng họ. Các nhà phát triển không cần thiết lập zkVM phức tạp hoặc cung cấp phần cứng. Khi một yêu cầu bằng chứng được gửi đến mạng, các giám định viên có phần cứng khác nhau sẽ đặt giá thầu cho nó theo cách đấu giá để xử lý nó. Chi phí chứng minh tự nhiên giảm xuống thông qua cạnh tranh và các nhà thăm dò tạo ra bằng chứng hiệu quả với thiết bị hiệu suất cao. Kết quả là các bằng chứng nhanh chóng và rẻ cho các nhà phát triển và cơ sở hạ tầng bằng chứng có tính khả dụng cao và chống kiểm duyệt cho toàn bộ hệ sinh thái. Succinct không chỉ chứng minh khả năng kỹ thuật của nó mà còn chứng minh vai trò của nó trong các lĩnh vực phát sinh nhu cầu thực sự. Một ví dụ điển hình là dòng chảy 'CLOBs on Blobs' xuất hiện trong hệ sinh thái @celestia. Với sự xuất hiện của sổ lệnh phi tập trung (CLOB) hiệu suất cao trên không gian blob của Celestia, xử lý dữ liệu quy mô lớn và bằng chứng trạng thái nhanh chóng là những nhu cầu cơ sở hạ tầng thiết yếu. Các dự án như Hyperliquid và @hibachi_xyz đang triển khai các giao dịch sổ lệnh phức tạp và logic khám phá giá trên chuỗi, đòi hỏi khả năng mở rộng và hiệu suất ngoài các tổng hợp đơn giản. Đây là nơi cần có lớp tính khả dụng dữ liệu hiệu suất cao của Celestia và cơ sở hạ tầng bằng chứng ZK phi tập trung do Succinct cung cấp. Trên thực tế, Celestia đang trải qua sự gia tăng nhanh chóng về tỷ lệ sử dụng thực tế của không gian blob, với cơ sở hạ tầng ZK như Succinct âm thầm đóng góp đằng sau nó. Nếu Celestia cung cấp một "kho dữ liệu có thể xác minh", Succinct chịu trách nhiệm tạo ra một "chuyển đổi trạng thái có thể xác minh" trên dữ liệu đó. Sự kết hợp này là điểm khởi đầu để công nghệ ZKP vượt ra khỏi các lý thuyết trừu tượng sang các hệ thống trong thế giới thực. 5. zkEVM, SP1 và SP1 Reth có thể được xử lý bởi bất kỳ ai Succinct, đã giải quyết khả năng truy cập của cơ sở hạ tầng theo cách này, đã phát triển một zkVM mã nguồn mở được gọi là SP1 (Succinct Processor 1) để hạ thấp rào cản gia nhập cho chính zkVM. SP1 là một zkVM đa năng được triển khai trong Rust, được thiết kế để sử dụng trực tiếp bởi bất kỳ ai mà không cần thiết kế mạch phức tạp như zkEVM truyền thống. Một ví dụ ban đầu về tiềm năng của SP1 là SP1 Reth. SP1 Reth là một zkEVM loại 1 được triển khai chỉ với khoảng 2.000 dòng mã Rust và dễ dàng xây dựng bằng cách sử dụng lại các thành phần từ hệ sinh thái máy khách Ethereum hiện có (Reth, Revm, Alloy, v.v.). Điều tuyệt vời hơn nữa là hiệu suất của nó. SP1 Reth có chi phí bằng chứng trung bình cho mỗi giao dịch Ethereum chỉ là 0,01 đô la ~ 0,02 đô la, thấp hơn chi phí sẵn có dữ liệu phổ biến trên L2. Hiệu suất này có thể thực hiện được nhờ hệ thống 'tiền biên dịch' của SP1. Các hoạt động chuyên sâu về tính toán như hàm băm và xác minh chữ ký được xử lý với cấu trúc được tối ưu hóa trước, giảm đáng kể tài nguyên mà zkVM tiêu thụ. Cho đến nay, việc triển khai zkEVM với zkVM đã tốn tới 10 ~ 20 đô la cho mỗi khối, nhưng SP1 Reth đã thành công trong việc giảm con số này xuống còn một chữ số. Cả SP1 và SP1 Reth đều hoàn toàn mã nguồn mở và bất kỳ ai cũng có thể phân nhánh chúng để tạo zkEVM của riêng họ hoặc thêm tiền biên dịch để cải thiện hiệu suất. Đây là sự thay đổi lật đổ hoàn toàn môi trường phát triển zk chi phí cao, độ khó cao hiện có, mở ra kỷ nguyên mà bất kỳ nhà phát triển Rust nào cũng có thể tham gia vào hệ thống zk. 6. Rốt cuộc, ZK hiện có sẵn cho tất cả mọi người Succinct không chỉ nói về tiềm năng kỹ thuật của công nghệ ZKP mà còn về mảnh ghép cuối cùng: khả năng tiếp cận và tính thực tế. Không có mạch phức tạp hoặc phần cứng chuyên dụng, bất kỳ ai cũng có thể tạo ứng dụng bằng ZKP và bằng chứng được xử lý bởi một mạng phi tập trung. Một kỷ nguyên mà tất cả các rollup có thể là ZK rollup và Internet chỉ hoạt động với sự thật. Tại điểm xuất phát đó là Succinct và SP1. Bây giờ, ZKP là công nghệ của tất cả mọi người, không phải một số người.