SNARKs là gì? Tại sao Vitalik Buterin cho rằng chi phí bằng chứng ZK có thể giảm dưới 10x

2026/09/08 11:12:00

Vitalik Buterin cho rằng mật mã học đang tiến gần đến mức chi phí gần bằng không

Người đồng sáng lập ethereum Vitalik Buterin đã công bố một phân tích vào ngày 6 tháng 9 năm 2026, đưa ra các xác suất cụ thể về tính thực tiễn dài hạn của ba nguyên lý mật mã nâng cao. Ông ước tính 60% khả năng rằng SNARKs, mã hóa toàn bộ đồng nhất và che giấu không thể phân biệt sẽ cuối cùng hoạt động với chi phí ít hơn 10 lần so với tính toán thông thường khi đo bằng tổng năng lượng tiêu thụ cộng chi phí tính toán đã phân bổ. Ông còn ước tính 33% khả năng rằng các công cụ tương tự có thể tiếp cận mức chi phí vượt quá 1+ε ở quy mô đủ lớn, nghĩa là chi phí mật mã bổ sung trở nên vô cùng nhỏ so với công việc cơ bản. SNARKs nổi bật là công cụ trưởng thành nhất trong ba công cụ và có khả năng cao nhất đạt mức chi phí vượt quá một chữ số vào cuối thập kỷ. Các hàm băm chuyên dụng và một số tải công việc suy luận mô hình ngôn ngữ lớn đã chứng minh được mức hiệu quả tương đương.

Những dự báo này được đưa ra trong bối cảnh chi phí chứng minh không kiến thức đang cải thiện nhanh chóng, nơi các tiêu chuẩn công khai cho thấy chi phí chứng minh khối ethereum đã giảm từ vài đô la xuống còn một phần nhỏ của một xu trong khoảng một năm. Chi phí vận hành thấp hơn sẽ mở rộng khả năng sử dụng các chứng minh riêng tư, cho phép tăng giới hạn gas mà không cần tăng tỷ lệ phần trăm phần cứng người xác thực, đồng thời hỗ trợ việc áp dụng rộng rãi hơn các ứng dụng bảo vệ quyền riêng tư trên các hệ thống blockchain. Đánh giá này vẫn là quan điểm cá nhân, không phải sự đồng thuận, chứ không phải cam kết trong lộ trình giao thức. SNARKs hiện đã mang lại giá trị thực tế và là công cụ mật mã nâng cao gần nhất với việc đạt được chi phí vận hành đủ thấp để triển khai thường xuyên và quy mô lớn, theo ước tính xác suất của Buterin vào tháng 9 năm 2026 và tiến bộ thực nghiệm đồng thời trong các hệ thống chứng minh.

Cách SNARKs cung cấp bằng chứng gọn nhẹ về tính đúng đắn của phép tính mà không tiết lộ đầu vào

Các đối số không tương tác súc tích về kiến thức, hay SNARKs, cho phép một bên tạo ra một bằng chứng mật mã ngắn gọn để chứng minh rằng một phép tính đã được thực hiện chính xác. Người xác minh kiểm tra bằng chứng mà không cần chạy lại toàn bộ phép tính hoặc tiết lộ các đầu vào riêng tư. Tính chất “súc tích” giúp giữ kích thước bằng chứng nhỏ và việc xác minh nhanh, ngay cả khi mệnh đề cơ sở rất phức tạp. Thiết kế không tương tác có nghĩa là người chứng minh tạo ra một thông điệp duy nhất mà bất kỳ người xác minh nào cũng có thể kiểm tra độc lập. Các biến thể zero-knowledge còn ẩn dữ liệu chứng cứ, hỗ trợ các ứng dụng bảo mật như giao dịch được che giấu hoặc logic hợp đồng thông minh bảo mật. Trên thực tế, các cấu trúc SNARK hiện đại dựa vào mật mã dựa trên cặp hoặc các phương án thay thế dựa trên hàm băm, với các mạch biểu diễn phép tính dưới dạng ràng buộc số học. Thời gian và bộ nhớ để tạo bằng chứng vẫn là chi phí chính, trong khi việc xác minh thường đủ rẻ để sử dụng trên chuỗi. Các hệ thống chuyên biệt gần đây đã giảm đáng kể chi phí cho các tải công việc có cấu trúc như đánh giá hàm băm lặp lại xuống mức thấp hơn nhiều so với các triển khai tổng quát trước đây.

Khoảng cách hiệu suất giữa các trường hợp chuyên biệt và chung giải thích lý do Buterin nhấn mạnh SNARKs là ứng cử viên gần nhất để đạt được chi phí quá mức một chữ số rộng rãi. Các triển khai sản xuất đã dựa vào SNARKs để chứng minh tính hợp lệ của rollup và các giao thức bảo mật, cho thấy cơ chế cốt lõi hoạt động hiệu quả ở quy mô lớn ngay cả trước khi các giảm chi phí dự kiến hoàn toàn phát huy tác dụng. Những tiến bộ liên tục trong tối ưu hóa mạch, tăng tốc phần cứng và kết hợp đệ quy tiếp tục thu hẹp khoảng cách hiệu suất còn lại giữa thực thi gốc và thực thi được chứng minh. Giá trị thực tiễn của SNARKs dựa trên sự bất đối xứng giữa việc chứng minh và xác minh. Việc tạo ra một bằng chứng có thể vẫn yêu cầu nguồn lực đáng kể so với việc chỉ chạy chương trình ban đầu, nhưng đối tượng kết quả vẫn nhỏ và nhanh để kiểm tra. Tính chất này là nền tảng cho các thiết kế mở rộng Layer-2 đăng tải các bằng chứng nén lên lớp cơ sở thay vì dữ liệu giao dịch đầy đủ. Nó cũng hỗ trợ các ứng dụng mà một bên phải chứng minh sự hiểu biết về một bí mật hoặc thực thi chính xác một phép tính riêng tư mà không tiết lộ chính bí mật đó.

