EIP-2537: Con đường tiền xử lý Ethereum dài bất tận

EIP-2537 là chỉ thị EVM được xác định thêm trong bản nâng cấp phân nhánh Pectra mới nhất. Chỉ thị này bổ sung nhiều chức năng tính toán cho đường cong BLS12-381 vào EVM, chẳng hạn như tính toán phối trên miền đường cong.

EIP-2537 được đề xuất lần đầu vào năm 2020 và mãi đến năm 2025 mới được xác nhận để đưa vào 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 phải mất 5 năm để đưa đề xuất này 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 cặp và đường cong alt_bn128. Sau đó, Vitalik và Christian Reitwiessner đã đề xuất EIP-196 và EIP-197, để thêm hỗ trợ tính toán đường cong alt_bn128 vào EVM.

Cải tiến Byzantium vào tháng 10 năm 2017 đã chính thức đưa đường cong alt_bn128 vào, thực hiện tính toán cặp miền đường cong bên trong EVM, cho phép xác minh chứng minh ZK-Snarks có thể hoàn thành 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.

Tháng 5 năm 2018, Justin Drake chỉ ra rằng việc nâng cấp PoS và phân đoạn trong tương lai của Ethereum có thể sử dụng thuật toán đa ký BLS dựa trên BLS12-381. Thực tế đã chứng minh rằng việc nâng cấp ETH2 sau này thực sự đã áp dụng đường cong BLS12-381.

Với sự phát triển của ETH2, nhu cầu đưa BLS12-381 vào lớp thực thi ETH ngày càng cao. 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 cùng với mạng thử nghiệm ETH2. Tác giả EIP-2537, Alex Stokes, đã kêu gọi đưa đề xuất này vào hard fork Berlin.

Berlin xáo trộn

Trước khi giới thiệu nội dung tiếp theo, cần phải hiểu về EIP-1962. Đề xuất này được Matter Labs đưa ra vào tháng 4 năm 2019, hỗ trợ ba đường cong BLS12, BN và MNT4/6, với kế hoạch tăng 10 lệnh lập trình tiền tệ một lần. Tuy nhiên, đề xuất quá phức tạp đã bị nhiều nhà phát triển nghi ngờ.

Để 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, bao gồm:

• EIP-2537: cung cấp hỗ trợ BLS12-381
• EIP-2539: cung cấp hỗ trợ BLS12-377
• PR#2541: Cung cấp hỗ trợ đường cong BLS12-377 (Zexe ) chưa có số EIP (

Trong số đó, EIP-2537 là quan trọng nhất, vì lớp đồng thuận cũng sử dụng đường cong BLS12-381. Mục tiêu cốt lõi của các đề xuất này là thực hiện xác minh chữ ký BLS trên lớp đồng thuận trong mạng chính. Khi đó, ETH2 đang phát triển hợp đồng gửi tiền, việc đưa vào BLS12-381 tiền biên soạn trước có thể thực hiện xác minh chữ ký trong hợp đồng gửi tiền, tránh rủi ro mất mát tài sản của người dùng.

Khi EIP-2537 vừa mới được đề xuất, Vitalik đã chỉ ra một loạt vấn đề, chủ yếu tập trung vào nội dung tài liệu EIP. Sau đó, tác giả đã có phản hồi và thảo luận.

Vào ngày 6 tháng 3 năm 2020, cuộc họp của các nhà phát triển cốt lõi của Ethereum đã thảo luận về EIP-2537. Vitalik cho rằng đề xuất này rất hiệu quả cho chứng minh SNARK đệ quy, về lâu dài sẽ không gây hại cho Ethereum. Cuộc họp đã xác nhận vị trí ư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à lên kế hoạch hoàn thành phát triển trước khi nâng cấp Berlin.

Sau đó, EIP-2537 trở thành nhiệm vụ ưu tiên cao. Cuộc họp vào ngày 20 tháng 3 đã xác nhận EIP-2537 thay thế EIP-1962 trở thành đề xuất BLS cốt lõi, và được đưa vào danh sách đề cử nâng cấp Berlin.

