Bài viết gốc: Zoe, Puzzle Ventures

TL; DR

Kể từ khi có sự cạnh tranh giữa nhiều chuỗi công khai, đến Danksharding trong lộ trình Ethereum, đến các giải pháp lớp thứ hai như op/zk, chúng tôi đã liên tục thảo luận về khả năng mở rộng của chuỗi khối - phải làm gì nếu có một số lượng lớn người dùng và tiền tham gia ? Thông qua loạt bài viết sau đây, tôi muốn cho bạn thấy bức tranh về tương lai, bao gồm ba phần: thu thập dữ liệu, tính toán ngoài chuỗi và xác minh trên chuỗi.

Trustless Data Access + Off-chain Computation + On-chain Verification

“Bằng chứng về sự đồng thuận” là một phần quan trọng của kế hoạch chi tiết này. Bài viết này tìm hiểu tầm quan trọng của việc sử dụng không kiến ​​thức để chứng minh sự đồng thuận trên cơ sở Ethereum PoS, bao gồm:

1. Tầm quan trọng của việc phân quyền đối với EVM.

2. Tầm quan trọng của việc truy cập dữ liệu phi tập trung đối với việc mở rộng web3.

Chứng minh sự đồng thuận hoàn toàn của mạng chính Ethereum là một nhiệm vụ phức tạp, nhưng nếu chúng ta có thể hiện thực hóa lớp đồng thuận ZK, nó sẽ giúp mở rộng Ethereum trên cơ sở đảm bảo tính bảo mật và tin cậy, đồng thời nâng cao tính mạnh mẽ của toàn bộ mạng. Hệ sinh thái Ethereum. Giảm chi phí tham gia và cho phép nhiều người tham gia hơn.

1. Tại sao Lớp Bằng chứng Đồng thuận lại quan trọng?

Sử dụng zk để xác minh lớp đồng thuận của Ethereum L1 có ý nghĩa theo hai hướng chung. Trước hết, nó có thể bù đắp những thiếu sót về tính đa dạng của nút hiện tại và tăng cường tính phân cấp và bảo mật của chính Ethereum. Thứ hai, nó cung cấp cơ sở về khả năng sử dụng và bảo mật cho các giao thức ở tất cả các lớp của hệ sinh thái Ethereum để tiếp cận nhiều người dùng hơn, bao gồm bảo mật chuỗi chéo, truy cập dữ liệu không cần tin cậy, oracle phi tập trung và mở rộng.

1. Quan điểm của Ethereum

Để Ethereum đạt được sự phân cấp và mạnh mẽ, nó cần một môi trường đa dạng về khách hàng. Điều đó có nghĩa là có nhiều người tham gia hơn, đặc biệt là người dùng thông thường, chạy ứng dụng khách dựa trên các môi trường mã khác nhau. Tuy nhiên, việc yêu cầu mọi người dùng chạy một nút đầy đủ là không thực tế vì nó đòi hỏi nhiều tài nguyên, ít người có đủ khả năng mua ít nhất 16 GB RAM và SSD nhanh với 2 TB trở lên và những yêu cầu này ngày càng tăng.

Mục tiêu hiện tại là triển khai một nút nhẹ, có thể cung cấp mức độ tin cậy tương tự như một nút đầy đủ (giảm thiểu độ tin cậy), nhưng cũng có chi phí thấp hơn về các yêu cầu về bộ nhớ, lưu trữ và băng thông. Tuy nhiên, hiện tại các light node không tham gia vào quá trình đồng thuận hoặc chỉ được bảo vệ một phần bởi cơ chế đồng thuận (Ủy ban đồng bộ).

Mục tiêu này được gọi là “The Verge” trong lộ trình của Ethereum.

Goal: verifying blocks should be super easy - download N bytes of data, perform a few basic computations, verify a SNARK and you’re done— The Verge on Ethereum’s Roadmap

The Verge nhằm mục đích thu hẹp khoảng cách khách hàng. Bước quan trọng là làm thế nào để nhận ra một nút ánh sáng không đáng tin cậy. Mức độ bảo mật phải tương đương với nút đầy đủ ngày nay, lấp đầy khoảng trống khách hàng, để nhiều người hơn có thể tích cực tham gia vào sự phân quyền của mạng lưới và sự mạnh mẽ.