Các tiêu chuẩn thực nghiệm từ năm 2025 đến 2026 cho thấy chi phí chứng minh cho các khối quy mô Ethereum giảm khoảng 45 lần trong một năm trên các trình theo dõi công khai, đạt mức dưới một xu cho các cấu hình đủ điều kiện dưới các thiết lập đa GPU được tối ưu hóa. Những cải tiến này xác nhận hướng đi nhằm đạt các mục tiêu chi phí phụ trội mà Buterin đã mô tả. Các xu hướng phần cứng, bao gồm GPU dùng cho người tiêu dùng và các thiết kế bộ chứng minh chuyên dụng, tiếp tục giảm chi phí năng lượng và vốn tuyệt đối liên quan đến việc tạo bằng chứng. Khi các hàm băm chuyên dụng đã hoạt động gần mức bội số số đơn vị của chi phí bản địa, thách thức kỹ thuật còn lại tập trung vào việc mở rộng những hiệu quả này sang các mạch tổng quát hơn mà không tạo ra các điểm nghẽn mới. Sự kết hợp giữa những tiến bộ thuật toán và sự trưởng thành của phần cứng do đó cung cấp cơ sở thực tế cho xác suất lạc quan được gán cho SNARKs nhằm đạt mức chi phí phụ trội hữu ích rộng rãi trong thập kỷ này.

Khung xác suất của Vitalik Buterin vào tháng 9 năm 2026 cho chi phí mã hóa

Vào ngày 6 tháng 9 năm 2026, Buterin đã định lượng những câu hỏi lâu đời về tính khả thi của mật mã nâng cao bằng cách gán các xác suất cụ thể. Ông ước tính khả năng 60% rằng SNARKs, mã hóa toàn bộ đồng nhất và che giấu không thể phân biệt sẽ cuối cùng đạt được chi phí năng lượng và chi phí tính toán trung bình dưới 10 lần so với tính toán thông thường. Một xác suất riêng biệt 33% áp dụng cho tuyên bố mạnh hơn rằng cả ba phương pháp này có thể tiến gần đến mức chi phí vượt quá 1+ε cho các tải công việc thực tế trung bình khi quy mô đủ lớn. Việc đo lường cố ý bao gồm cả chi phí năng lượng thay vì chỉ thời gian thực, phản ánh gánh nặng kinh tế thực sự khi triển khai công nghệ này ở quy mô lớn. Buterin mô tả triển vọng tổng thể là lạc quan và không đồng thuận. Ông lưu ý rằng ít nhất một trong ba nguyên tố cơ bản, rất có thể là SNARKs, có khả năng cao đạt được mức chi phí vượt quá một chữ số vào cuối thập kỷ này. Các trường hợp đặc biệt đã chứng minh tính khả thi của các mức độ như vậy đối với một số hàm băm và các tác vụ suy luận mô hình ngôn ngữ. Các dự báo này không gắn với bất kỳ thời hạn giao thức hay cam kết kỹ thuật nào; chúng đại diện cho đánh giá cá nhân về khả năng kỹ thuật, chứ không phải lịch trình nâng cấp ethereum.

Việc phủ sóng trên nhiều phương tiện vào ngày 6 và 7 tháng Chín đã xác nhận các phạm vi số tương tự và nhấn mạnh SNARKs là ứng cử viên trong ngắn hạn. Những con số này cung cấp điểm tham chiếu cụ thể để đo lường tiến bộ nghiên cứu tiếp theo. Sự phân biệt giữa xác suất dưới 10x ở mức 60% và khung thời gian hẹp hơn cho chi phí ở mức số đơn vị là quan trọng. Buterin không tuyên bố rằng tất cả ba công nghệ sẽ vượt ngưỡng 10x vào năm 2030. Phát biểu hạn chế hơn liên quan đến khả năng ít nhất một công nghệ, dự kiến là SNARKs, đạt mức bội số số đơn vị trong thập kỷ này. Cách diễn đạt này tránh hứa hẹn quá mức về các nguyên lý xa hơn, đồng thời vẫn làm nổi bật tiềm năng gần-term có thể đo lường được. Kế toán chi phí năng lượng cộng với chi phí phân bổ thêm giúp củng cố ước tính này trong thực tế kinh tế thay vì chỉ dựa vào độ phức tạp tiệm cận thuần túy.

Khi chi phí chứng minh giảm, cùng một ngân sách tính toán có thể hỗ trợ thông lượng cao hơn hoặc các tuyên bố phức tạp hơn mà không cần tăng tỷ lệ thuận yêu cầu phần cứng đối với người xác thực hoặc người dùng. Việc công bố kết quả phân tích ngày 6 tháng Chín liên tục trích dẫn các con số 60% và 33% cùng với nhận xét rằng các công việc chuyên biệt đã tiếp cận gần mức mục tiêu. Do đó, khung này cung cấp cả dự báo định lượng và xếp hạng định tính về mức độ trưởng thành tương đối giữa ba công nghệ này. Những cải tiến thực nghiệm liên tục trong các hệ thống chứng minh SNARK cung cấp sự hỗ trợ độc lập cho xếp hạng đặt SNARKs ở vị trí đầu tiên trong chuỗi giảm chi phí dự kiến.

Các hàm băm chuyên dụng đã gần đạt mức chi phí SNARK ở số có một chữ số

Buterin đã lưu ý rõ ràng rằng các hàm băm chuyên biệt đã đạt đến mức hiệu quả tương đương với chi phí phụ trội ở mức số đơn vị so với thực thi gốc. Các cấu trúc gần đây như Flock, một SNARK dựa trên băm được tối ưu hóa cho các lô tính toán Boolean, minh họa điểm này với các con số thông lượng cụ thể. Trên phần cứng người dùng, Apple M4 Max có thể chứng minh hàng trăm nghìn phép nén BLAKE3, phép nén SHA-256 hoặc phép hoán vị Keccak mỗi giây, đại diện cho sự cải thiện khoảng một bậc độ lớn so với các hệ thống tiên tiến nhất trước đó cho cùng các tải công việc. Kích thước bằng chứng vẫn dưới 450 KB và xác minh hoàn tất trong dưới bốn mili giây. Những kết quả này quan trọng vì các đánh giá băm chiếm ưu thế trong nhiều mạch mật mã, bao gồm mở đường Merkle, chuỗi băm và các lớp bên trong của các bằng chứng đệ quy.

