<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. ...