https://www.ethernodes.org/network-types

https://clientdiversity.org/

2. Từ góc độ các giao thức ở các lớp khác nhau của hệ sinh thái Ethereum

Bắt đầu từ những nguyên tắc đầu tiên, chúng ta cần giải quyết vấn đề kết hợp truy cập dữ liệu trên chuỗi và xác minh tính toán ngoài chuỗi.

Hiện tại, việc sử dụng dữ liệu trên chuỗi còn tương đối thô sơ và chưa đầy đủ. Trong nhiều trường hợp, dữ liệu cần thiết để điều chỉnh giao thức quá phức tạp để có thể tính toán trên chuỗi và chi phí lấy dữ liệu theo cách không đáng tin cậy quá cao, đòi hỏi một lượng lớn quyền truy cập dữ liệu lịch sử và tính toán kỹ thuật số thường xuyên.

Đối với người dùng cá nhân và dự án, tình huống lý tưởng của chúng tôi là đạt được khả năng truyền, đọc và ghi dữ liệu không cần tin cậy, phi tập trung, từ đầu đến cuối. Dựa trên điều này, để có nhiều người dùng hơn trong tương lai, chi phí điện toán phải càng thấp càng tốt, có tính đến bảo mật tài khoản, khả năng sử dụng và tính kinh tế.

Cụ thể bao gồm các khía cạnh sau:

1. Oracle phi tập trung và không cần tin cậy (Oracle): Giao thức hiện tại sử dụng oracle tập trung để tránh truy cập vào một lượng lớn dữ liệu lịch sử trực tiếp trên chuỗi, điều này làm tăng chi phí tin cậy không cần thiết và giảm khả năng kết hợp.

2. Đọc và ghi dữ liệu của dữ liệu và các giao thức nhạy cảm với tài sản: Ví dụ: giao thức DeFi cần điều chỉnh linh hoạt một số tham số trong quá trình hoạt động, nhưng liệu có thể truy cập dữ liệu lịch sử mà không cần tin cậy và thực hiện các phép tính phức tạp hơn hay không, chẳng hạn như dựa trên dữ liệu gần đây biến động thị trường Điều chỉnh phí AMM, thiết kế mô hình giá giao dịch phái sinh chuỗi và biến động động, giới thiệu các phương pháp học máy để quản lý tài sản và điều chỉnh lãi suất cho vay theo điều kiện thị trường.

3. Bảo mật chuỗi chéo: Hiện tại, sơ đồ nút nhẹ dựa trên công nghệ zk vượt trội hơn về tính bảo mật, hiệu quả sử dụng vốn, tính trạng thái và tính đa dạng của thông tin được truyền đi. Giải pháp chuỗi chéo Telepathy hiện tại của Succinct và giải pháp chuỗi chéo của Polehedra trên LayerZero đều dựa trên xác minh zk của các tiêu đề khối nút ánh sáng của Ủy ban đồng bộ hóa. Tuy nhiên, Ủy ban đồng bộ hóa không phải là lớp đồng thuận Ethereum PoS, có một giả định về độ tin cậy nhất định và vẫn còn chỗ để hoàn thiện nó hơn trong tương lai.

Hiện tại, các nhà phát triển thường dựa vào các máy chủ RPC tập trung, chẳng hạn như Alchemy, Infura và Ankr, khi sử dụng dữ liệu trên chuỗi do chi phí kinh tế, hạn chế kỹ thuật và những cân nhắc về trải nghiệm người dùng.

2. Dữ liệu blockchain đến từ đâu? Giả định tin cậy cho các nguồn dữ liệu khác nhau

Có hai nguồn dữ liệu tính toán trong blockchain: dữ liệu trên chuỗi và dữ liệu ngoài chuỗi. Các tính toán được thực hiện tương ứng với các điểm đến trên chuỗi và ngoài chuỗi. Ví dụ: nhu cầu điều chỉnh các tham số giao thức DeFi đã đề cập ở trên.

Data Access, computation, proof and verification

Việc đọc, ghi và tính toán dữ liệu trên chuỗi và ngoài chuỗi có hai tính năng đặc biệt:

1. Để đạt được sự phân cấp và bảo mật, tốt nhất là hãy xác minh dữ liệu chúng tôi thu được, đó là Đừng tin tưởng, hãy xác minh.

2. Thường liên quan đến nhiều quá trình tính toán phức tạp và tốn kém.

Nếu không tìm được giải pháp kỹ thuật phù hợp, hai điểm trên sẽ ảnh hưởng đến khả năng sử dụng của blockchain.

Chúng ta có thể minh họa các phương pháp thu thập dữ liệu khác nhau thông qua một ví dụ đơn giản. Giả sử bạn muốn kiểm tra số dư tài khoản của mình, bạn sẽ làm gì?

Một trong những cách an toàn nhất là tự mình chạy một nút đầy đủ, kiểm tra trạng thái Ethereum được lưu trữ cục bộ và lấy số dư tài khoản từ đó.

Điểm chuẩn nút đầy đủ. Chế độ đồng bộ hóa và lựa chọn ứng dụng khách ảnh hưởng đến yêu cầu về không gian cần thiết.

tham khảo:

https://ethereum.org/en/developers/docs/nodes-and-clients/run-a-node/; https://docs.google.com/presentation/d/1ZxEp6Go5XqTZxQFYTYYnzyd97JKbcXlA6O2s4RI9jr4/mobilepresent?pli=1&slide=id.g252bbdac496_0_109）

Tuy nhiên, việc tự mình chạy một nút đầy đủ rất tốn kém và cần phải tự bảo trì. Để tránh rắc rối, nhiều người có thể yêu cầu dữ liệu trực tiếp từ các nhà khai thác nút tập trung. Mặc dù không có gì sai khi làm điều này, tương tự như cách nó hoạt động trong Web2 và chúng tôi chưa bao giờ thấy bất kỳ hành vi độc hại nào từ các nhà cung cấp này, nhưng điều đó cũng có nghĩa là chúng tôi phải tin tưởng vào một nhà cung cấp dịch vụ tập trung, điều này làm tăng các giả định về bảo mật tổng thể.

Để giải quyết vấn đề này, chúng ta có thể xem xét hai giải pháp: một là giảm chi phí chạy các nút và hai là tìm cách xác minh độ tin cậy của dữ liệu bên thứ ba.

Sau đó chỉ cần lưu trữ dữ liệu cần thiết. Để truy cập dữ liệu hiệu quả hơn, giảm chi phí tin cậy và xác minh dữ liệu độc lập, một số tổ chức đã phát triển các ứng dụng khách nhẹ, chẳng hạn như Helio dựa trên Rust (được phát triển bởi a16z), Lodestar, Nimbus và Kevlar dựa trên JavaScript, v.v. Light client không lưu trữ tất cả dữ liệu khối mà chỉ tải xuống và lưu trữ tiêu đề khối - một bản tóm tắt tất cả thông tin trong một khối. Ứng dụng khách nhẹ có thể xác minh độc lập thông tin dữ liệu nhận được, do đó, khi lấy dữ liệu từ nhà cung cấp dữ liệu bên thứ ba, bạn không cần phải tin tưởng hoàn toàn vào dữ liệu của nhà cung cấp nữa.

https://medium.com/coinmonks/ethereum-data-transaction-trie-simplified-795483ff3929

Các tính năng chính của nút ánh sáng bao gồm:

• Lý tưởng nhất là các nút nhẹ có thể chạy trên điện thoại di động hoặc thiết bị nhúng.

• Lý tưởng nhất là chúng sẽ có cùng chức năng và đảm bảo bảo mật như các nút đầy đủ.

• Tuy nhiên, các nút nhẹ không tham gia vào quá trình đồng thuận hoặc chỉ được bảo vệ bởi một phần của cơ chế đồng thuận, cụ thể là Ủy ban đồng bộ hóa.

Ủy ban đồng bộ hóa là giả định tin cậy của các nút ánh sáng.