Khi các thao tác chủ đạo trở nên rẻ để chứng minh, tổng chi phí của các mệnh đề lớn hơn giảm xuống, ngay cả khi logic xung quanh vẫn chưa được tối ưu hóa nhiều. Nguyên tắc tương tự cũng áp dụng cho một số nhiệm vụ suy luận mô hình ngôn ngữ lớn, nơi các phép nhân ma trận và các thao tác có cấu trúc liên quan cho phép các chiến lược chứng minh cực kỳ hiệu quả. Tài liệu công khai của các hệ thống chuyên biệt này xác nhận rằng các bội số có một chữ số không còn là lý thuyết thuần túy đối với các mẫu tính toán hẹp nhưng xảy ra thường xuyên. Việc mở rộng hiệu quả tương tự sang các mạch tổng quát vẫn là một thách thức kỹ thuật, nhưng các kết quả chuyên biệt đã chứng minh rõ ràng tính khả thi. Tăng tốc phần cứng càng khuếch đại lợi ích: các cấu hình đa lõi và đa GPU đẩy throughput lên cao hơn nữa, trong khi dung lượng bộ nhớ vẫn ở mức thực tế cho các kích thước lô nhắm đến. Thiết kế Flock kết hợp các giao thức lincheck và zerocheck được tối ưu hóa với các kỹ thuật triển khai tích cực, cho thấy rằng việc đồng thiết kế thuật toán và phần mềm có thể mang lại tốc độ tăng đáng kể.

Các mô-đun chuyên biệt tương tự xuất hiện trong các hệ thống SNARK hiện đại khác, cô lập các thao tác tốn kém như hàm băm hoặc chữ ký và chứng minh chúng bằng các tiểu giao thức riêng biệt, được tối ưu hóa cao. Khi phần lớn phép tính bao gồm các công việc có cấu trúc như vậy, chi phí quá tải chung sẽ trở thành một tỷ lệ nhỏ hơn trong tổng chi phí. Việc Buterin đề cập đến các trường hợp hiện có do đó dựa trên hiệu suất đo lường được chứ không chỉ là dự đoán. Khi ngày càng nhiều tải công việc được viết lại hoặc biên dịch để nhấn mạnh vào các nguyên tố thân thiện với SNARK, tỷ lệ phép tính thực tế có thể vận hành gần với chi phí một chữ số tiếp tục mở rộng. Sự chuyên biệt tiến bộ này cung cấp một trong những con đường cụ thể hỗ trợ xác suất rộng lớn hơn rằng SNARKs sẽ đạt được phạm vi mục tiêu cho các trường hợp trung bình vào cuối thập kỷ.

Giảm gần đây trong chi phí chứng minh khối ethereum

Các đánh giá độc lập ghi nhận sự sụt giảm mạnh trong chi phí tạo bằng chứng không tri thức cho các khối ethereum. Dữ liệu ethproofs công khai ghi nhận chi phí trung bình giảm từ khoảng 1,69 đô la vào đầu năm 2025 xuống dưới bốn xu vào cuối năm đó, giảm khoảng 45 lần. Vào đầu tháng 9 năm 2026, các cấu hình được chọn báo cáo chi phí gần một nửa xu cho các khối đủ điều kiện, mặc dù tỷ lệ thành công cho các bằng chứng dưới 10 giây trên tất cả các khe được đánh giá vẫn còn hạn chế do các lần chạy ngoại tuyến và không đủ điều kiện được tính vào. Quỹ ethereum trước đó đã đặt ra các mục tiêu cụ thể cho việc tạo bằng chứng thời gian thực: dưới 10 giây cho 99% các khối mạng chính trên phần cứng có chi phí tối đa 100.000 đô la, tiêu thụ tối đa 10 kilowatt, với bằng chứng dưới 300 KiB và không cần thiết lập tin cậy. Nhiều nhóm đã đạt hoặc tiếp cận các mục tiêu này vào cuối năm 2025.

Các con số này áp dụng cho các bằng chứng khối đầy đủ thay vì các mạch ứng dụng riêng lẻ, nhưng chúng cho thấy chi phí tuyệt đối để tạo SNARK tiếp tục giảm dưới các tải làm việc và ràng buộc phần cứng thực tế. Việc xác minh vẫn rẻ hơn đáng kể so với việc tạo bằng chứng, giúp duy trì chi phí trên chuỗi ở mức có thể quản lý được ngay cả khi độ phức tạp của bằng chứng tăng lên. Xu hướng chi phí có tác động trực tiếp đến các hệ số chi phí vượt mức mà Buterin đã thảo luận. Khi chi phí năng lượng và vốn tuyệt đối để tạo một bằng chứng giảm xuống, tỷ lệ so với thực thi bản địa được cải thiện ngay cả khi chi phí thuật toán vẫn không đổi. Những cải tiến phần cứng, bao gồm việc triển khai GPU dày đặc hơn và phần mềm người tạo hiệu quả hơn, góp phần vào các mức giảm được đo lường.

Các hệ thống chuyên biệt còn tăng tốc thêm các thao tác chiếm ưu thế trong việc chứng minh khối, chẳng hạn như hàm băm và kiểm tra chữ ký. Sự kết hợp giữa tiến bộ thuật toán và lợi ích từ phần cứng thông dụng tạo ra hiệu ứng tích lũy rõ ràng trên các trình theo dõi công khai. Chi phí chứng minh thấp hơn cũng làm nới lỏng các ràng buộc về giới hạn gas và thông lượng: các người xác thực không còn cần phải mở rộng phần cứng theo tỷ lệ với mọi sự gia tăng về nhu cầu tính toán nếu một phần lớn công việc có thể được chứng minh thay vì thực thi lại. Do đó, bản ghi tháng Chín năm 2026 về chi phí dưới một xu cho một số cấu hình nhất định cung cấp bối cảnh thực nghiệm kịp thời cho xác suất 60% được gán cho mức chi phí dưới 10 lần. Việc theo dõi liên tục các tiêu chuẩn công khai tương tự sẽ cho phép các quan sát viên kiểm tra xem tốc độ cải tiến quan sát được có duy trì được quỹ đạo cần thiết để đạt mục tiêu số đơn vị cho các tải công việc rộng hơn trong thập kỷ này hay không.

Cách Chi Phí SNARK Thấp Hơn Có Thể Tăng Giới Hạn Gas Của Ethereum Mà Không Cần Tăng Cường Phần Cứng

