Mở rộng Ethereum Layer 2, tại sao V God lại thích ZK rollup hơn?

Lưu ý của biên tập viên: Bài viết này đến từThông tin Babbitt (ID: bitcoin8btc)Lưu ý của biên tập viên: Bài viết này đến từ

Thông tin Babbitt (ID: bitcoin8btc)

Thông tin Babbitt (ID: bitcoin8btc)

, Tác giả: Vitalik Buterin, bản dịch: miễn phí và dễ dàng, được xuất bản với sự cho phép.

• Một trong những tính năng có giá trị nhất của nhiều ứng dụng chuỗi khối là tính không đáng tin cậy: ứng dụng có thể tiếp tục hoạt động theo cách đã định mà không cần phụ thuộc vào một số tác nhân nhất định hành xử theo một cách nhất định (mặc dù sở thích của họ có thể thay đổi và khiến họ hành xử theo một số cách khác và cách bất ngờ trong tương lai). Các ứng dụng chuỗi khối không bao giờ hoàn toàn không đáng tin cậy, nhưng một số ứng dụng gần gũi hơn những ứng dụng khác. Nếu chúng ta đang đi theo hướng tối thiểu hóa niềm tin, thì chúng ta cần có khả năng so sánh các mức độ tin cậy khác nhau.

• Đầu tiên, định nghĩa đơn giản của tôi về lòng tin là thế này: lòng tin là việc thực hiện bất kỳ giả định nào về hành vi của người khác. Trước đại dịch, nếu bạn đi xuống phố mà không đảm bảo rằng bạn giữ khoảng cách hai mét với người lạ, và họ sẽ không bất ngờ rút dao đâm bạn, thì đó là vấn đề về lòng tin: cả hai bên đều tin rằng mọi người hiếm khi hoàn toàn điên rồ, để tin rằng những người điều hành hệ thống pháp luật sẽ tiếp tục đưa ra các biện pháp mạnh mẽ chống lại hành vi đó. Khi bạn chạy một đoạn mã do người khác viết, bạn có thể tin tưởng rằng họ đã viết nó một cách trung thực (vì ý thức lịch sự hoặc lợi ích tài chính trong việc duy trì danh tiếng của họ), hoặc ít nhất là có đủ người đã kiểm tra và tìm thấy mã đó. sơ hở. Việc không tự trồng trọt cũng là một hành động thể hiện lòng tin: Bạn phải tin tưởng rằng có đủ người sẽ nhận ra rằng việc trồng trọt để họ có thể bán cho bạn là vì lợi ích của họ. Bạn có thể tin tưởng những người có quy mô khác nhau và có nhiều loại tin tưởng khác nhau.

• Để phân tích các giao thức chuỗi khối, tôi có xu hướng chia niềm tin thành bốn khía cạnh:

• Bạn cần bao nhiêu người để cư xử theo mong đợi của bạn?

bao nhiêu người?

Những người này cần có động cơ gì để hành xử? Họ cần lòng vị tha, hay họ chỉ đang tìm kiếm lợi nhuận? Họ có cần phối hợp không?

• Hệ thống sẽ thất bại như thế nào nếu những giả định này bị vi phạm?

• Bây giờ, hãy tập trung vào hai cái đầu tiên, chúng ta có thể vẽ một biểu đồ:

• Màu trong hình càng xanh thì càng tốt. Hãy khám phá các danh mục tin cậy chi tiết hơn:

• 1 trên 1: Chỉ có một tác nhân và hệ thống sẽ chỉ hoạt động bình thường nếu tác nhân đó hoạt động như bạn mong đợi. Đây là mô hình "tập trung" truyền thống và đây là mô hình mà chúng tôi hy vọng sẽ cố gắng thay thế.

• N trên N: Một thế giới đen tối nơi bạn dựa vào cả một nhóm diễn viên và tất cả họ cần phải hoạt động như mong đợi để mọi thứ hoạt động và nếu bất kỳ ai trong số họ thất bại, điều đó có nghĩa là không có nhân sự dự phòng.N/2 của N: Đây là cách hoạt động của các chuỗi khối, nếu phần lớn các công cụ khai thác (hoặc trình xác thực PoS) trung thực, thì chuỗi khối sẽ hoạt động. Lưu ý rằng N càng lớn thì N/2 của N càng trở nên có giá trị. Một chuỗi khối có một số lượng nhỏ công cụ khai thác/người xác nhận thống trị mạng sẽ kém thú vị hơn một chuỗi khối có nhiều công cụ khai thác/người xác thực. Điều đó nói rằng, chúng tôi thậm chí muốn tăng mức độ bảo mật này trước các cuộc tấn công 51% tiềm năng.1 of N: Có nhiều người tham gia, miễn là ít nhất một trong số họ hoạt động như bạn mong đợi, hệ thống sẽ hoạt động bình thường. Bất kỳ hệ thống nào dựa trên bằng chứng gian lận đều thuộc loại này, cũng như các cài đặt đáng tin cậy, mặc dù N thường nhỏ hơn trong trường hợp này. Lưu ý rằng bạn muốn N càng lớn càng tốt!

• Kiểm tra tính khả dụng của dữ liệu