Trước The Merge, bắt đầu từ tháng 12 năm 2020, Beacon Chain đã trải qua một đợt hard fork có tên Altair, mục đích cốt lõi của nó là cung cấp sự hỗ trợ đồng thuận cho các nút nhẹ. Khác với sự đồng thuận hoàn toàn của PoS, nhóm xác minh này (512) bao gồm một tập dữ liệu nhỏ hơn, được rút ngẫu nhiên trong khoảng thời gian dài hơn (256 kỷ nguyên, khoảng 27 giờ).

Light clients such as Helios and Succinct are taking steps toward solving the problem, but a light client is far from a fully verifying node: a light client merely verifies the signatures of a random subset of validators called the sync committee, and does not verify that the chain actually follows the protocol rules. To bring us to a world where users can actually verify that the chain follows the rules, we would have to do something different.How will Ethereum's multi-client philosophy interact with ZK-EVMs?, by Vitalik Buterin*

Đây là lý do tại sao chúng tôi muốn xác minh toàn bộ lớp đồng thuận của Ethereum, để mở ra một tương lai an toàn hơn, dễ sử dụng hơn, có giao thức đa dạng hơn và được áp dụng trên quy mô lớn. công nghệ tri thức (không -kiến thức).

3. Sử dụng kiến ​​thức bằng không để chứng minh con đường đến lớp đồng thuận

Để xây dựng một môi trường không yêu cầu các giả định về độ tin cậy, cần phải giải quyết các vấn đề về độ tin cậy của nút nhẹ, truy cập dữ liệu phi tập trung và xác minh tính toán ngoài chuỗi. Trong các khía cạnh này, bằng chứng không có kiến ​​thức hiện là công nghệ cốt lõi được công nhận nhất, bao gồm nhưng không giới hạn ở zkEVM, zkWASM, zkVM khác, Bộ đồng xử lý zk và các giải pháp cơ bản khác.

Chứng minh rằng lớp đồng thuận là một phần quan trọng của nó.

Các thuật toán PoS rất phức tạp và việc triển khai chúng theo cách ZK đòi hỏi nhiều công việc kỹ thuật và cân nhắc về kiến ​​trúc, vì vậy trước tiên hãy chia nhỏ các thành phần của nó.

1. Các bước cốt lõi của việc hình thành sự đồng thuận trong Ethereum 2.0

(1) Các thuật toán liên quan đến trình xác thực

bao gồm các bước sau

• Trở thành người xác thực: Ứng viên người xác thực cần gửi 32 ETH vào hợp đồng tiền gửi và đợi ít nhất 16 giờ đến vài ngày hoặc vài tuần để Beacon Chain xử lý và kích hoạt để trở thành người xác thực chính thức. (Tham khảo Câu hỏi thường gặp - Tại sao phải mất quá nhiều thời gian để kích hoạt trình xác thực)

• Thực hiện nhiệm vụ xác minh: liên quan đến số ngẫu nhiên và thuật toán chứng minh khối.

• Thoát khỏi vai trò người xác minh: Cách thoát khỏi người xác minh có thể là tự nguyện rút lui hoặc bị cắt do vi phạm. Người xác minh có thể chủ động bắt đầu thoát bất cứ lúc nào và mỗi kỷ nguyên có giới hạn về số lượng người xác minh có thể thoát. Nếu có quá nhiều người xác thực cố gắng thoát cùng một lúc, họ sẽ được xếp vào hàng đợi mà họ vẫn cần thực hiện nhiệm vụ xác thực của mình. Sau khi thoát thành công, sau 1/8 tuần, người xác thực sẽ có thể rút số tiền đã cam kết.

• (2) Các thuật toán liên quan đến số ngẫu nhiên

• Mỗi kỷ nguyên chứa 32 khối (khe), được nhóm ngẫu nhiên trước 2 kỷ nguyên và tất cả những người xác nhận được chia thành 32 ủy ban (ủy ban), những người thực hiện nhiệm vụ trong kỷ nguyên hiện tại và chịu trách nhiệm về sự đồng thuận của từng khối.

• Có hai vai trò trong mỗi ủy ban, một người đề xuất (Proposer) và những người còn lại là người xây dựng khối (Builders), cũng được chọn ngẫu nhiên. Điều này tách biệt hai quy trình đặt hàng giao dịch và xây dựng khối (xem phần tách người đề xuất/người xây dựng - PBS để biết chi tiết).