Việc giảm chi phí SNARK trực tiếp ảnh hưởng đến kinh tế của việc tăng giới hạn gas. Các giới hạn cao hơn làm tăng khối lượng tính toán mà mỗi khối có thể chứa, từ đó làm tăng tài nguyên cần thiết để xác thực đầy đủ nếu mọi nút mạng đều thực thi lại mọi giao dịch. Khi một phần đáng kể công việc đó có thể được bao phủ bởi các bằng chứng súc tích, gánh nặng phần cứng biên trên các người xác thực sẽ tăng chậm hơn. Buterin trước đây đã liên kết các bằng chứng rẻ hơn với khả thi của thông lượng cao hơn mà không cần tăng tỷ lệ tương ứng các yêu cầu về người xác thực. Ở mức cực đoan, các bằng chứng đệ quy có thể nén lượng lớn thực thi thành các đối tượng mà chi phí xác minh vẫn gần như không đổi. Các module băm và chữ ký chuyên biệt đã chứng minh rằng các thao tác chủ đạo bên trong nhiều mạch có thể hoạt động với chi phí chỉ ở mức bội số khiêm tốn so với chi phí bản địa.

Việc mở rộng những hiệu quả này làm giảm tổng năng lượng và chi phí phân bổ liên quan đến việc xác minh các khối lớn hơn. Kết quả là một sự đánh đổi thuận lợi hơn giữa khả năng mở rộng và tính phi tập trung: các mạng có thể xử lý nhiều hoạt động hơn trong khi vẫn giữ mức rào cản để vận hành một nút mạng xác thực trong tầm với của một nhóm người tham gia rộng lớn hơn. Các minh họa thực tế xuất hiện trong các thiết kế Layer-2 hiện có đã đăng tải bằng chứng SNARK hoặc STARK thay vì toàn bộ chuỗi thực thi. Khi chi phí xác minh giảm, các thiết kế tương tự có thể hỗ trợ các lô dày đặc hơn hoặc logic ứng dụng phức tạp hơn mà không làm tăng chi phí cơ sở hạ tầng người xác minh một cách tương ứng. Trên lớp cơ sở, các đề xuất dựa trên bằng chứng hàng ngày hoặc theo chu kỳ để cập nhật trạng thái người xác thực cũng hưởng lợi từ chi phí vận hành thấp hơn.

Chỉ số năng lượng cộng chi phí khấu hao được nhấn mạnh trong phân tích tháng 9 năm 2026 ghi nhận toàn bộ tác động kinh tế của những thay đổi này. Khi chi phí bổ sung của mật mã giảm xuống mức bội số một chữ số, động lực để giữ các bằng chứng ngoài đường dẫn quan trọng sẽ suy giảm, và việc sử dụng chúng có thể mở rộng sang các chức năng giao thức thường nhật hơn. Do đó, các bên tham gia thị trường theo dõi các chỉ số năng lực của ethereum có thể diễn giải chi phí chứng minh giảm là dấu hiệu của không gian tăng trưởng trong tương lai cho các đợt tăng giới hạn gas nhằm duy trì sự tham gia rộng rãi. Mối liên hệ giữa hiệu quả mật mã và mở rộng giao thức vẫn là một trong những ứng dụng rõ ràng nhất trong ngắn hạn của các khoản giảm chi phí mà Buterin đã định lượng.

FHE và Obfuscation Không Phân Biệt Được ĐangỞ Xa Mục Tiêu Chi Phí Thực Tế

Mã hóa toàn bộ đồng nhất cho phép thực hiện các phép tính tùy ý trên dữ liệu đã được mã hóa mà không cần giải mã, trong khi che giấu không thể phân biệt nhằm ẩn hoàn toàn logic bên trong một chương trình sao cho chỉ còn hành vi đầu vào-đầu ra có thể quan sát được. Cả hai nguyên tố này mở rộng không gian thiết kế cho các ứng dụng trạng thái chia sẻ riêng tư và bảo vệ phần mềm, nhưng chi phí hiện tại của chúng vẫn vượt xa SNARKs. Buterin từng mô tả iO là “boss cuối cùng” của mật mã học vì các cấu trúc tích lũy nhiều nguyên tố nâng cao và vẫn tạo ra thời gian chạy thiên văn dưới các giả định bảo thủ. Ngay cả các phương pháp dựa trên lưới đầy lạc quan cũng để lại thời gian chạy được đo bằng ngày trên phần cứng mạnh mẽ cho các chương trình khiêm tốn. Các triển khai FHE đã được cải thiện nhưng vẫn tạo ra các tài liệu nhiều gigabyte và thời gian chạy nhiều giờ cho các tác vụ học máy tương đối nhỏ trong các bài kiểm tra năm 2026.

Do đó, phân tích tháng Chín xếp cả hai công nghệ này sau SNARKs về thời gian dự kiến để đạt được chi phí dưới mức một chữ số. Xác suất 60% áp dụng cho việc đạt được chi phí dưới 10 lần cho cả ba công nghệ; tuyên bố cụ thể hơn vào cuối thập kỷ chỉ ra SNARKs là công nghệ có khả năng trở thành người đi đầu đầu tiên. Khoảng cách tương đối không ngụ ý sự đình trệ. Nghiên cứu vẫn tiếp tục với các giả định táo tợn hơn, các phương pháp phi lưới mới như trộn cục bộ, và tối ưu hóa tiến bộ các tháp cấu trúc hiện có. Những cải tiến trong các nguyên tố thành phần như mã hóa chức năng hoặc FHE hiệu quả có thể lan truyền thành chi phí iO tổng thể thấp hơn. Đối với FHE, con đường bao gồm các kỹ thuật đóng gói tốt hơn, tăng tốc phần cứng và các mã hóa thân thiện với mạch giúp giảm sự gia tăng nhiễu.

Tuy nhiên, khoảng cách thực nghiệm vẫn đủ lớn để việc xếp hạng của Buterin đặt chi phí quá tải đơn số cho các công cụ này ở mức muộn hơn so với SNARKs. Các ứng dụng yêu cầu tính toán trên trạng thái chia sẻ được mã hóa hoặc logic chương trình ẩn do đó sẽ tiếp tục dựa vào các kỹ thuật thay thế hoặc thiết kế lai cho đến khi đạt được các mục tiêu chi phí quá tải. Khung xác suất xem ba công nghệ này như một danh mục đầu tư: thành công ở thành viên gần nhất (SNARKs) đã mở ra giá trị đáng kể, trong khi tiến bộ cuối cùng ở các thành viên xa hơn sẽ mở rộng tập hợp các đảm bảo về quyền riêng tư và tính toàn vẹn khả thi. Do đó, theo dõi các kết quả SNARK chuyên biệt vẫn là chỉ báo trực tiếp nhất cho thấy đánh giá tổng thể 60% có đang đi đúng hướng hay không.