Ngoại trừ"0 of N"rơi vào loại này."1 of N"Ngoại trừ"N/2 of N"hoặc"1 of 1"Các mô hình trong tất cả các danh mục khác, thực sự có thể được coi là "tin tưởng", nhưng chúng rất khác nhau. Việc tin tưởng rằng một người (hoặc tổ chức) cụ thể sẽ hoạt động như mong đợi rất khác với việc tin tưởng ai đó ở bất cứ đâu sẽ làm những gì bạn mong đợi. Có thể nói,"0 of N"hơn"1 of 1"hoặc"few of N"gần hơn với

. Trong khi mô hình "1 của N" có thể giống như mô hình "1 của 1", như thể bạn đang tin tưởng một tác nhân duy nhất, thì thực tế lại hoàn toàn khác: trong mô hình " 1 của N”. Nếu diễn viên mà bạn đang làm việc cùng biến mất hoặc gặp trục trặc, bạn có thể chuyển sang diễn viên khác khi đang ở

Trong một hệ thống mô hình, gặp trường hợp này có nghĩa là hệ thống đã kết thúc. Đặc biệt, lưu ý rằng ngay cả tính chính xác của phần mềm bạn đang chạy thường phụ thuộc vào

• Tin tưởng vào mô hình để đảm bảo rằng nếu có lỗi trong mã, ai đó sẽ tìm ra và sửa chúng.

• Một điểm khác biệt quan trọng khác: Hệ thống sẽ thất bại như thế nào nếu các giả định về niềm tin của bạn bị phá vỡ? Trong các chuỗi khối, hai loại lỗi phổ biến nhất là lỗi hoạt động và lỗi bảo mật. Cái gọi là sự thất bại trong hoạt động có nghĩa là bạn tạm thời không thể làm những gì bạn muốn (chẳng hạn như rút tiền, nhận giao dịch trong một khối, đọc thông tin từ chuỗi khối). Mặt khác, lỗi bảo mật xảy ra khi một số hoạt động xảy ra mà hệ thống đang tích cực cố gắng ngăn chặn (ví dụ: chuỗi khối chứa các khối không hợp lệ).

• Sau đây là các ví dụ về mô hình tin cậy đối với một số giao thức Lớp 2 của chuỗi khối. Trong số đó, "N nhỏ" đề cập đến tập hợp những người tham gia của chính hệ thống Lớp 2, trong khi "N lớn" đề cập đến những người tham gia chuỗi khối và tôi cho rằng cộng đồng của giao thức Lớp 2 luôn nhỏ hơn cộng đồng chính. chuỗi chính nó. Tôi cũng hạn chế sử dụng thuật ngữ "thất bại trong cuộc sống" đối với các tình huống mà tiền bị kẹt trong một thời gian dài. Không thể sử dụng hệ thống được nữa, nhưng việc có thể gỡ bỏ hệ thống gần như ngay lập tức không được coi là lỗi hoạt động.

• Các kênh (bao gồm các kênh trạng thái và Lightning Network): niềm tin trực tiếp là mô hình "1 trên 1" (đối tác của bạn có thể tạm thời đóng băng tiền của bạn, mặc dù rủi ro này có thể được giảm thiểu nếu bạn phân bổ tiền cho nhiều đối tác), niềm tin bảo mật thuộc về mô hình "N/2 của N lớn" (tấn công chuỗi khối 51% có thể đánh cắp tiền của bạn);

• Plasma (giả sử một nhà điều hành tập trung): niềm tin tích cực thuộc mô hình "1 trên 1" (nhà điều hành có thể tạm thời đóng băng tiền của bạn), niềm tin bảo mật thuộc mô hình "N/2 của N lớn" (tấn công chuỗi khối 51% );

• Plasma (giả sử các nhà khai thác bán phi tập trung, chẳng hạn như DPOS): niềm tin tích cực thuộc mô hình "N/2 của N nhỏ" và niềm tin bảo mật thuộc mô hình "N/2 của N lớn";Tổng hợp lạc quan: Độ tin cậy tích cực thuộc về mô hình "1 trên 1" hoặc "N/2 của N nhỏ" (tùy thuộc vào loại nhà điều hành) và độ tin cậy bảo mật thuộc mô hình "N/2 của N lớn";Tổng số ZK: niềm tin tích cực thuộc mô hình "1 trên N nhỏ" (nếu nhà điều hành không bao gồm giao dịch của bạn, bạn có thể rút tiền, nếu nhà điều hành không bao gồm khoản rút tiền của bạn ngay lập tức, họ không thể tạo thêm lô, bạn có thể sử dụng bất kỳ nút đầy đủ của hệ thống rollup để tự rút tiền), ZK rollup không có rủi ro về lỗi bảo mật;

Bản tổng hợp ZK (cóCải tiến khai thác ánh sáng): Không có rủi ro lỗi hoạt động, không có rủi ro lỗi bảo mật;

Cuối cùng, có một câu hỏi về các biện pháp khuyến khích: những người tham gia mà bạn tin tưởng có phải rất vị tha để hành xử như mong đợi hay chỉ hơi vị tha hoặc đủ lý trí? Phát hiện gian lận chứng tỏ rằng "mặc định" có phần vị tha, mặc dù mức độ vị tha của nó phụ thuộc vào độ phức tạp tính toán (xem.