• (3) Các thuật toán liên quan đến chứng thực khối và chữ ký BLS

• Phần chữ ký là phần cốt lõi của lớp đồng thuận.

• Ủy ban xác minh của từng vị trí bỏ phiếu (sử dụng chữ ký BLS) và cần đạt tỷ lệ vượt qua 2/3 để xây dựng khối.

• Trong lớp đồng thuận Ethereum PoS, chữ ký BLS sử dụng đường cong elip BLS 12-381, thân thiện với việc ghép nối, thích hợp để tổng hợp tất cả chữ ký, giảm thời gian và kích thước bằng chứng.

• Trong bằng chứng công việc, các khối có thể được tổ chức lại. Sau khi sáp nhập, các khái niệm về khối hoàn thiện và đầu an toàn trên lớp thực thi đã được giới thiệu. Để tạo một khối xung đột; kẻ tấn công cần đốt ít nhất 1/3 tổng số Ether đặt cọc; phần lớn, PoS đáng tin cậy hơn PoW.

https://blog.ethereum.org/2021/11/29/how-the-merge-impacts-app-layer

Vào cuối tháng 6 năm 2023, chương trình Tự học buổi tối của Puzzle Ventures đã giới thiệu zkPoS của Hyper Oracle (sử dụng phương pháp zk để xác minh lớp đồng thuận đầy đủ của Ethereum). Để biết chi tiết, hãy xem zkPoS: Không tin cậy từ đầu đến cuối

(4) Khác: chẳng hạn như điểm kiểm tra tính chủ quan yếu

Một trong những thách thức mà bằng chứng đồng thuận PoS không đáng tin cậy phải đối mặt là việc lựa chọn điểm kiểm tra chủ quan liên quan đến sự đồng thuận xã hội dựa trên thông tin xã hội. Các điểm kiểm tra này là giới hạn hoàn nguyên vì các khối trước điểm kiểm tra chủ quan yếu không thể thay đổi được. Để biết chi tiết, hãy xem: https://ethereum.org/en/developers/docs/consensus-mechanisms/pos/weak-subjectivity/

Điểm kiểm tra cũng là một điểm cần được xem xét trong quá trình zkization của lớp đồng thuận.

2. Chứng minh ngăn xếp công nghệ ZK của lớp đồng thuận

Trong lớp đồng thuận bằng chứng, việc chứng minh chữ ký hoặc các tính toán khác rất tốn kém, nhưng việc xác minh bằng chứng không có kiến ​​thức lại rất rẻ khi so sánh.

Khi chọn phương pháp sử dụng lớp đồng thuận bằng chứng không có kiến ​​thức, các giao thức cần xem xét các yếu tố sau:

• Bạn định chứng minh điều gì?

• Các kịch bản ứng dụng sau khi chứng minh là gì?

• Làm thế nào để nâng cao hiệu quả chứng minh?

Lấy Hyper Oracle làm ví dụ, để chứng minh chữ ký BLS, Halo 2 đã được chọn. Họ chọn Halo 2 thay vì Circom, được Succinct Labs sử dụng, vì một số lý do:

• Cả Circom và Halo 2 đều có thể tạo ra bằng chứng không có kiến ​​thức về chữ ký BLS (đường cong elip BLS 12 – 381).

• Hyper Oracle không chỉ thực hiện zkPoS, sản phẩm cốt lõi của nó là một oracle không có kiến ​​thức trên chuỗi có thể lập trình được (zkOracle có thể lập trình trên chuỗi). Trong số đó, zkGraph, zkIndexing và zkAutomation được hướng trực tiếp đến người dùng và máy ảo zkWASM cũng được sử dụng để xác minh các tính toán ngoài chuỗi. Mặc dù Circom dễ sử dụng hơn đối với các kỹ sư nhưng nó kém tương thích hơn và không thể đảm bảo có thể sử dụng logic của tất cả các chức năng.

• Ghép nối Circom sẽ được biên dịch thành R 1 CS, không tương thích với hệ thống ràng buộc Plonkish của zkWASM và các mạch khác, đồng thời mạch Ghép nối Halo 2 có thể dễ dàng tích hợp vào mạch zkWASM; ngược lại, R 1 CS dùng để kiểm chứng hàng loạt ( Proof Batching) cũng không lý tưởng.