Tổng hợp bằng chứng lặp lại mở rộng lợi ích hiệu quả đến các mệnh đề lớn hơn

Sự kết hợp lặp lại cho phép một SNARK xác minh một SNARK khác, cho phép nén phân cấp các phép tính lớn thành một bằng chứng duy nhất và gọn nhẹ. Kỹ thuật này đã trở thành trung tâm của nhiều hệ thống sản xuất tổng hợp nhiều giao dịch hoặc khối. Khi các bằng chứng bên trong trở nên rẻ hơn để tạo ra, lớp đệ quy bên ngoài sẽ kế thừa những khoản tiết kiệm đó và có thể hoạt động với thông lượng cao hơn hoặc độ trễ thấp hơn. Các module chuyên biệt cho các hàm băm và các thao tác thường gặp khác còn tăng tốc thêm con đường đệ quy, vì việc xác minh một bằng chứng bên trong thường rút gọn thành các kiểm tra có cấu trúc cho phép xử lý hiệu quả.

Các chuẩn công khai cho thấy chi phí dưới một xu cho các bằng chứng toàn bộ khối ethereum đã tích hợp các kỹ thuật đệ quy trong nhiều bộ trình tạo bằng chứng hàng đầu. Khi chi phí tạo bằng chứng cơ sở tiếp tục giảm, chi phí biên của các lớp đệ quy bổ sung cũng giảm theo, hỗ trợ việc lồng sâu hơn mà không cần tăng tài nguyên theo tỷ lệ tương ứng. Tính chất tổ hợp tương tự hỗ trợ các thiết kế đồng thuận “cực kỳ nhẹ” thay thế các cập nhật số dư trên chuỗi lặp đi lặp lại bằng các bằng chứng không tri thức hàng ngày hoặc theo từng epoch. Các người xác thực theo dõi trạng thái của riêng họ và gửi một bằng chứng súc tích bao gồm sự tham gia và phần thưởng; lớp cơ sở xác minh tổng hợp thay vì lưu trữ và cập nhật từng số dư. Chi phí vận hành thấp hơn làm cho các bằng chứng này khả thi trên phần cứng khiêm tốn và trong các khung thời gian thực tế.

Tổng hợp lặp lại có thể nén thêm các bằng chứng từ nhiều người xác thực thành một đối tượng duy nhất, với chi phí xác minh gần như không đổi. Các mô hình kiến trúc này minh họa cách giảm chi phí ở cấp độ nguyên thủy chuyển hóa thành hiệu quả hệ thống. Khi năng lượng và chi phí trung bình của mỗi lớp bằng chứng tiến gần đến bội số một chữ số của công việc cơ sở, chi phí gián tiếp tích lũy của các hệ thống đa cấp vẫn ở mức kiểm soát được. Tiến bộ thực nghiệm trong cả các trình tạo bằng chứng chuyên biệt và các bài kiểm tra toàn bộ khối do đó cung cấp bằng chứng hỗ trợ cho tính khả thi của các thiết kế lặp lại phụ thuộc vào các SNARK có chi phí hợp lý.

Tăng tốc phần cứng và các trình xác minh dùng cho người tiêu dùng thu hẹp khoảng cách chi phí

Các trình chứng minh SNARK hiện đại ngày càng tận dụng tài nguyên GPU phổ thông và CPU đa lõi thay vì chỉ dựa vào ASIC chuyên dụng. Các cấu hình sử dụng 16 GPU tiêu dùng đã chứng minh được việc tạo chứng minh cho các khối ethereum trong thời gian thực, đáp ứng các mục tiêu về độ trễ và công suất của Foundation. Kết quả với một GPU duy nhất và thậm chí trên thiết bị laptop cho các công việc hẹp hơn, chẳng hạn như lô hash Flock hoặc chứng minh danh tính trên thiết bị, cho thấy các rào cản phần cứng tuyệt đối tiếp tục giảm dần. Kích thước bộ nhớ của một số trình chứng minh di động và máy tính để bàn vẫn nằm trong phạm vi của các thiết bị tiêu dùng thông thường.

Những phát triển này làm giảm cả chi phí vốn của cơ sở hạ tầng prover lẫn thành phần năng lượng trong chỉ số chi phí mà Buterin nhấn mạnh. Khi cùng một công việc tính toán có thể được thực hiện trên phần cứng phổ biến, chi phí trung bình giảm xuống và công nghệ trở nên tiếp cận được với một tập hợp rộng lớn hơn các nhà vận hành. Xu hướng này cũng tương tác với sự chuyên biệt về thuật toán. Phần cứng tăng tốc các phép nhân ma trận hoặc đánh giá hàm băm song song khuếch đại lợi ích đã đạt được cho suy luận mô hình ngôn ngữ và mạch Boolean có cấu trúc. Phần mềm prover ánh xạ các mạch lên các nguyên tố phần cứng này càng cải thiện thêm mức độ sử dụng.

Các công cụ theo dõi công khai báo cáo cả chi phí và tỷ lệ thành công trên nhiều cấu hình độc lập cung cấp khả năng quan sát liên tục về tác động kết hợp của tiến bộ phần cứng và phần mềm. Khi ngày càng nhiều nhóm công bố các benchmark có thể tái tạo trên phần cứng tương đương, cộng đồng có thể phân biệt được những cải tiến hiệu quả thực sự với các hiện tượng đặc thù của từng cấu hình. Quan sát vào tháng 9 năm 2026 về chi phí nửa xu cho các bằng chứng khối đủ điều kiện, ngay cả khi tỷ lệ thành công chưa hoàn chỉnh trên tất cả các khe, cho thấy con đường phần cứng vẫn đang mang lại hiệu quả. Sự cải tiến liên tục trên trục này hỗ trợ khả năng cao là chi phí quá tải ở mức một chữ số sẽ trở nên khả thi cho một phạm vi ngày càng rộng các tải công việc trước cuối thập kỷ.

