Trong chiến trường của Layer 1 công chuỗi, thiết kế cơ chế đồng thuận thường quyết định số phận của toàn bộ chuỗi. An toàn, thông lượng, mức độ phi tập trung, cùng với khả năng đảm nhận các ứng dụng phức tạp — những chỉ số này thực ra đều hướng tới một vấn đề chung: Làm thế nào để thiết kế cơ chế đồng thuận có thể thống nhất các yêu cầu tưởng chừng mâu thuẫn này?
Đối với Dusk Network, một dự án tập trung vào giao dịch riêng tư và ứng dụng thị trường tài chính, câu hỏi này đặc biệt khó khăn. Cần bảo vệ quyền riêng tư của giao dịch, đồng thời cho phép mạng xác minh tính hợp lệ của các giao dịch riêng tư đó — nghe có vẻ hơi viễn tưởng, nhưng thông qua một cơ chế gọi là Giao thức Byzantine cách ly (SBA), Dusk đã biến điều này thành hiện thực.
**Phân chia vai trò: Tách biệt người thực thi và người xác nhận**
Nói đơn giản, ý tưởng cốt lõi của SBA chỉ trong một câu — tách người tạo khối và người xác nhận khối ra khỏi nhau. Làm như vậy mang lại lợi ích gì? Hãy xem tiếp.
Trong mạng, chia thành hai loại nút vai trò:
**Người tạo khối**: Thông qua việc đặt cược $DUSK và cơ chế bốc thăm dựa trên mật mã, họ được chọn ngẫu nhiên. Nhiệm vụ của họ là thu thập giao dịch, đóng gói khối, thực thi logic giao dịch, đồng thời tạo ra chứng minh không kiến thức (ZKPs). Một điểm quan trọng — người tạo khối không thể nhìn thấy nội dung rõ của các giao dịch. Làm thế nào để thực hiện? Thông qua hệ thống chứng minh mật mã được hoàn thành trong hộp đen. Quy trình này tự nhiên bảo vệ quyền riêng tư ở cấp độ này.
**Ủy ban đồng thuận**: Vai trò này có nhiều thành viên hơn, cũng được chọn ngẫu nhiên. Tuy nhiên, công việc của họ lại nhẹ nhàng hơn — không cần phải thực thi lại các tính toán nặng của giao dịch, chỉ cần xác minh chứng minh không kiến thức do người tạo khối cung cấp. Những chứng minh này đảm bảo theo toán học rằng: các giao dịch hợp lệ, tuân thủ quy định, và trạng thái chuyển đổi đúng đắn. Ủy ban chỉ thấy các chứng minh mật mã nhẹ nhàng, dựa trên đó đạt được đồng thuận cuối cùng.
**Tại sao cách phân chia này lại có thể chơi đùa sáng tạo?**
Thứ nhất là **khả năng mở rộng**. Các giao dịch đòi hỏi tính toán nặng và xác minh dựa trên truyền thông nhiều được tách biệt vật lý — giúp người tạo khối xử lý hàng loạt giao dịch riêng tư song song, trong khi ủy ban đồng thuận tập trung xác minh nhanh các chứng minh. Kết quả là giới hạn thông lượng được nâng cao, tốc độ thanh toán lớn như trong lĩnh vực tài chính cũng theo kịp.
Thứ hai là **sự hoàn hảo trong bảo vệ quyền riêng tư và xác minh**. Quá trình đồng thuận truyền thống yêu cầu các nút đều phải xem rõ nội dung giao dịch để xác minh — điều này tự nhiên mâu thuẫn với quyền riêng tư. SBA giải quyết điểm đau này: đồng thuận hoàn toàn dựa trên việc xác minh các chứng minh toán học, dữ liệu gốc không bao giờ cần phải phơi bày. Mạng có thể đảm bảo tính nhất quán của trạng thái, đồng thời giữ cho từng giao dịch luôn riêng tư. Đây mới thực sự là "quyền riêng tư có thể xác minh".
Thiết kế này về lý thuyết mở ra một con đường mới cho các ứng dụng tài chính riêng tư, đặc biệt phù hợp với các trường hợp cần quyền riêng tư nhưng không thể bỏ qua yêu cầu tuân thủ quy định.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
16 thích
Phần thưởng
16
6
Đăng lại
Retweed
Bình luận
0/400
PonziDetector
· 3giờ trước
Lại là chuyện cũ về quyền riêng tư + tuân thủ quy định, cảm giác như mỗi dự án đều đang khoe khoang về điều này...
Xem bản gốcTrả lời0
tx_or_didn't_happen
· 01-12 11:03
Chứng minh không kiến thức nghe có vẻ cao cấp, nhưng nói trắng ra vẫn có thể lừa đảo được.
Xem bản gốcTrả lời0
MetaverseVagabond
· 01-11 12:52
Mẹ ơi, chứng minh không kiến thức đen hộp thực thi? Cài đặt này nghe có vẻ tuyệt đấy
Xem bản gốcTrả lời0
MEVHunter
· 01-11 12:35
Các trình xác thực zkP ăn vụn trong khi các nhà xây dựng khối thưởng thức bữa tiệc... đây là lý do tại sao SBA của dusk lại cực kỳ thông minh, sự phân chia giữa thực thi và đồng thuận mang lại hiệu quả khác biệt khi bạn săn lùng lợi nhuận chênh lệch qua các lớp riêng tư. Mempool vẫn giữ bí mật, nhưng xác minh bằng chứng = lợi thế minh bạch. tự hỏi liệu có tiềm năng sandwich trong giai đoạn cam kết...
Xem bản gốcTrả lời0
CryptoCross-TalkClub
· 01-11 12:28
Cười chết mất, bộ SBA này nghe có vẻ cực kỳ phức tạp, nhưng nói thẳng ra là — tôi lén lút làm sổ sách, các bạn chỉ cần tin vào chứng minh toán học của tôi thôi đúng không? Các nhà đầu tư nhỏ yên tâm, lần này chúng ta lại có thể kiếm tiền từ quyền riêng tư, hoàn hảo
Trong chiến trường của Layer 1 công chuỗi, thiết kế cơ chế đồng thuận thường quyết định số phận của toàn bộ chuỗi. An toàn, thông lượng, mức độ phi tập trung, cùng với khả năng đảm nhận các ứng dụng phức tạp — những chỉ số này thực ra đều hướng tới một vấn đề chung: Làm thế nào để thiết kế cơ chế đồng thuận có thể thống nhất các yêu cầu tưởng chừng mâu thuẫn này?
Đối với Dusk Network, một dự án tập trung vào giao dịch riêng tư và ứng dụng thị trường tài chính, câu hỏi này đặc biệt khó khăn. Cần bảo vệ quyền riêng tư của giao dịch, đồng thời cho phép mạng xác minh tính hợp lệ của các giao dịch riêng tư đó — nghe có vẻ hơi viễn tưởng, nhưng thông qua một cơ chế gọi là Giao thức Byzantine cách ly (SBA), Dusk đã biến điều này thành hiện thực.
**Phân chia vai trò: Tách biệt người thực thi và người xác nhận**
Nói đơn giản, ý tưởng cốt lõi của SBA chỉ trong một câu — tách người tạo khối và người xác nhận khối ra khỏi nhau. Làm như vậy mang lại lợi ích gì? Hãy xem tiếp.
Trong mạng, chia thành hai loại nút vai trò:
**Người tạo khối**: Thông qua việc đặt cược $DUSK và cơ chế bốc thăm dựa trên mật mã, họ được chọn ngẫu nhiên. Nhiệm vụ của họ là thu thập giao dịch, đóng gói khối, thực thi logic giao dịch, đồng thời tạo ra chứng minh không kiến thức (ZKPs). Một điểm quan trọng — người tạo khối không thể nhìn thấy nội dung rõ của các giao dịch. Làm thế nào để thực hiện? Thông qua hệ thống chứng minh mật mã được hoàn thành trong hộp đen. Quy trình này tự nhiên bảo vệ quyền riêng tư ở cấp độ này.
**Ủy ban đồng thuận**: Vai trò này có nhiều thành viên hơn, cũng được chọn ngẫu nhiên. Tuy nhiên, công việc của họ lại nhẹ nhàng hơn — không cần phải thực thi lại các tính toán nặng của giao dịch, chỉ cần xác minh chứng minh không kiến thức do người tạo khối cung cấp. Những chứng minh này đảm bảo theo toán học rằng: các giao dịch hợp lệ, tuân thủ quy định, và trạng thái chuyển đổi đúng đắn. Ủy ban chỉ thấy các chứng minh mật mã nhẹ nhàng, dựa trên đó đạt được đồng thuận cuối cùng.
**Tại sao cách phân chia này lại có thể chơi đùa sáng tạo?**
Thứ nhất là **khả năng mở rộng**. Các giao dịch đòi hỏi tính toán nặng và xác minh dựa trên truyền thông nhiều được tách biệt vật lý — giúp người tạo khối xử lý hàng loạt giao dịch riêng tư song song, trong khi ủy ban đồng thuận tập trung xác minh nhanh các chứng minh. Kết quả là giới hạn thông lượng được nâng cao, tốc độ thanh toán lớn như trong lĩnh vực tài chính cũng theo kịp.
Thứ hai là **sự hoàn hảo trong bảo vệ quyền riêng tư và xác minh**. Quá trình đồng thuận truyền thống yêu cầu các nút đều phải xem rõ nội dung giao dịch để xác minh — điều này tự nhiên mâu thuẫn với quyền riêng tư. SBA giải quyết điểm đau này: đồng thuận hoàn toàn dựa trên việc xác minh các chứng minh toán học, dữ liệu gốc không bao giờ cần phải phơi bày. Mạng có thể đảm bảo tính nhất quán của trạng thái, đồng thời giữ cho từng giao dịch luôn riêng tư. Đây mới thực sự là "quyền riêng tư có thể xác minh".
Thiết kế này về lý thuyết mở ra một con đường mới cho các ứng dụng tài chính riêng tư, đặc biệt phù hợp với các trường hợp cần quyền riêng tư nhưng không thể bỏ qua yêu cầu tuân thủ quy định.