• Từ góc độ hiệu quả, mạch BLS do ghép nối Halo 2 tạo ra nhỏ hơn, thời gian chứng minh ngắn hơn, yêu cầu phần cứng thấp hơn và phí gas cũng thấp hơn.

https://mirror.xyz/hyperoracleblog.eth/lAE9erAz5eIlQZ346PG6tfh7Q6xy59bmA_kFNr-l6dE

Một điểm quan trọng khác của việc sử dụng không có kiến ​​thức để chứng minh lớp đồng thuận là bằng chứng đệ quy—tức là bằng chứng của bằng chứng, gói những gì đã xảy ra trước đó thành một bằng chứng.

Nếu không có bằng chứng đệ quy, cuối cùng bằng chứng về kích thước O (chiều cao khối) sẽ được xuất ra, nghĩa là mỗi bằng chứng khối (chứng thực khối) và zkp tương ứng. Với bằng chứng đệ quy, chúng ta chỉ cần bằng chứng có kích thước O(1) cho bất kỳ số khối nào ngoài trạng thái ban đầu và cuối cùng.

Verify Proof N and Step N+ 1 to get Proof N+ 1, i.e. you know N+ 1 pieces of knowledge, instead of verify all N Steps separately.

Quay trở lại mục tiêu ban đầu, giải pháp của chúng tôi nên nhắm mục tiêu đến máy khách hạng nhẹ có các hạn chế về điện toán và bộ nhớ. Ngay cả khi mỗi bằng chứng có thể được xác minh trong một khoảng thời gian cố định, nếu số lượng khối và bằng chứng tích lũy thì thời gian xác minh sẽ trở nên rất dài.

3. Mục tiêu cuối cùng: zkEVM cấp 1 với sự đa dạng

Mục tiêu của Ethereum không chỉ là chứng minh lớp đồng thuận mà còn hiện thực hóa khả năng không có kiến ​​thức về toàn bộ máy ảo Lớp 1 thông qua zkEVM và cuối cùng là hiện thực hóa nhiều loại zkEVM để nâng cao tính phân cấp và tính mạnh mẽ của Ethereum.

Để giải quyết những vấn đề này, các giải pháp và lộ trình hiện tại của Ethereum như sau:

nhẹ - yêu cầu bộ nhớ, lưu trữ và băng thông nhỏ hơn

• Hiện tại, chỉ có tiêu đề khối được lưu trữ và xác minh thông qua các nút ánh sáng.

• Sự phát triển trong tương lai cũng đòi hỏi những nỗ lực hơn nữa về cây verkle và các máy khách không trạng thái, liên quan đến việc cải tiến cấu trúc dữ liệu mạng chính.

An toàn không cần tin cậy - để đạt được độ tin cậy tối thiểu tương tự như nút đầy đủ (giảm thiểu độ tin cậy)

• Hiện tại, lớp đồng thuận nút ánh sáng cơ bản, cụ thể là Ủy ban đồng bộ hóa, đã được triển khai, nhưng đây chỉ là giải pháp chuyển tiếp.

• Sử dụng SNARK để xác minh Ethereum Lớp 1, bao gồm xác minh Bằng chứng Verkle của lớp thực thi, xác minh lớp đồng thuận và SNARKing toàn bộ máy ảo.

• ZkEVM cấp 1 được sử dụng để nhận ra không có kiến ​​thức về toàn bộ máy ảo Ethereum Lớp 1 và nhận ra sự đa dạng hóa của zkEVM.

rủi ro có thể xảy ra

Lý tưởng nhất là khi bước vào kỷ nguyên zk, chúng ta sẽ cần nhiều zkEVM nguồn mở - các máy khách khác nhau có cách triển khai zkEVM khác nhau và mỗi máy khách sẽ chờ bằng chứng về khả năng tương thích với cách triển khai của chính nó trước khi chấp nhận một khối.