Các ứng dụng bảo mật sẽ được hưởng lợi đầu tiên từ các SNARKs giá rẻ hơn

Việc giảm chi phí SNARK mở rộng tập hợp các ứng dụng bảo vệ quyền riêng tư có thể hoạt động một cách kinh tế trên các chuỗi công khai. Các giao dịch được bảo vệ, trạng thái hợp đồng thông minh riêng tư và việc tiết lộ chọn lọc thông tin xác thực đều dựa vào bằng chứng không tri thức, mà chi phí tạo ra chúng phải duy trì ở mức hợp lý đối với người dùng cuối hoặc người vận hành dịch vụ. Khi chi phí chứng minh giảm xuống mức bội số một chữ số, sự cản trở trong việc tạo và gửi các bằng chứng này giảm đi, hỗ trợ việc áp dụng rộng rãi hơn. Các hệ thống hiện tại đã chứng minh mô hình này: các giao thức bảo mật từng yêu cầu tính toán ngoài chuỗi đáng kể hoặc phần cứng đáng tin cậy có thể chuyển sang các thiết kế minh bạch hơn, hoàn toàn dựa trên mật mã khi chi phí được cải thiện.

Các bộ công cụ chứng minh trên thiết bị được phát hành vào năm 2026 càng minh họa rõ hơn hướng đi này, tạo ra các bằng chứng nhận dạng ngay trên điện thoại người dùng mà không cần gửi tài liệu gốc đến các máy chủ bên ngoài. Các bằng chứng nhanh hơn và rẻ hơn giúp các quy trình cục bộ này phản hồi nhanh hơn và tiết kiệm năng lượng hơn. Những giảm chi phí tương tự hỗ trợ các thiết kế trạng thái chia sẻ riêng tư kết hợp SNARKs với các thành phần khác. Các máy tạo thị trường tự động bảo mật, các phiên đấu thầu kín và các nhóm cho vay riêng tư trở nên khả thi hơn khi chi phí mã hóa không còn chi phối tính toán kinh tế. Cuộc thảo luận rộng hơn của Buterin về các lộ trình bảo mật, bao gồm đọc, ghi và chứng minh riêng tư, phù hợp với kỳ vọng rằng SNARKs giá rẻ sẽ trở thành một lớp nền tảng.

Chi phí thực nghiệm đã giảm rõ ràng trong các tiêu chuẩn công khai, do đó tạo ra không gian thực tế để triển khai các tính năng bảo mật mà trước đây bị hạn chế về mặt kinh tế. Các bên tham gia thị trường theo dõi việc áp dụng các giao thức bảo vệ quyền riêng tư có thể coi chi phí chứng minh giảm dần là chỉ báo dẫn đầu cho không gian thiết kế được mở rộng. Mối liên hệ này vẫn dựa trên bằng chứng: sự giảm thiểu đo lường được về chi phí năng lượng và vốn trực tiếp cải thiện tính khả thi của các ứng dụng mà tính chính xác và quyền riêng tư của chúng dựa trên các bằng chứng SNARK.

Bối cảnh thị trường và ngành công nghiệp để tăng hiệu quả SNARK

Hệ sinh thái zero-knowledge rộng lớn hơn tiếp tục thể hiện sự phát triển tích cực, ngay cả khi các chỉ số của từng dự án thay đổi. Các kho lưu trữ công khai và công cụ theo dõi hoạt động của nhà phát triển năm 2026 ghi nhận hàng nghìn nhà đóng góp lịch sử và một tập hợp nhỏ hơn nhưng vẫn đáng kể các nhà phát triển đang hoạt động hiện tại trên nhiều hệ thống chứng minh và máy ảo. Các zkVM sản xuất báo cáo việc chứng minh các tải công việc quy mô ethereum ở chế độ thời gian thực hoặc gần thời gian thực trên phần cứng đa GPU, với một số hệ thống đã đạt trạng thái sản xuất đã được kiểm toán. Các trình chứng minh chuyên biệt cho các lô hàm băm và danh tính trên thiết bị càng làm phong phú thêm các công cụ sẵn có.

Những nỗ lực song song này tạo ra áp lực cạnh tranh thúc đẩy tối ưu hóa trên toàn bộ lĩnh vực. Khi nhiều nhóm độc lập công bố các con số cải thiện về chi phí và độ trễ, hướng đi chung trở nên vững chắc hơn bất kỳ triển khai đơn lẻ nào. Việc áp dụng trong ngành mở rộng vượt ra ngoài việc mở rộng blockchain thuần túy. Các dự án thí điểm về token hóa tài sản xuyên biên giới, các bản mẫu tiền kỹ thuật số và các khung kiểm tra dữ liệu y tế đã bắt đầu tích hợp các bằng chứng dựa trên SNARK. Yêu cầu chung là khả năng chứng minh tính toán chính xác hoặc xác nhận hợp lệ mà không tiết lộ dữ liệu gốc.

Việc giảm chi phí chứng minh cũng làm giảm rào cản cho các trường hợp sử dụng không thuộc tiền mã hóa, mở rộng tổng cầu có thể tiếp cận được đối với công nghệ SNARK hiệu quả. Do đó, việc công khai báo cáo về sự giảm chi phí trong các bằng chứng khối Ethereum đóng vai trò là chỉ số trực quan cho tiến bộ mang lại lợi ích cho một loạt ứng dụng rộng lớn hơn. Sự kết hợp giữa các tiêu chuẩn mở, các bản triển khai cạnh tranh và các trường hợp sử dụng ngày càng mở rộng cung cấp bối cảnh thị trường để đánh giá các ước tính xác suất của Buterin trong những năm tới. Sự cải thiện liên tục trên các khía cạnh này sẽ tăng thêm sự tin tưởng rằng đánh giá 60% về mức chi phí dưới 10 lần là có thể đạt được.

Các lộ trình kỹ thuật thực tế hướng tới chi phí quá mức một chữ số rộng hơn

Nhiều hướng kỹ thuật cụ thể hội tụ về mục tiêu chi phí dưới một chữ số cho các tải công việc chung. Các trình biên dịch mạch ánh xạ mã cấp cao lên các biểu diễn trung gian thân thiện với SNARK giúp giảm số lượng ràng buộc cho các thao tác phổ biến. Các ngôn ngữ và thư viện chuyên biệt lĩnh vực cung cấp các module tối ưu hóa về hàm băm, chữ ký và số học cho phép các nhà phát triển cấu trúc chương trình dựa trên các nguyên tố đã hiệu quả. Các kỹ thuật gộp đệ quy và dữ liệu mang bằng chứng phân tán chi phí xác minh trên các lô lớn. Thiết kế phần cứng - phần mềm đồng thời ánh xạ phần công việc chung còn lại lên các bộ tăng tốc song song.

Mỗi con đường này đã mang lại những lợi ích đo lường được trong giai đoạn 2025–2026. Khi các mô-đun chuyên biệt đã hoạt động gần mục tiêu, phần phân đoạn chung còn lại trở thành trọng tâm của tối ưu hóa liên tục. Những giảm thiểu liên tiếp trong phần phân đoạn còn lại đó đưa chi phí quá tải trung bình cho các chương trình thực tế tiến gần đến phạm vi một chữ số. Chi phí xác minh vẫn ở mức thấp so với việc chứng minh, do đó nỗ lực kỹ thuật chủ yếu tập trung vào trình chứng minh. Các trình theo dõi công khai báo cáo cả chi phí tuyệt đối và các thống kê tỷ lệ thành công trên nhiều cấu hình phần cứng khác nhau cung cấp một bảng xếp hạng độc lập.

Các đội ngũ công bố kết quả có thể tái tạo trên các môi trường so sánh được giúp cộng đồng xác định được những tổ hợp nào giữa thuật toán, thiết kế mạch và phần cứng mang lại lợi ích lớn nhất. Sự tồn tại của nhiều zkVM đạt tiêu chuẩn sản xuất và các trình chứng minh chuyên biệt đã chứng minh rằng công nghệ này đã vượt qua giai đoạn nguyên mẫu phòng thí nghiệm. Việc mở rộng hiệu suất đã được chứng minh trên các hàm băm và suy luận mô hình ngôn ngữ đến toàn bộ logic ứng dụng là thách thức thực tế còn lại. Tiến bộ trên các con đường kỹ thuật này cung cấp cơ sở thực tế cho kỳ vọng rằng SNARKs có thể đạt được chi phí quá mức ở mức số đơn vị trong vòng một thập kỷ.

🔥 Ngoài những tin tức chính: KuCoin 5.0 có ý nghĩa gì với bạn

Tin tức thị trường thay đổi nhanh — nhưng nơi bạn hành động trên đó cũng quan trọng không kém. Tháng Mười này, KuCoin ra mắt KuCoin 5.0, biến KuCoin thành một nền tảng được xây dựng lại. Dưới đây là những gì thực sự thay đổi đối với bạn:

Một tài khoản cho mọi thứ. Các nền tảng cũ chia tiền của bạn thành các tài khoản riêng biệt “spot”, “margin” và “futures” và mong đợi bạn hiểu lý do. Tài khoản hợp nhất của KuCoin 5.0 loại bỏ hoàn toàn điều đó — chỉ cần nạp một lần, mọi thứ đều có sẵn.
Cổ phiếu, chỉ số và hàng hóa. KuCoin 5.0 mở rộng ra ngoài tiền điện tử sang các thị trường toàn cầu. Khi tiền điện tử đi ngang và chứng khoán tăng trưởng (hoặc ngược lại), bạn có thể chuyển đổi trong vài phút thay vì mở tài khoản môi giới và chờ đợi vài ngày để chuyển tiền pháp định.
Tài sản thực tế (RWA). Tiếp cận thông qua token hóa các tài sản truyền thống như hàng hóa, ngay trong tài khoản tiền điện tử của bạn. Một trong những phân khúc tăng trưởng nhanh nhất trong tài chính toàn cầu giờ đây không còn dành riêng cho các tổ chức — bạn có thể tiếp cận nó từ cùng một số dư mà bạn dùng để giao dịch.
Kiếm lợi nhuận trong khi học hỏi. Chưa sẵn sàng giao dịch? KCUSD giúp stablecoin của bạn sinh lời hàng ngày với lãi suất tự động tái đầu tư. Cách đơn giản nhất để đưa số dư không hoạt động của bạn vào làm việc, mang lại lợi suất 4%.
Một trợ lý AI bằng ngôn ngữ đơn giản. Đặt câu hỏi, nhận bối cảnh thị trường, hiểu những gì bạn đang xem — được tích hợp sẵn trên nền tảng, không cần dùng thuật ngữ chuyên môn.
Một ứng dụng không gây quá tải. Nhanh hơn, sạch sẽ hơn và nhất quán — trực quan ngay từ lần chạm đầu tiên, không cần hướng dẫn.
An toàn bạn có thể kiểm tra, không chỉ tin tưởng. Là một thực thể tại EU được cấp phép theo MiCAR, Proof of Reserves bạn có thể tự xác minh, cùng với chứng nhận bảo mật quốc tế (SOC 2 Type II, ISO 27001:2022).

Tạo tài khoản của bạn trong vài phút — và bắt đầu trên nền tảng được xây dựng cho tương lai của tiền mã hóa, chứ không phải quá khứ của nó.

Triển vọng dài hạn cho các hệ thống trạng thái chung riêng tư và vai trò trung gian

Nếu các khoản tiết kiệm chi phí được dự kiến trở thành hiện thực, các ứng dụng trạng thái chia sẻ riêng tư sẽ trở nên thực tế hơn. Mã hóa hoàn toàn đồng dạng sẽ cho phép nhiều bên tính toán trên dữ liệu đã được mã hóa mà không tiết lộ đầu vào, trong khi SNARKs sẽ cung cấp các bằng chứng gọn nhẹ chứng minh rằng phép tính đã tuân theo các quy tắc đã thống nhất. Che giấu sự không thể phân biệt có thể thêm một lớp bảo vệ cho logic sở hữu. Các phiên bản rẻ hơn của những công cụ này sẽ giảm sự phụ thuộc vào các bên giữ tài sản đáng tin cậy, kiểm toán viên hoặc các động cơ khớp lệnh tập trung cho một số quy trình tài chính và tính toán. Phân tích tháng 9 năm 2026 đã liên kết rõ ràng việc giảm chi phí mã hóa với khả năng làm suy yếu vai trò của các trung gian truyền thống khi quyền riêng tư và khả năng xác minh trở thành tính năng mặc định thay vì tính năng chuyên biệt.

