EIP-2537: Sự phản chiếu của quá trình quản trị Ethereum

EIP-2537 là chỉ thị biên dịch EVM được xác định thêm trong bản nâng cấp phân nhánh Pectra mới nhất của Ethereum. Chỉ thị này đã bổ sung nhiều chức năng tính toán của đường cong BLS12-381 cho EVM, bao gồm cả tính toán cặp trên miền đường cong.

EIP-2537 được đề xuất lần đầu vào năm 2020, cho đến năm 2025 mới được xác nhận đưa vào bản nâng cấp Ethereum. Bài viết này sẽ giới thiệu quá trình quản trị của EIP-2537, khám phá lý do tại sao sau 5 năm đề xuất này mới được đưa vào nâng cấp.

Bối cảnh đề xuất

Vào tháng 1 năm 2017, Vitalik Buterin lần đầu tiên giới thiệu thuật toán ghép đôi và đường cong alt_bn128 trong một bài viết. Sau đó, Vitalik và Christian Reitwiessner đã đề xuất EIP-196 và EIP-197, khuyến nghị thêm hỗ trợ tính toán đường cong alt_bn128 vào EVM. Cập nhật Byzantium vào tháng 10 năm 2017 chính thức đưa vào đường cong alt_bn128, thực hiện tính toán ghép đôi trên miền đường cong bên trong EVM, cho phép xác minh chứng minh ZK-Snarks được thực hiện trong EVM.

Vào tháng 11 năm 2017, đội ngũ zcash đã đề xuất đường cong BLS12-381, so với alt_bn128 có độ an toàn và hiệu suất cao hơn. Nhiều giao thức blockchain sau đó đã áp dụng đường cong BLS12-381. Vào tháng 5 năm 2018, Justin Drake đã công bố rằng các nâng cấp PoS và phân mảnh trong tương lai của Ethereum có thể sử dụng thuật toán BLS đa ký dựa trên BLS12-381.

Với sự phát triển của ETH2, tiếng gọi đưa BLS12-381 vào lớp thực thi ETH ngày càng tăng. Vào tháng 2 năm 2020, các nhà nghiên cứu đã đề xuất EIP-2537, hy vọng sẽ thử nghiệm đồng bộ với testnet ETH2. Tác giả của EIP-2537, Alex Stokes, kêu gọi đưa nó vào hard fork Berlin.

Đáng chú ý là, tác giả của EIP-2537 cũng là đồng sáng lập của đội phát triển ZKSync Matter Labs.

Cuộc biến động nâng cấp Berlin

Trước khi thảo luận về EIP-2537, cần phải hiểu EIP-1962. Đây là đề xuất biên dịch trước đầu tiên về ghép cặp miền đường cong elip do Matter Labs đưa ra vào tháng 4 năm 2019, hỗ trợ ba đường cong BLS12, BN và MNT4/6, dự kiến sẽ tăng thêm 10 lệnh biên dịch trước một lần. Tuy nhiên, đề xuất này được cho là quá phức tạp và khó thực hiện.

Để giải quyết vấn đề EIP-1962, Matter Labs đã đề xuất nhiều phương án tách EIP vào tháng 2 năm 2020, trong đó quan trọng nhất là EIP-2537, cung cấp hỗ trợ BLS12-381. Khi đó ETH2 đang phát triển hợp đồng gửi, việc đưa vào BLS12-381 precompiled có thể xác minh chữ ký trong hợp đồng gửi, tránh rủi ro mất mát tài sản của người dùng.

Khi EIP-2537 vừa được đề xuất, Vitalik đã chỉ ra một số vấn đề. Sau đó, vào cuộc họp các nhà phát triển cốt lõi vào ngày 6 tháng 3, Vitalik cho rằng EIP-2537 rất hiệu quả đối với việc chứng minh SNARK đệ quy, về lâu dài sẽ không làm tổn hại đến Ethereum. Cuộc họp đã xác nhận vị thế ưu tiên của EIP-2537, tất cả các khách hàng đồng ý thực hiện càng sớm càng tốt và dự định hoàn thành phát triển trước khi nâng cấp Berlin.

