Tại sao V God thích tổng hợp ZK hơn?

Tiêu đề gốc: "Mở rộng Ethereum Lớp 2, tại sao Buterin lại thích triển khai ZK?" 》

Tác giả gốc: Vitalik Buterin

Bản biên soạn gốc: Miễn phí và dễ dàng

Một trong những tính năng có giá trị nhất của nhiều ứng dụng blockchain đó là Sự tin cậy: Ứng dụng có thể tiếp tục hoạt động theo cách mong đợi mà không cần dựa vào các tác nhân cụ thể để hành xử theo một cách cụ thể (mặc dù lợi ích của họ có thể thay đổi và khiến họ hành xử theo một cách khác và không mong đợi 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 như không đáng tin cậy hơn những ứng dụng khác. Nếu chúng ta đang đi theo hướng giảm thiểu 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ề niềm tin là thế này: Niềm tin là việc áp dụng 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 đang đi bộ trên phố mà không đảm bảo giữ khoảng cách với người lạ hai mét, họ sẽ không bất ngờ rút dao đâm bạn. , hãy tin tưởng những người điều hành hệ thống pháp luật sẽ tiếp tục đưa ra những biện pháp mạnh mẽ chống lại hành vi này. 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 mã đó một cách trung thực (dù là vì ý thức lịch sự hay vì 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 mã và các lỗ hổng được phát hiện. Không tự trồng lương thực cũng là một dấu hiệu của sự tin tưởng: Bạn phải tin tưởng rằng có đủ người sẽ nhận ra rằng việc trồng lương thực là vì lợi ích của họ để bán cho bạn. Bạn có thể tin tưởng vào nhiều nhóm người khác nhau và có nhiều loại niềm tin khác nhau.

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

Theo nhu cầu của bạn, bạn cần bao nhiêu người để bạn mong đợi hành động?
Có bao nhiêu người?
Những người này cần động cơ gì cho hành động của mình? Họ có 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?
Nếu những giả định này bị vi phạm, hệ thống sẽ thất bại nghiêm trọng đến mức nào?

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

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

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

N của N: thế giới "Dystopian", bạn cần phải dựa vào rất nhiều người tham gia và tất cả những người tham gia Họ tất cả đều cần phải hoạt động theo cách chúng phải làm để mọi thứ hoạt động bình thường và nếu bất kỳ một trong số chúng bị lỗi, điều đó có nghĩa là không có bản sao lưu.

N/2 of N: Đây là cách blockchain hoạt động, nếu phần lớn các thợ mỏ (hoặc xác minh PoS) trung thực thì blockchain sẽ hoạt động. Lưu ý rằng N càng lớn thì N/2 của N càng có giá trị. Một blockchain có một số lượng nhỏ các công cụ khai thác/trình xác thực thống trị mạng sẽ kém thú vị hơn một blockchain có các công cụ khai thác/trình xác thực được phân phối rộng rãi. Điều đó có nghĩa là chúng tôi thậm chí còn muốn tăng mức độ bảo mật này để bảo vệ khỏi các cuộc tấn công 51% tiềm ẩn.

1 trên N: Có nhiều người tham gia. Chỉ cần í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ư thiết lập đá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 thực sự muốn N càng lớn càng tốt!

Ít trong số N: Có nhiều người tham gia và miễn là có ít nhất một số lượng nhỏ người tham gia trong số đó chúng theo Nếu mong đợi của bạn hoạt động, hệ thống sẽ hoạt động bình thường. Kiểm tra tính sẵn có của dữ liệu thuộc loại này.

0 of N: Hệ thống luôn hoạt động như mong đợi và không phụ thuộc vào bất kỳ tác nhân bên ngoài nào. Xác thực các khối thông qua tự kiểm tra thuộc loại này.

Tất cả các loại mô hình ngoại trừ "0 của N" thực sự có thể được coi là "tin cậy", nhưng chúng rất khác nhau. 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 “1 of N” gần với “0 of N” hơn là “N/2 of N” hay “1 of 1”. Mặc dù mô hình "1 trên N" có thể có cảm giác giống mô hình "1 trên 1" vì có vẻ như bạn đang tin tưởng một người tham gia duy nhất, nhưng thực tế lại rất khác: trong mô hình "1 trên N". Nếu diễn viên mà bạn đang làm việc cùng biến mất hoặc trở nên tồi tệ, bạn có thể chuyển sang một diễn viên khác, điều này trong hệ thống mô hình "1 trên 1" có nghĩa là hệ thống sẽ bị tiêu diệt.

Điều quan trọng cần lưu ý là ngay cả tính chính xác của phần mềm bạn đang chạy cũng thường phụ thuộc vào mô hình tin cậy "vài N" để đảm bảo rằng nếu có lỗi trong mã thì sẽ có người tìm ra lỗi đó Họ đang sửa chữa.

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

Sau đây là một số Lớp blockchain 2 Ví dụ về mô hình tin cậy cho một giao thức. "N nhỏ" đề cập đến tập hợp những người tham gia trong chính hệ thống Lớp 2, trong khi "N lớn" đề cập đến những người tham gia trong 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 chuỗi chính chính nó. Tôi cũng sẽ hạn chế việc sử dụng thuật ngữ "sự thất bại về khả năng tồn tại" trong các tình huống mà đồng xu bị mắc kẹt trong một thời gian dài. Không còn khả năng sử dụng hệ thống nhưng có thể gỡ bỏ nó gần như ngay lập tức không được tính là lỗi kích hoạt.

Kênh (bao gồm các kênh trạng thái và Lightning Network): Niềm tin trực tiếp thuộc mô hình "1 trên 1" (chỉ đối tác của bạn mới có thể tạm thời đóng băng tiền của bạn, nhưng điều này có thể được giảm thiểu nếu bạn chia đều tiền cho nhiều đối tác) Rủi ro), bảo mật niềm tin thuộc mô hình "N/2 của N lớn" (tấn công 51% trên blockchain có thể đánh cắp tiền của bạn);
Plasma (giả sử sử dụng toán tử tập trung): Niềm tin trực tiếp 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), ủy thác bảo mật thuộc mô hình “N/2 của Big N” (tấn công 51% trên blockchain);
Plasma (giả sử sử dụng toán tử bán phi tập trung, chẳng hạn như Sử dụng DPOS): Đang hoạt động độ tin cậy thuộc mô hình "N/2 của N nhỏ" và độ tin cậy bảo mật thuộc mô hình "N/2 của N lớn";
Tập hợp lạc quan: Độ tin cậy hoạt động thuộc về "1 trên 1" hoặc "N/2 mô hình " N nhỏ" (tùy thuộc vào loại nhà điều hành), độ tin cậy bảo mật thuộc về mô hình "N/2 của N lớn";
ZK rollup: độ tin cậy sống động thuộc mô hình "1 của N nhỏ" (nếu nhà điều hành không bao gồm Với 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 việc rút tiền của bạn ngay lập tức, họ không thể tạo thêm đợt. Bạn có thể tự rút tiền với sự trợ giúp của bất kỳ nút đầy đủ nào của hệ thống tổng hợp). ZK quá trình tổng hợp không có bảo mật. Rủi ro thất bại;
Việc tổng hợp ZK (với Chức năng tăng cường khai thác ánh sáng): Không có nguy cơ lỗi hoạt động, không có nguy cơ lỗi bảo mật;