Thời gian vẫn còn dài cho toàn bộ bộ các nguyên tố cơ bản, nhưng những tiến bộ từng bước trong hiệu quả của SNARK đã mở rộng không gian thiết kế cho các hệ thống lai kết hợp các bằng chứng sản xuất hiện tại với các kỹ thuật bảo mật khác. Các lộ trình bảo mật và mở rộng của chính ethereum minh họa con đường ngắn hạn. Các đề xuất về đọc, ghi và chứng minh riêng tư, cùng với giao dịch khung và nonce có khóa, có thể tích hợp việc sử dụng SNARK một cách tích cực hơn khi chi phí giảm. Các thiết kế đồng thuận nhẹ nhàng thay thế các cập nhật trạng thái lặp đi lặp lại bằng các bằng chứng súc tích cũng được hưởng lợi tương tự.

Ngoài các hệ thống blockchain, những lợi ích về hiệu suất tương tự hỗ trợ các môi trường được quản lý yêu cầu cả tính bảo mật và khả năng kiểm toán. Xác suất 33% được gán cho chi phí gần như bằng không khi quy mô lớn đại diện cho một khả năng dài hạn, trong đó chi phí bổ sung của bảo vệ mã hóa trở nên không đáng kể đối với các tải công việc trung bình. Ngay cả xác suất bảo thủ hơn là 60% cho chi phí dưới 10 lần cũng sẽ tạo ra một sự thay đổi đáng kể so với hiệu suất lịch sử. Do đó, theo dõi quỹ đạo chi phí thực nghiệm của SNARKs vẫn là cách trực tiếp nhất để đánh giá liệu những hệ quả dài hạn này có đang tiến gần đến tính khả thi hay không.

Câu hỏi thường gặp

Vitalik Buterin đã nói gì cụ thể về chi phí SNARK vào tháng 9 năm 2026?

Vào ngày 6 tháng 9 năm 2026, Buterin đã gán xác suất 60% rằng SNARKs, mã hóa toàn bộ đồng nhất và che giấu không thể phân biệt sẽ cuối cùng hoạt động với chi phí năng lượng và chi phí tính toán trung bình dưới 10 lần so với chi phí tính toán thông thường. Ông cũng ước tính riêng biệt khả năng 33% rằng cả ba công nghệ này có thể tiến gần đến mức chi phí vượt quá 1+ε khi quy mô đủ lớn.

Chi phí chứng minh SNARK hiện tại đã gần với mục tiêu quá tải một chữ số chưa?

Các công việc chuyên biệt như đánh giá băm hàng loạt đã hoạt động gần hoặc trong phạm vi bội số đơn vị của việc thực thi bản địa trên phần cứng người dùng. Chi phí tuyệt đối cho các bằng chứng khối ethereum đầy đủ đã giảm từ khoảng 1,69 đô la vào đầu năm 2025 xuống dưới bốn xu vào cuối năm 2025 và gần một nửa xu cho các cấu hình được chọn vào đầu tháng 9 năm 2026. Những giảm trừ tuyệt đối này cải thiện tỷ lệ chi phí hiệu quả ngay cả trước khi có thêm các lợi ích thuật toán.

Tại sao năng lượng cộng chi phí đã phân bổ lại quan trọng hơn thời gian chạy thuần túy?

Thời gian chạy đơn thuần có thể làm giảm nhẹ gánh nặng kinh tế của mật mã học, vì tiêu thụ năng lượng và hao mòn vốn của phần cứng tạo thành những chi phí thực tế ở quy mô lớn. Việc đo lường chi phí gián tiếp bằng tổng chi phí năng lượng và chi phí máy tính đã phân bổ cung cấp một bức tranh đầy đủ hơn về việc một công nghệ có thực sự khả thi để triển khai thường xuyên hay không.

Liệu SNARKs giá rẻ hơn có thể trực tiếp tăng giới hạn gas của ethereum không?

Việc giảm chi phí chứng minh giúp giảm thiểu phần cứng cần thiết để xác thực các khối lớn hơn khi một tỷ lệ đáng kể việc thực thi được bao phủ bởi các bằng chứng súc tích thay vì thực thi lại. Do đó, các người xác thực có thể hỗ trợ giới hạn gas cao hơn mà không cần tăng công suất tính toán tương ứng. Các bằng chứng đệ quy và gộp further amortize chi phí xác minh.

Các hàm băm chuyên biệt đóng vai trò gì trong việc giảm chi phí?

Các đánh giá băm chiếm ưu thế trong nhiều mạch mật mã. Khi các module SNARK chuyên dụng chứng minh các lô băm tiêu chuẩn với thông lượng cao và chi phí tương đối thấp, chi phí tổng thể của các mệnh đề lớn hơn sẽ giảm xuống, ngay cả khi logic xung quanh vẫn chưa được tối ưu hóa nhiều. Các hệ thống như Flock đã công bố các con số thông lượng cụ thể vượt quá hàng trăm nghìn lần nén mỗi giây trên laptop người dùng, với kích thước bằng chứng và thời gian xác minh vẫn ở mức thực tế.

FHE và obfuscation không thể phân biệt được so sánh như thế nào về mức độ trưởng thành?

Cả hai đều vẫn đắt hơn nhiều so với SNARKs. Các triển khai FHE hiện tại vẫn tạo ra các tác phẩm lớn và thời gian chạy hàng giờ cho các tác vụ khiêm tốn. Ngay cả dưới các giả định lạc quan, các cấu trúc của ẩn danh không thể phân biệt được vẫn có thời gian chạy “hành tinh” hoặc vài ngày trên phần cứng mạnh.

Thông báo miễn trừ trách nhiệm: Nội dung này chỉ mang tính chất thông tin và không cấu thành lời khuyên đầu tư. Đầu tư vào tiền điện tử tiềm ẩn rủi ro. Vui lòng tự nghiên cứu (DYOR).

Tuyên bố từ chối trách nhiệm: Trang này được dịch bằng công nghệ AI để thuận tiện cho bạn. Để biết thông tin chính xác nhất, hãy tham khảo bản gốc tiếng Anh.