Cuộc họp tháng 4 chính thức đưa EIP-2537 vào bản nâng cấp phân tách Berlin, xác định thời gian triển khai trong tháng 4 và thử nghiệm vào tháng 5-6, và đưa nó vào danh sách các vấn đề ưu tiên hàng đầu.

Sau đó, EIP-2537 đã bước vào giai đoạn phát triển và thử nghiệm quy mô lớn, đã có thảo luận trong gần 20 cuộc họp của các nhà phát triển cốt lõi. Nội dung chính bao gồm:

• Thảo luận về vấn đề mã hóa ABI
• Đồng bộ tiến độ thực hiện của các máy khách
• Vấn đề trong việc thực hiện PR của Geth
• Tình hình kiểm tra mạng thử nghiệm YOLO
• Mối quan hệ với hợp đồng gửi tiền
• Vấn đề đa dạng khách hàng
• vấn đề định giá chi phí gas

Tuy nhiên, do độ phức tạp trong việc triển khai cao, EIP-2537 cuối cùng đã bị loại bỏ khỏi mạng thử nghiệm YOLO v3 và nâng cấp Berlin trong cuộc họp các nhà phát triển cốt lõi của Ethereum #99. Nguyên nhân chính là nó tiêu tốn quá nhiều tài nguyên phát triển, ảnh hưởng đến việc phát triển các EIP khác.

Tháng 4 năm 2021, Ethereum đã hoàn thành nâng cấp Berlin, nhưng không bao gồm EIP-2537. Điều này khiến nâng cấp Berlin trở nên khá mỏng manh.

![Quan sát quản trị Ethereum: Quá trình tiền biên EIP-2537])https://img-cdn.gateio.im/webp-social/moments-3198079b11f21298df05682606409838.webp(

Phát triển tiếp theo

Các lần nâng cấp Ethereum sau đó đều không đưa EIP-2537 vào.

• Nâng cấp London: Bị loại bỏ do tính phức tạp và vấn đề định giá gas
• Nâng cấp Shanghai: Các nhà phát triển tập trung vào chức năng rút tiền PoS, hoãn EIP-2537
• Nâng cấp Cancun: trọng tâm là EIP-4844, không thảo luận về EIP-2537

Cho đến tháng 2 năm 2024, các nhà phát triển mới xem xét lại EIP-2537 trong cuộc thảo luận nâng cấp Pectra. Vào thời điểm này, việc thực hiện không còn là vấn đề, chỉ còn lại vấn đề về giá tiêu thụ gas.

Từ tháng 12 năm 2024 đến tháng 1 năm 2025, các nhà phát triển đã hoàn thiện mô hình định giá EIP-2537, giải quyết vấn đề chi phí.

![Ethereum Governance Observation: EIP-2537 Pre-assembly Journey])https://img-cdn.gateio.im/webp-social/moments-75338d7a495f20ef25a70cca21a48381.webp(

Tóm tắt

EIP-2537 được đề xuất từ tháng 2 năm 2020 đến tháng 1 năm 2025 mới được xác định cuối cùng, trải qua gần 5 năm thời gian. Trong thời gian đó đã trải qua nhiều cuộc thảo luận nâng cấp và từ bỏ, chủ yếu bị hạn chế bởi độ phức tạp trong việc thực hiện, sự chuyển đổi trọng tâm của nâng cấp Ethereum và các yếu tố khác. Quá trình này cho thấy độ phức tạp trong quản trị Ethereum, cũng như quá trình dài mà một đề xuất kỹ thuật có thể phải trải qua từ khi đề xuất đến khi được chấp nhận cuối cùng.

![Quan sát quản trị Ethereum: Quá trình tiền biên dịch EIP-2537])https://img-cdn.gateio.im/webp-social/moments-55d3bb1142078f459d3a41ead42cd599.webp(