Đánh giá AMA mới nhất của Ethereum Foundation: bộ xác thực, số ngẫu nhiên, DVT, hướng kỹ thuật
Biên soạn gốc: GaryMa Wu nói blockchain
Biên soạn gốc: GaryMa Wu nói blockchain
Vào ngày 12 tháng 7, nhóm nghiên cứu của Ethereum Foundation đã tiến hành AMA lần thứ 10 trên diễn đàn reddit. Các thành viên cộng đồng có thể đăng câu hỏi trong bài đăng và các thành viên của nhóm nghiên cứu sẽ trả lời chúng. Wu cho biết các câu hỏi/điểm kỹ thuật liên quan đến AMA này được tóm tắt và biên soạn như sau:
1. Liên quan đến việc thoát của trình xác thực: Cho phép người xác thực rút chứng chỉ khỏi lớp thực thi của nó (0x 01) để kích hoạt việc thoát. Nếu số dư dưới 16 ETH (xảy ra hình phạt thiếu sót hoặc bị tịch thu), người xác nhận sẽ bị đuổi khỏi thỏa thuận ở đây 16 ETH Ngưỡng này có quá thấp không?
Điều này chủ yếu liên quan đến dự thảo EIP-7002. Người ta hiểu rằng Danny Ryan và các nhà phát triển nghiên cứu khác đã cùng nhau phát hành dự thảo EIP-7002, nhằm mục đích cho phép người xác thực rút thông tin xác thực khỏi lớp thực thi của họ (0x 01) để kích hoạt thoát khỏi thư, chuỗi được đánh dấu. Vì trình xác thực có hai khóa, khóa hoạt động và chứng chỉ rút tiền, nhưng hiện tại, chỉ có khóa hoạt động mới có thể bắt đầu thoát trình xác thực, điều đó có nghĩa là trong bất kỳ mối quan hệ ký quỹ phi tiêu chuẩn nào, người nắm giữ chứng chỉ rút tiền không thể chọn không tham gia một cách độc lập và bắt đầu quá trình rút tiền. Để đảm bảo rằng mã thông báo rút tiền do EOA và hợp đồng thông minh nắm giữ có thể kiểm soát ETH được đặt cược mà không cần tin cậy, thông số kỹ thuật này cho phép 0x 01 mã thông báo rút tiền kích hoạt các lần thoát. Đề xuất này sẽ có lợi cho việc phát triển các hoạt động như đặt cược thanh khoản và xác minh phân tán, thúc đẩy hơn nữa việc phân cấp chuỗi beacon, đồng thời quản lý rủi ro tốt hơn, chẳng hạn như mất khóa riêng hoặc mất trình xác minh DVT với hầu hết Kết nối khóa được chia sẻ, v.v.
2. Bài toán về số ngẫu nhiên: RANDAO + VDF
RANDAO là một cách tạo số ngẫu nhiên, giả sử lớp có 10 học sinh và giáo viên muốn chọn ngẫu nhiên một học sinh để trao phần thưởng. Cách chọn mà giáo viên đưa ra là tất cả học sinh đưa ra một số ngẫu nhiên cùng lúc, giáo viên sẽ cộng 10 số ngẫu nhiên thu được và số cuối cùng thu được là số dư 10, các số còn lại là những học sinh cần được chọn. Tuy nhiên, thực tế có thể tìm thấy một vấn đề từ quy trình vận hành RANDAO ở trên. Nếu một bạn cùng lớp gian lận và đưa số ngẫu nhiên cho 9 bạn cùng lớp thì bạn đó có thể chọn một số có lợi nhất cho mình dựa trên thông tin số ngẫu nhiên do 9 bạn cùng lớp đưa ra, để kết quả cuối cùng chỉ về mình. Vì vậy, RANDAO hoạt động hiệu quả đòi hỏi phải đưa ra cơ chế chống gian lận, tức là cần có một phương pháp nhất định để đảm bảo mọi người đều đưa ra câu trả lời cùng một lúc. VDF cũng có ích. Tên đầy đủ của VDF là Hàm trì hoãn có thể xác minh, đặc điểm quan trọng của hàm này là quá trình tính toán để thu được kết quả không thể tính song song, tức là không thể tăng tốc. Tuy nhiên, sau khi có kết quả, lượng tính toán để kiểm chứng kết quả là rất ít. VDF được hiện thực hóa bằng hàm băm và đặc điểm tính toán chậm, xác minh nhanh của hàm băm cũng phù hợp với bản chất của VDF.
Tuy nhiên, các thành viên của nhóm nghiên cứu cho rằng tính kinh tế cuối cùng của việc cố gắng khai thác lỗ hổng “người đề xuất cuối cùng” này có thể không lý tưởng và sự lừa dối như vậy có thể gây tổn hại nghiêm trọng đến danh tiếng của người xác nhận.
3. SSV (Trình xác minh chia sẻ bí mật) và DVT (Công nghệ xác minh phân tán) có “bắt buộc” đối với Ethereum không?
Với tỷ lệ đặt cược Ethereum vượt quá 20%, đối mặt với rủi ro tập trung của các nhà khai thác nút tiềm năng, hai thành viên nhóm nghiên cứu cho rằng công nghệ như vậy có thể là giải pháp “bắt buộc” trong ngắn hạn và trung hạn.
Justin Drake cho biết, suy nghĩ gần đây của anh đã phần nào thay đổi, bởi về lâu dài, nếu chữ ký One-shot được triển khai, tầm quan trọng của những thách thức rủi ro này sẽ giảm đi đáng kể. Tuy nhiên, chữ ký một lần có thể phải mất hàng chục năm mới đạt được nên DVT sẽ là giải pháp hiệu quả hơn trong ngắn hạn và trung hạn.
Chữ ký một lần là một loại chữ ký mật mã đặc biệt trong đó khóa riêng chỉ có thể được sử dụng để ký một tin nhắn. Nó có thể giải quyết nhiều vấn đề tồn tại lâu dài trong lĩnh vực blockchain, mang lại nhiều lợi thế như hình phạt thoát ra, tính cuối cùng hoàn hảo, đặt cược thanh khoản không cần tin cậy, v.v.
4. Số dư hiệu quả tối đa: tăng giới hạn trên của cam kết của người xác thực (32 ETH), có thể giảm số lượng người xác nhận trong mạng, để đạt được kết quả cuối cùng của giao dịch nhanh hơn (độ cuối cùng của một vị trí), chẳng hạn như: 1) Số dư trên giới hạn 32 ETH Không thay đổi, nhưng giới hạn giới hạn trên của số lượng người xác minh mạng; 2) Có xem xét số lượng chứng thực (chứng thực) của người xác minh vào trọng số biểu quyết hay không.
Tùy chọn 1 sẽ dẫn đến một thị trường trao đổi các bằng cấp của người xác nhận hiện có, gây ra rủi ro bảo mật nghiêm trọng tiềm ẩn.
Tùy chọn 2 sẽ thay đổi mô hình bảo mật của giao thức và sẽ giảm bớt khó khăn cho kẻ tấn công trong việc tổ chức lại chuỗi.
Gần đây đã có một đề xuất cộng đồng nhằm tăng số dư trình xác thực hoạt động tối đa từ 32 ETH lên 2048 ETH để giúp giảm sự tăng trưởng của bộ trình xác thực đang hoạt động.
5. Tiến trình bầu cử SSLE/Lãnh đạo bí mật hiện tại như thế nào?
Vitalik cho biết SSLE vẫn đang trong giai đoạn nghiên cứu, vì tính không bí mật của Leader chưa được chứng minh là có vấn đề nên mức độ ưu tiên của SSLE sẽ tương đối thấp.
ps: Cuộc bầu cử lãnh đạo bí mật duy nhất, hiện tại những người đề xuất được chọn cho từng Vị trí của chuỗi đèn hiệu sẽ được tiết lộ trước, điều này khiến họ dễ bị tấn công DoS. Giải pháp mới nhất mã hóa và ẩn quá trình này và chỉ người đề xuất mới biết danh tính của mình, điều này có thể giảm thiểu rủi ro tiềm ẩn một cách hiệu quả.
6. Có bản cập nhật nào về lộ trình kỹ thuật hiện tại của Ethereum không?
Vitalik cho biết hầu hết chúng đều đang tiến triển theo đúng kế hoạch. Tất nhiên, cũng có những ưu tiên được điều chỉnh lại. Ví dụ, vào tháng 4, do lỗ hổng Mev-Boost, các trình xác minh độc hại đã tấn công MEV Bot. Hiện tại, PBS trong cấp độ giao thức sẽ bị loại bỏ. được cải thiện (tách biệt người đề xuất và người xây dựng) Những lo ngại về rủi ro bảo mật tiềm ẩn do đặt cược lại (đặt lại) sẽ làm tăng mức độ ưu tiên của việc tối ưu hóa và đơn giản hóa trải nghiệm đặt cược solo.
Ngoài ra, theo định hướng chung, điều cần ưu tiên là giúp ích hiệu quả cho nhiều thứ ở cấp độ hệ sinh thái, chẳng hạn như ví thông minh ERC-4337 cần đạt được cross-L2 thân thiện và nâng cao hiệu quả Gas.
7. EIP 4844 có thể giải quyết được vấn đề phân mảnh thanh khoản của L1 và L2 không?
Khả năng kết hợp ngay lập tức của zk-rollups (có thể không thực hiện được giữa các bản tổng hợp OP) không phụ thuộc vào việc hoàn thành EIP 4844. Không gian thiết kế để phối hợp tổng hợp giữa các zk-rollup là rất lớn. Ví dụ: một trong những giải pháp khả thi là có một zk-rollup tối thiểu chuyên dụng làm tổng hợp thanh khoản.
8. Justin Drake đề xuất một ý tưởng có tên Dựa Rollups để giải quyết bài toán sắp xếp của Rollups (sắp xếp trong L1), ý tưởng này đã được triển khai chưa?
Dựa trên Rollup (hoặc Rollups được gọi là thứ tự L1) có nghĩa là thứ tự của mạng Rollup xảy ra trên L1 mà nó dựa trên (trong hầu hết các trường hợp là mạng Ethereum). Cụ thể hơn, trong trường hợp của Ethereum, điều này có nghĩa là Người tìm kiếm, Người xây dựng và Người đề xuất trên mạng đều tham gia vào thứ tự của mạng Tổng hợp.
Bản tổng hợp dựa trên có nhiều lợi thế so với các mạng Tổng hợp truyền thống tự xử lý việc sắp xếp. Đầu tiên, họ phụ thuộc vào Ethereum để đặt hàng các giao dịch và do đó được hưởng lợi từ hoạt động của Ethereum. Khi thảo luận về rủi ro của các Bản tổng hợp khác nhau ở trên, chúng tôi nhận thấy rằng nếu người đặt hàng hoặc người xác thực không thành công thì nhiều vấn đề có thể phát sinh, nhưng đối với Bản tổng hợp dựa trên, trừ khi có vấn đề với mạng Ethereum thì sẽ không có rủi ro nào như vậy. Ngoài ra còn có những ưu điểm như phân quyền và không cần token.
Taiko, một trong những dự án zkEVM Lớp 2, sẽ được phát hành dưới dạng Bản tổng hợp dựa trên.
Một số người có thể nhầm lẫn và nghĩ rằng Based Rollups sẽ sử dụng nhóm bộ nhớ được chia sẻ với L1, nhưng thực tế không phải vậy, Rollups sẽ có nhóm bộ nhớ riêng.
9. Lo ngại về rủi ro tập trung đối với các nhà xây dựng khối?
Justin Drake nói rằng thị trường công cụ xây dựng hiện tại thực sự rất tập trung (xem https://www.relayscan.io/ để biết chi tiết), rủi ro chính của việc tập trung công cụ xây dựng là kiểm duyệt và giải pháp tốt hơn là đấu giá khối một phần, chẳng hạn như Danh sách bao gồm , Hậu tố của Người đề xuất, các sửa đổi đối với Hậu tố của Người đề xuất: cam kết trước và nhóm bộ nhớ được mã hóa, phá hủy MEV, v.v.
10. Nếu số lượng người xác minh vượt quá 1 triệu trong năm nay, liệu mạng chính có thể chạy ổn định không? Mainnet hiện có thể hỗ trợ bao nhiêu trình xác nhận?
Hiện tại, nhóm khách hàng cho biết số lượng người xác minh mà mạng chính có thể hỗ trợ là từ 1 đến 2 triệu. Cộng đồng nhà phát triển cũng đang tiến hành các cuộc khám phá liên quan. Mạng thử nghiệm tiếp theo, Holesky, sẽ có 1 triệu người xác minh.
11. Quỹ Ethereum sẽ bị giải thể? Sự kết thúc của Quỹ sẽ là gì?
Justin Drake cho biết Ethereum Foundation không có thu nhập và một số hội nghị thường phi lợi nhuận và sẽ không sử dụng ETH trong kho bạc để cam kết tạo thu nhập. Nếu kho bạc của Ethereum Foundation cạn kiệt, nguồn tài trợ có thể đến từ hai nguồn:
● Cơ sở hạ tầng tài trợ sản phẩm công trong hệ sinh thái;
● Ngân sách Ethereum L1 tương đối thấp;
12. Hiện tại, chưa có giải pháp kỹ thuật hoàn thiện nào để thực hiện các giao dịch cuộn chéo. Quan điểm và đề xuất của bạn là gì?
Vitalik nói rằng ông không nghĩ rằng các trường hợp sử dụng thực hiện giao dịch cuộn chéo đồng bộ là cao và việc thực hiện giao dịch cuộn chéo không đồng bộ có thể chấp nhận được và có nhiều trường hợp sử dụng. Việc thực hiện giao dịch đồng bộ trên các đợt tổng hợp có cảm giác giống như một lĩnh vực định nghĩa bí truyền hơn và nếu chúng tôi tìm ra nó, nó chắc chắn sẽ cải thiện hiệu quả thị trường ở một mức độ nào đó, nhưng nếu không thì chúng tôi có thể làm mà không cần nó hoàn toàn.
13. Nếu hiệu suất của các lần tổng hợp rơi vào tình trạng tắc nghẽn trong tương lai, liệu hai phân đoạn trong giai đoạn trước của Ethereum có thể quay trở lại giai đoạn này không?
Miễn là L1 EVM triển khai SNARKified (Giai đoạn The Verge của lộ trình Ethereum), thì Ethereum sẽ có một bản tổng hợp được lưu giữ (một bản tổng hợp có một số loại tích hợp đồng thuận trên L1). Cũng có thể nói rằng Ethereum có một bản tổng hợp được lưu giữ ở cấp độ đồng thuận L1 Thực hiện phân chia. Sau khi hoàn thành công việc khó khăn của SNARKifying, việc L1 EVM hiển thị chính logic xác minh SNARK dưới dạng mã opcode EVM trở nên tương đối dễ dàng. Bằng cách này, số lượng bản tổng hợp được lưu trữ không giới hạn có thể được thực hiện. Ở cấp độ đồng thuận Ethereum, các bản tổng hợp được lưu trữ này giống như phân đoạn thực thi của mạng chính, với khả năng mở rộng và bảo mật tương tự như mạng chính.