Tuy nhiên, nhiều hệ thống bằng chứng có thể gặp phải một số vấn đề, vì mỗi hệ thống bằng chứng yêu cầu mạng ngang hàng và máy khách chỉ hỗ trợ một hệ thống bằng chứng chỉ có thể đợi loại bằng chứng tương ứng trước khi được xác minh bởi người xác minh của nó. Hai thách thức chính có thể nảy sinh bao gồm thách thức về độ trễ và sự kém hiệu quả của dữ liệu. Vấn đề trước đây chủ yếu là do việc tạo bằng chứng chậm. Có một khoảng thời gian trễ khi tạo bằng chứng cho các hệ thống bằng chứng khác nhau. Việc này được để lại cho thủ phạm tạo một ngã ba tạm thời, sau này, vì bạn muốn tạo nhiều loại bằng chứng zk nên bạn phải lưu chữ ký gốc. Mặc dù trên lý thuyết, ưu điểm của bản thân zkSNARK là nó có thể xóa chữ ký gốc và các dữ liệu khác , ở đây có một số yêu cầu trái ngược nhau. Tối ưu hóa và giải quyết.

4. Triển vọng tương lai

Để web3 chào đón nhiều người dùng hơn, mang lại trải nghiệm mượt mà hơn, tạo khả năng sử dụng cao hơn và đảm bảo bảo mật ứng dụng, chúng tôi phải xây dựng cơ sở hạ tầng để truy cập dữ liệu phi tập trung, điện toán ngoài chuỗi và xác minh trên chuỗi.

Lớp đồng thuận bằng chứng là một phần quan trọng của nó. Ngoài Ethereum PSE và lớp zkEVM 2 đã nói ở trên, còn có một số giao thức đang đạt được các mục tiêu phía ứng dụng của riêng chúng thông qua sự đồng thuận bằng chứng không có kiến ​​thức, bao gồm Hyper Oracle (ZkOracle có thể lập trình Network) có kế hoạch sử dụng toàn bộ lớp đồng thuận của Ethereum PoS bằng chứng không có kiến ​​thức để lấy dữ liệu; Thần giao cách cảm của Succinct Labs là Cầu nối nút ánh sáng đạt được giao tiếp xuyên chuỗi bằng cách xác minh sự đồng thuận của Ủy ban đồng bộ hóa và gửi bằng chứng hợp lệ trạng thái. ; Khối đa diện ban đầu là một cầu nối nút nhẹ, nhưng bây giờ nó cũng tuyên bố rằng nó sử dụng devirgo để đạt được bằng chứng zk đồng thuận toàn nút đầy đủ.

Ngoài bảo mật chuỗi chéo và các oracle phi tập trung, phương pháp tính toán ngoài chuỗi + xác minh trên chuỗi này cũng có thể tham gia vào việc chứng minh gian lận trong các lần tổng hợp lạc quan và tích hợp với OP L2; hoặc trong kiến ​​trúc dựa trên mục đích (kiến trúc dựa trên mục đích) , cung cấp bằng chứng trên chuỗi cho các cấu trúc mục đích phức tạp hơn, v.v.

Ở đây chúng ta đang nói về hệ sinh thái ngoài chuỗi xung quanh Ethereum không chỉ giới hạn ở Ethereum mà còn liên quan đến thị trường rộng lớn hơn ngoài Ethereum.

Chủ đề này vẫn còn nhiều phần đáng để nghiên cứu chuyên sâu, chẳng hạn như tuần trước vào ngày 24 tháng 8, a16z đã xuất bản một bài báo lập luận rằng blockchain không trạng thái (blockchain không trạng thái) là không thể truy cập được, một ví dụ khác là điểm kiểm tra chủ quan yếu. (yếu) điểm kiểm tra chủ quan), tính bảo mật của Ủy ban Đồng bộ là đủ về mặt toán học, v.v.

Một lần nữa xin cảm ơn các đồng nghiệp vì lời khuyên và phản hồi của họ, Alex @ IOBC (@looksrare_eth), Fan Zhang @ Đại học Yale (@0x FanZhang), Roy @ Aki Protocol (@aki_protocol), Zhixiong Pan @ ChainFeeds (@nake 13), Suning Yao @ Hyper Oracle (@msfew_eth), Qi Chu @ EthStorage (@qc_qizhou), Sinka @ Delphinus (@DelphinusLab), Shumo @ Manta (@shumochu)