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