Bằng chứng không kiến ​​thức (ZKP) sẽ là một trong những công nghệ cơ bản nhất của Web3

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.

Lưu ảnh tại đây! (Nói xong, chúng ta hãy nhìn lại sau hai năm)

Trước tiên hãy để tôi nói về Web3 là gì. Nói một cách đơn giản, Web3 là Internet phi tập trung (Decentralized Web). 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 quyền, nó không thể tách rời khỏi Blockchain của quận. 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 điều này phải tuân theo các đ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 quyền. 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.

Điều gì sẽ xảy ra nếu công nghệ tiến bộ?

Tuy nhiên, không thể có được cả ba điều này, điều này đòi hỏi 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ể. Đưa ra 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 một số thông tin nhất định là đúng mà không cung cấp thêm bất kỳ thông tin nào.

Điều này 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 chứng minh (một số Ngẫu nhiên có độ dài cố định). ) để chứng minh một điều, 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: cũng Nó chứng minh cho bạn thấy thông tin liên quan nhưng không tiết lộ thông tin liên quan; nó chứng tỏ cho bạn thấy việc tính toán đã đượ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 cụ thể hơn: Ví dụ: nếu bạn lưu trữ một phần dữ liệu trong Baidu Cloud Disk, làm sao bạn biết đó là Baidu Cloud Disk dữ liệu của bạn không bị mất? Nó có bị thay đổi hoặc giả mạo không? 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 đó.

Đối với 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 Nền tảng điện toán đám mây của Alibaba có thể cung cấp cho bạn dữ liệu 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. bằng chứng nghiêm ngặt, bạn không chọn chỉ tin tưởng, bạn có thể chọ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 hãy xem tại sao Baidu lại làm như vậy Netdisk hay Alibaba Cloud 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 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 đến 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 hề suy yếu và cơ sở phi tập trung vẫn được giữ nguyên.

Không chỉ có zkRollup để 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ở, sẽ có cơ hội chuyển các ứng dụng Web2 sang Web3. Kiến trúc Web3 khả thi là:

1. Có một số mạng chuỗi khối đủ phi tập trung, sự đồng thuận mà họ áp dụng chủ yếu là PoW hoặc PoC hoặc mạng 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;

2. < p style="text-. căn chỉnh: trái;">Lớp dịch vụ chứng minh 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, liên kết các ứng dụng và mạng blockchain an toàn;

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

4. Đố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, bằng chứng được xây dựng thông qua lớp dịch vụ chứng minh 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 của việc lưu trữ dữ liệu. Mạng lưu trữ phi tập trung cũng đảm bảo tính chính xác và toàn vẹn thông qua bằng chứng không có kiến ​​thức; .

Chúng ta phải đợi bao lâu?

Có người hỏi, ứng dụng Web3 hiện tại 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 vào Lớp 1 và dựa vào các phép tính 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 Lớp hợp đồng được ngụy trang dưới dạng Web3 (không có 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 phi tập trung và sẽ không có ứng dụng nào cho quy mô lớn tương tác dữ liệu LawWeb3. Ngoài ra, công nghệ chứng minh không có kiến ​​thức chỉ mới được chứng minh 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 đượ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 phải 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.

Tôi không biết chúng ta phải đợi bao lâu. Nhưng xu hướng là rõ ràng. Đừng đặt kỳ vọng quá cao trong thời gian ngắn 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.