Trong các cuộc họp tiếp theo, EIP-2537 đã thay thế EIP-1962 trở thành đề xuất BLS chính và được đưa vào danh sách đề cử nâng cấp Berlin. Cuộc họp vào tháng 4 đã chính thức đưa EIP-2537 vào phân nhánh cứng Berlin và xác định lịch trình thực hiện.

Sau đó, EIP-2537 đã bước vào giai đoạn phát triển và thử nghiệm quy mô lớn, và đã có các cuộc thảo luận liên quan trong gần 20 cuộc họp của các nhà phát triển cốt lõi. Chủ yếu xoay quanh các vấn đề như mã hóa ABI, tiến độ thực hiện, an toàn, v.v.

Tuy nhiên, khi việc phát triển tiến triển, vấn đề của EIP-2537 dần dần hiện ra. Nhóm Geth cho biết khó có thể hoàn thành phát triển trong thời gian dự kiến, trong khi hợp đồng gửi tiền đã hoàn thành phiên bản không sử dụng EIP-2537. Tầm quan trọng của EIP-2537 do đó đã giảm.

Trong các cuộc họp sau, vấn đề thực hiện và kiểm tra EIP-2537 vẫn tiếp diễn. Cuối cùng, tại cuộc họp các nhà phát triển cốt lõi lần thứ 99, đã quyết định loại EIP-2537 ra khỏi nâng cấp Berlin, lý do chính là đã tiêu tốn quá nhiều tài nguyên phát triển, ảnh hưởng đến tiến độ của các EIP khác.

Phát triển tiếp theo

Trong bản nâng cấp London sau khi nâng cấp Berlin, các nhà phát triển đã cân nhắc việc đưa EIP-2537 vào, nhưng do độ phức tạp mà lại bị bỏ qua. Bản nâng cấp Shanghai cũng không bao gồm EIP-2537, vì trọng tâm là thực hiện chức năng rút tiền PoS.

Việc nâng cấp Cancun cũng chưa thảo luận về EIP-2537, vì trọng tâm là hỗ trợ EIP-4844.

Cho đến tháng 2 năm 2024, các nhà phát triển mới lại thảo luận về việc đưa EIP-2537 vào nâng cấp Pectra. Lúc này, việc triển khai EIP-2537 không còn là vấn đề chính, chỉ còn một số vấn đề về định giá tiêu thụ gas.

Từ tháng 12 năm 2024 đến tháng 1 năm 2025, hội nghị các nhà phát triển đã xác định mô hình định giá của EIP-2537, giải quyết vấn đề chi phí. Matter Labs, với tư cách là người đề xuất ban đầu, đã gần như rút lui khỏi cuộc thảo luận vào thời điểm này.

Tóm tắt

Quá trình của EIP-2537 phản ánh sự phức tạp trong quy trình quản trị của Ethereum. Từ việc ban đầu được coi là nội dung nâng cấp cốt lõi, đến việc bị hoãn lại nhiều lần do độ khó và tính phức tạp trong việc thực hiện, và cuối cùng được đưa vào nâng cấp, EIP-2537 đã trải qua một quá trình dài. Quá trình này phản ánh những cân nhắc và thỏa hiệp của Ethereum trong phát triển công nghệ, đạt được đồng thuận và lựa chọn ưu tiên.

Mỗi lần nâng cấp Ethereum đều có chủ đề và trọng tâm cụ thể, việc EIP có thể được đưa vào không chỉ phụ thuộc vào giá trị của nó mà còn liên quan chặt chẽ đến giai đoạn phát triển và hướng trọng tâm hiện tại của Ethereum. Quá trình của EIP-2537 cho thấy tính linh hoạt trong quản trị Ethereum, cũng như thái độ thận trọng của cộng đồng khi đối mặt với các thách thức kỹ thuật.