Tác giả Hồ Phi Đồng
Bằng chứng không có kiến thức sẽ là một trong những công nghệ cơ bản nhất của Web3 và hầu hết các dự án sẽ liên quan đến bằng chứng không có kiến thức. Nói cách khác, zero-know proof sẽ có tác động sâu rộng và thâm nhập vào mọi ngóc ngách của Web3.
Đầu tiên, hãy nói về Web3 là gì. Nói một cách đơn giản, Web3 là Web phi tập trung. Nếu bạn không nói về phân cấp, chỉ nói về Web3.
Tiền đề của tam giác bất khả thi
Khi nói đến phân cấp, blockchain là không thể tách rời. Khi nói đến blockchain, không có lối thoát nào khỏi Tam giác bất khả thi của Blockchain. Nói cách khác, không thể đạt được sự phân cấp, khả năng mở rộng và bảo mật cùng một lúc.
Nhưng có một tiền đề cho điều này, đó là trong những điều kiện kỹ thuật nhất định. Trong những điều kiện kỹ thuật nhất định, nếu muốn cải thiện một hoặc hai khía cạnh thì bạn phải hy sinh những khía cạnh khác. Ví dụ, nhiều dự án hiện tại tuyên bố có thể đạt được TPS lên tới hàng chục nghìn hoặc hàng trăm nghìn. Không có gì hơn là hy sinh tính bảo mật và phân cấp. Vì vậy, loại dự án này không có cơ sở bảo mật vững chắc và thậm chí còn thái quá hơn trên thực tế, dự án Internet đã phê duyệt da cừu Web3. Bán thịt chó bằng cách bán đầu cừu.
Nếu công nghệ tiến bộ thì sao?
Tuy nhiên, không phải là không thể đạt được cả ba điều này, điều này đòi hỏi phải có tiến bộ công nghệ mới đạt được. Khi công nghệ có bước đột phá thì có thể đạt được sự cải thiện tổng thể. Lấy một ví dụ đơn giản, nếu sức mạnh tính toán và tốc độ mạng tăng lên, TPS có thể tăng lên mà không ảnh hưởng đến tính bảo mật và phân cấp.
Tiến bộ công nghệ có thể dẫn đến đột phá đơn phương hoặc đột phá toàn diện. Ví dụ: việc phát triển bằng chứng lưu trữ cho phép sự đồng thuận của PoC đạt được mức độ bảo mật tương tự như sự đồng thuận của PoW. Do đó, chuỗi khối có thể không cần sử dụng các phương pháp tiêu tốn năng lượng để cung cấp sự tin cậy cơ bản phi tập trung. Sự phát triển và ứng dụng rộng rãi của cơ chế đồng thuận Byzantine cho phép một số tình huống không có yêu cầu bảo mật đặc biệt cao có thể cung cấp nền tảng bảo mật xuống cấp dựa trên PoS. Sự phát triển và tiến bộ của mật mã đã tăng cường tính bảo mật của các giao dịch và có thể cân bằng giữa tính bảo mật và tính dễ sử dụng. Sự phát triển của các bằng chứng không có kiến thức có thể mang lại những đột phá toàn diện, nghĩa là nó có thể cung cấp sự hỗ trợ toàn diện cho quá trình phân cấp, bảo mật và khả năng mở rộng.
Bằng chứng không có kiến thức là gì?
Nói một cách đơn giản, bằng chứng không có kiến thức là một phương pháp mã hóa cho phép một bên (người chứng minh) chứng minh cho một bên khác (người xác minh) rằng thông tin nhất định là đúng mà không cần cung cấp thêm bất kỳ thông tin nào.
Nói điều này thì quá trừu tượng. Nói một cách đơn giản, nó bao gồm hai khía cạnh:
1) Bằng chứng: Bạn có thể sử dụng một chuỗi bằng chứng (một số gần như ngẫu nhiên có độ dài cố định) để chứng minh điều gì đó. Thứ này có thể là một phần dữ liệu được lưu trữ, một phép tính đã hoàn thành, v.v.;
2) Không có kiến thức: nghĩa là nó chứng minh thông tin liên quan đến bạn nhưng không rò rỉ thông tin liên quan; nó chứng minh cho bạn thấy rằng các phép tính đã được thực hiện nhưng không tiết lộ thông tin tính toán cụ thể và dữ liệu đầu vào.
Nó vẫn còn quá trừu tượng. Hãy nói cụ thể hơn: Ví dụ: nếu bạn lưu trữ một phần dữ liệu trên Baidu Cloud Disk, làm sao bạn biết rằng Baidu Cloud Disk không bị mất hoặc giả mạo dữ liệu của bạn? Bạn không biết trừ khi bạn tải xuống và so sánh, điều này rất rắc rối nên bạn chỉ cần chọn tin vào điều đó, và nếu có vấn đề gì thì hãy báo cáo sau đó.
Một ví dụ khác, bạn thuê một máy ảo trong Alibaba Cloud và thực thi một chương trình. Làm sao bạn biết kết quả thực hiện của chương trình này là chính xác? Bạn cứ cho là nó đúng. Điều bạn đang nghĩ là, tại sao Alibaba Cloud lại cố gắng hết sức để nói dối tôi? Vì thế bạn chỉ cần tin vào điều đó. Nhưng không có gì đảm bảo và không có bằng chứng ở đây.
Tuy nhiên, nếu công nghệ tiến bộ, Baidu Netdisk hoặc Alibaba Cloud Computing Platform có thể cung cấp cho bạn bằng chứng mà bạn có thể dễ dàng xác minh sau mỗi lần lưu trữ hoặc tính toán. Đó là bằng chứng nghiêm ngặt về mặt toán học và bạn sẽ không chọn cách đơn giản là tin vào nó. để xác minh. Điều này đặc biệt quan trọng trong các mạng phi tập trung, hãy nhớ: Đừng tin tưởng, hãy xác minh!
Nếu những bằng chứng này có thể được xác minh công khai, tức là bất kỳ ai, kể cả bạn, đều có thể xác minh chúng mà không làm lộ quyền riêng tư, điều đó thật hoàn hảo. Đây là một bằng chứng không có kiến thức.
Tại sao bằng chứng không có kiến thức lại có ở khắp mọi nơi
Trước tiên chúng ta hãy xem tại sao Baidu Netdisk hoặc Alibaba Cloud không cung cấp loại bằng chứng này? Lý do rất đơn giản. Bằng chứng không có kiến thức là một công nghệ mới. Mặc dù nó đang phát triển nhanh chóng nhưng vẫn chưa trưởng thành. Chi phí sử dụng hiện nay vẫn còn rất cao. Nói một cách đơn giản, chi phí để tạo ra một bằng chứng cao hơn nhiều so với việc thực hiện lại nó. Sự khác biệt là ở mức độ lớn nên nó không thực tế.
Tuy nhiên, trong một mạng lưới phi tập trung, tình hình hơi khác một chút. Đầu tiên, bản thân mạng phi tập trung rất đắt tiền. Ví dụ, cách tính Ethereum, bạn sẽ biết điều đó bằng cách nhìn vào chi phí gas. Nó rất tốn kém vì mỗi nút phải thực hiện nhiều lần cùng một phép tính nên chi phí gấp hàng nghìn lần so với tính toán tập trung. Và nếu chúng ta có thể tính toán nó ngoài chuỗi và gửi bằng chứng trực tiếp đến chuỗi thì việc tính toán chỉ cần được thực hiện một lần và tính bảo mật có thể được đảm bảo. Đây là cơ sở lý thuyết của zkRollup. Hầu hết các tính toán của zkRollup đều được tập trung hóa, nhưng các tính toán của nó được gửi tới mạng phi tập trung để xác minh, nhờ vào tính bảo mật của Lớp 1 và mạng mở rộng thông qua các hệ thống phân cấp. Điều này có nghĩa là mạng đã mở rộng nhưng tính bảo mật không bị suy yếu và cơ sở phi tập trung vẫn được giữ nguyên.
Không chỉ có zkRollup có sẵn để tận dụng cơ sở bảo mật của Ethereum Lớp 1 thông qua bằng chứng không có kiến thức. Chúng tôi cũng có thể trực tiếp đổi mới Lớp 1. Với bằng chứng không có kiến thức, chúng tôi dường như không cần thực hiện các phép tính lặp đi lặp lại ở Lớp 1 mà chỉ cần xác minh phi tập trung. Sự khấu hao bắt nguồn từ zkVM. Ví dụ: Aleo là một mạng blockchain mới nổi sử dụng bằng chứng không có kiến thức để tính toán ngoài chuỗi và xác minh trên chuỗi. Tính bảo mật của nó được đảm bảo bởi một số lượng lớn các nút xác minh.
Vì vậy, vì zkRollup có thể mở rộng Lớp 1 thông qua bằng chứng không có kiến thức nên các ứng dụng khác cũng có thể được sử dụng phải không? Chắc chắn. Đây là lý do tại sao nhiều ứng dụng hiện trực tiếp chạy Lớp 2 và gửi trực tiếp bằng chứng lên chuỗi chính để vay bảo mật và đạt được sự tin cậy phi tập trung. Bằng cách này, một số lượng lớn ứng dụng Web2 có thể được ghép vào mạng blockchain an toàn và có thể được kết nối trực tiếp với BTC, Ethereum hoặc Filecoin, v.v.
Với bằng chứng không có kiến thức làm cơ sở, có cơ hội chuyển các ứng dụng Web2 sang Web3. Kiến trúc Web3 có thể là:
Có một số mạng blockchain đủ phi tập trung. Sự đồng thuận mà họ áp dụng chủ yếu là các mạng PoW hoặc PoC hoặc PoS đã có hệ sinh thái mạnh mẽ. Họ thiết lập sự tin cậy của mạng phi tập trung, là nền tảng bảo mật của Web3;
Lớp dịch vụ của bằng chứng không có kiến thức được sử dụng để cung cấp các dịch vụ bằng chứng không có kiến thức và liên kết các ứng dụng với mạng blockchain an toàn;
Phân cấp mạng lưu trữ, xây dựng lớp DA và sử dụng công nghệ chứng minh không có kiến thức để đảm bảo quyền riêng tư và bảo mật dữ liệu;
Đối với các ứng dụng khác nhau, các phép tính của chúng được tập trung hóa và bằng chứng được xây dựng thông qua lớp dịch vụ bằng chứng không có kiến thức và được xác minh thông qua mạng blockchain để đảm bảo tính chính xác và toàn vẹn việc lưu trữ dữ liệu sử dụng mạng lưu trữ phi tập trung, cũng thông qua Bằng chứng không có kiến thức để đảm bảo tính chính xác; và sự trọn vẹn.
Chúng ta phải đợi bao lâu?
Có người muốn hỏi, ứng dụng Web3 hiện nay hình như không được như thế này? Bạn nói đúng, không phải vậy. Web3 vẫn chỉ là một cây giống, chỉ mới ở giai đoạn đầu.
Web3 hiện tại, từ lớp ứng dụng, đặt hợp đồng ở Lớp 1 và dựa vào các tính toán lặp đi lặp lại để cung cấp bảo mật hoặc nó chỉ đặt Mã thông báo vào hợp đồng để ngụy trang thành Web3 (không có đảm bảo bảo mật phi tập trung). Một xu hướng đáng mừng là nhiều dự án Web3 có thể chạy trong Rollup, do đó Lớp 1 có thể được sử dụng để cung cấp bảo mật thông qua các phương pháp OP hoặc ZK. Tuy nhiên, chúng ta có thể thấy rằng hiện tại Web3 vẫn còn rất nhỏ và vẫn bị tài chính (DeFi) chi phối. Sau khi nói về GameFi được vài năm, SocialFi cũng không ngừng cố gắng.
Hãy tưởng tượng, nếu không có bộ lưu trữ phi tập trung (mạng DA phi tập trung đủ), dữ liệu không thể được phân cấp và các ứng dụng tương tác với lượng lớn dữ liệu không thể sử dụng Web3. Ngoài ra, công nghệ chứng minh không có kiến thức chỉ mới chứng minh được tính khả thi trên lý thuyết, còn hiệu quả và tiết kiệm chi phí của nó cần phải được cải thiện đáng kể về mặt kỹ thuật và phương pháp. Hai phần này là chìa khóa cho sự phát triển trong tương lai của Web3. Khi đạt được những đột phá đáng kể ở hai khía cạnh này, kỷ nguyên phân quyền của toàn bộ Internet sẽ đến và kỷ nguyên của Web3 cũng sẽ đến. Vào thời điểm đó, cả Baidu Cloud và Alibaba Cloud cũng sẽ cần chứng minh rằng dịch vụ của họ có thể được xác minh thông qua mạng lưới tin cậy phi tập trung, nếu không, đương nhiên sẽ có các mô hình ứng dụng mới để thích ứng với nhu cầu này.
Chúng ta phải đợi bao lâu, tôi không biết. Nhưng xu hướng là rõ ràng. Đừng có những kỳ vọng ngắn hạn quá cao và đừng đánh giá thấp sức mạnh của sự phát triển dần dần trong dài hạn. Có thể điểm kỳ dị sẽ ở chu kỳ tiếp theo.