Cuối cùng, còn một điều nữa về động lực Câu hỏi: Những diễn viên mà bạn tin tưởng có cần phải cực kỳ vị tha để cư xử như mong đợi, chỉ hơi vị tha hoặc đủ lý trí không? Theo mặc định, việc tìm ra bằng chứng gian lận có phần mang tính vị tha, mặc dù mức độ vị tha của nó phụ thuộc vào độ phức tạp của phép tính (xem bài viết The Validator's Dilemma"), và có nhiều cách để sửa đổi trò chơi sao cho hợp lý.

Nếu chúng tôi thêm phương thức thanh toán vi mô dịch vụ, việc hỗ trợ người khác thoát khỏi hệ thống tổng hợp ZK luôn là điều hợp lý, vì vậy hầu như không có lý do gì phải lo lắng về việc không thể thoát khỏi hệ thống tổng hợp. Trong thời gian chờ đợi, nếu cộng đồng chúng ta đồng ý với không chấp nhận chuỗi tấn công 51%, nếu trước đây các chuỗi tấn công này yêu cầu khôi phục quá nhiều khối hoặc mất quá nhiều thời gian để xem xét các khối thì rủi ro lớn hơn đối với các hệ thống khác có thể được giảm thiểu.

Kết luận: Khi ai đó nói rằng một hệ thống "dựa vào sự tin cậy", hãy hỏi họ chi tiết hơn xem ý của họ là gì! Chúng có nghĩa là "1 trên 1", "1 trên N" hay "N/2 trên N"? Họ yêu cầu những người tham gia này phải là người vị tha hay người theo chủ nghĩa duy lý? Nếu là lòng vị tha thì nó sẽ tốn một khoản chi phí tầm thường hay một khoản chi phí rất lớn? Nếu giả định này bị vi phạm, bạn sẽ phải chờ hàng giờ hay hàng ngày hay tiền của bạn sẽ bị kẹt mãi mãi? Tùy thuộc vào câu trả lời, câu trả lời của bạn về việc có nên sử dụng hệ thống này hay không có thể rất khác nhau.

Liên kết gốc:https://www. 8btc.com

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia