Tuần vừa qua, hơn 100 người đóng góp cốt lõi của Ethereum đã tập trung ở phía trên Vòng Bắc Cực — tại Longyearbyen, Svalbard — để tham dự Soldøgn Interop: một tuần làm việc căng thẳng về bản nâng cấp mạng lưới Glamsterdam.
Soldøgn tiếp nối Berlinterop của năm ngoái, nhưng quay trở lại định dạng được sử dụng bởi Amphora 🏺, Edelweiss 🏔️ và Nyota ✨: một tuần làm việc theo một luồng duy nhất, tập trung vào tiến độ đa máy khách hướng tới một bản nâng cấp cụ thể — trong trường hợp này là củng cố Glamsterdam.
Đến thứ Sáu, nhóm đã hoàn thành ba mục tiêu cốt lõi: thống nhất về mức sàn giới hạn gas sau Glamsterdam là 200M, các triển khai ePBS ổn định chạy với các trình xây dựng bên ngoài và chốt các con số định giá lại cuối cùng của EIP-8037. Những tiến bộ đáng kể cũng đã được thực hiện đối với các tính năng của Hegotá như FOCIL và trừu tượng hóa tài khoản gốc, cũng như hàng loạt các chủ đề khác.
Tại sao lại là Svalbard?
Svalbard là một trong số ít những nơi trên Trái Đất mà bất kỳ ai, bất kể quốc tịch nào, đều có thể sống và làm việc mà không cần thị thực. Đây cũng là nơi có Kho Hạt giống Toàn cầu và Lưu trữ Thế giới Bắc Cực, hai cơ sở lưu trữ lạnh được đào sâu vào lớp băng vĩnh cửu bên ngoài Longyearbyen. Hai nơi này lưu giữ các bản sao lưu của cây trồng, sách, phim, bản thảo và mã nguồn mà nhân loại có thể cần đến trong một nghìn năm nữa, bao gồm cả một bản Snapshot mã nguồn của Ethereum. Cuối cùng nhưng không kém phần quan trọng, từ cuối tháng 4 đến tháng 8, mặt trời không lặn ở Svalbard. Nơi đây có thời gian hoạt động 24/7, giống hệt như Ethereum, điều mà các nhà phát triển cốt lõi đã tận dụng tối đa trong suốt tuần!
Củng cố Glamsterdam, Mở rộng quy mô Ethereum
Mục tiêu của tuần là củng cố các triển khai Glamsterdam và đưa ra mục tiêu cho mức sàn giới hạn gas sau nâng cấp. Việc tăng giới hạn gas một cách an toàn là một vấn đề đa chiều và Glamsterdam giải quyết một số khía cạnh trong đó: cách các khối được xây dựng và đề xuất, mức độ dư địa mà các triển khai máy khách có khi chịu tải, và cách chi phí tạo trạng thái mở rộng cùng với thông lượng.
Trên thực tế, điều đó có nghĩa là kết thúc tuần với một mạng phát triển Glamsterdam đa máy khách ổn định chạy ePBS mới nhất, các thông số kỹ thuật định giá lại và danh sách truy cập khối, cùng với dữ liệu đo chuẩn để làm cơ sở cho một đề xuất giới hạn gas đáng tin cậy.
Phần lớn thời gian được dành cho việc tập trung viết mã, thường là cho đến tận sáng sớm, xen kẽ bởi các phiên thảo luận nhóm để thống nhất về các quyết định thiết kế và thảo luận về các hạng mục lộ trình dài hạn hơn.
Ba nhóm của EF đã cung cấp cơ sở hạ tầng cho tuần lễ này: EthPandaOps đã ra mắt ethIQ và một máy chủ MCP panda để hỗ trợ quy trình làm việc tự chủ của các nhóm; Protocol Support đã thiết lập soldogn.xyz làm nguồn thông tin duy nhất cho các mục tiêu, lịch trình và ghi chú của interop; và nhóm EF Digital Studio đã ghi hình lại toàn bộ tuần lễ. Hãy cùng đón chờ bộ phim tài liệu đầu tiên về interop 🔜!
ePBS
Ngoài việc làm rõ mối quan hệ giữa người đề xuất/trình xây dựng, ePBS cấu trúc lại các khe bằng cách thêm thời hạn cho việc xây dựng khối, tiết lộ tải trọng và chứng thực. Điều này làm rõ lượng thời gian có thể được phân bổ cho việc thực thi, làm tăng dư địa mà chúng ta có để nâng giới hạn gas.
Các nhóm đã khởi động tuần lễ với mục tiêu đạt được mạng phát triển Glamsterdam 4 EL × 4 CL vào tối thứ Hai. Những nỗ lực đầu tiên đã làm bộc lộ đủ các vấn đề khiến mục tiêu bị đẩy sang thứ Ba, khi cấu hình 4×3 chạy đủ ổn định để bắt đầu kiểm tra sức chịu tải.
Từ đó, phần còn lại của tuần là một chu kỳ củng cố ePBS: kiểm tra sức chịu tải, phát hiện các trường hợp ngoại lệ, sửa lỗi, lặp lại. Một phiên thảo luận về Builder API vào sáng thứ Ba đã đơn giản hóa đáng kể thông số kỹ thuật xung quanh việc đăng ký trình xác thực, luồng giá thầu/tiêu đề/cam kết, mô hình tin cậy cho các khoản thanh toán của trình xây dựng và hành vi ngắt mạch. Việc gỡ lỗi vào giữa tuần tập trung vào các trường hợp ngoại lệ giữa các máy khách — đáng chú ý là xung quanh việc yêu cầu thực thi làm vô hiệu hóa các yêu cầu beacon, nơi một bộ thử nghiệm mới đã tiết lộ một lỗ hổng trên mọi triển khai máy khách. Đến sáng thứ Năm, các nhóm CL đã báo cáo ePBS ổn định trong khi các đường dẫn giá thầu phía EL vẫn đang được gỡ lỗi; những vấn đề đó đã được giải quyết từ thứ Năm sang thứ Sáu. Hai câu hỏi vẫn còn thực sự gây tranh cãi đối với ACD: liệu một chữ ký yêu cầu có nên cam kết với trình xây dựng tiếp nhận hay không, và làm thế nào để giữ cho thiết kế trình xây dựng đặt cọc 1 ETH có khả năng chống lại các cuộc tấn công liveness dựa trên Sybil P2P.
Đến thứ Sáu, gần như tất cả các máy khách đã chạy cùng nhau trên glamsterdam-devnet-2 với quy trình của các trình xây dựng bên ngoài được kiểm tra từ đầu đến cuối!
Tối ưu hóa BAL
Nếu ePBS là khía cạnh lớp đồng thuận của câu chuyện mở rộng quy mô Glamsterdam, thì đối tác lớp thực thi có hai phần chính: định giá lại gas và Danh sách Truy cập Cấp Khối (Block-Level Access Lists - BAL). Bằng cách cung cấp cho máy khách đủ thông tin về tập hợp đọc/ghi của một khối ngay từ đầu, BAL cho phép thực thi song song, I/O gom lô và tính toán gốc trạng thái song song, tất cả đều quyết định kích thước khối mà máy khách có thể xử lý một cách thoải mái.
Luồng BAL của Soldøgn chạy trên các mạng phát triển riêng của nó, tách biệt với các chuỗi ePBS của Glamsterdam, vì vậy các điểm chuẩn tối ưu hóa không bị vướng vào công việc ổn định lớp đồng thuận. Mỗi tối ưu hóa được đặt sau cờ tính năng riêng của nó để công việc đo lường trong tuần có thể so sánh chúng một cách độc lập thay vì như một gói duy nhất. Bảng điều khiển điểm chuẩn BAL và bảng xếp hạng đã làm nổi bật các kịch bản xấu nhất của mỗi máy khách trên toàn bộ bộ thử nghiệm — bằng cách tập trung vào việc cải thiện các đường dẫn chậm nhất trước tiên, các nhóm có thể nâng mức sàn giới hạn gas trên toàn diện, chứ không chỉ cho triển khai nhanh nhất.
Định giá lại Gas
Glamsterdam bao gồm một số định giá lại gas của EL, hiệu chỉnh chi phí để phù hợp hơn với việc sử dụng tài nguyên ở thông lượng cao hơn. EIP-8037, việc tăng chi phí gas tạo trạng thái, nằm ở cốt lõi: nó làm tăng giá của việc ghi trạng thái mới để giới hạn gas cao hơn không dẫn đến sự gia tăng trạng thái không giới hạn.
Bước vào Soldøgn, thông số kỹ thuật 8037 mang theo việc định giá động trên mỗi byte trạng thái gắn liền với giới hạn gas của khối, điều này khiến việc thử nghiệm trở nên cực kỳ khó khăn về mặt tổ hợp (một ma trận fuzz cho mỗi dải giới hạn gas) và việc đo chuẩn gần như không thể giải quyết được. Các nhóm đã đồng ý vào đầu tuần để loại bỏ định giá động và chuyển sang một cost_per_state_byte cố định, với việc định giá lại trong tương lai được xử lý tại các ranh giới Phân nhánh thay vì bên trong một Phân nhánh.
Bản thân mô hình kế toán đã đi theo một con đường lặp đi lặp lại nhiều hơn. Phiên thảo luận vào thứ Hai đã chuyển việc kế toán gas trạng thái từ giữa quá trình thực thi sang cuối khung gọi; một phiên tiếp theo vào thứ Ba đã chốt chi phí tạo Tài khoản, chi phí gửi mã và các lần hoàn tác giao dịch CREATE; thứ Tư đã làm nổi bật các trường hợp ngoại lệ về hoàn tiền/nạp lại hồ chứa buộc phải suy nghĩ lại. Phiên thảo luận vào thứ Năm đã đưa việc kế toán trở lại cấp độ mã lệnh, sau khi kết luận rằng sự phức tạp thực sự nằm ở mô hình hồ chứa, chứ không phải ở tính toán kế toán. Đến thứ Sáu, thông số kỹ thuật đã ổn định trên bal-devnet-6, với luồng BAL cung cấp các con số định giá lại cuối cùng.
Toàn bộ quá trình này làm nổi bật một trong những khía cạnh quan trọng nhất của interop: khả năng giải quyết các vấn đề phức tạp về thông số kỹ thuật, triển khai, thử nghiệm, gỡ lỗi và thiết kế trong vài giờ thay vì vài tuần. Ở mức tốt nhất, các tuần lễ interop có thể nén tiến độ không đồng bộ của một tháng vào mỗi ngày!
Đến thứ Sáu, ba luồng đã hội tụ vào con số tiêu điểm của tuần: một mức sàn giới hạn gas sau Glamsterdam là 200M đáng tin cậy. Sự gia tăng đáng kể này là có thể bởi vì ePBS cấu trúc khe để cung cấp cho việc thực thi nhiều thời gian hơn, các tối ưu hóa BAL cung cấp cho máy khách dư địa thông lượng theo cấu trúc đó, và 8037 đảm bảo giới hạn gas cao hơn không dẫn đến sự gia tăng trạng thái vượt tầm kiểm soát.
Các luồng Glamsterdam khác
Ngoài ePBS, BAL và định giá lại, phần lớn phạm vi còn lại của Glamsterdam đã được thảo luận kỹ lưỡng qua các phiên thảo luận nhóm.
Các nhóm CL đã hoàn tất các quyết định về các EIP nhỏ hơn của Glamsterdam: EIP-8061 (tăng tỷ lệ thoát/hợp nhất) đã được đưa vào glamsterdam-devnet-1; EIP-8080 (thoát qua hàng đợi hợp nhất) đã bị từ chối đưa vào; EIP-8045 (loại bỏ nhiệm vụ của trình xác thực bị phạt cắt giảm) đã được thu hẹp phạm vi chỉ còn các nhiệm vụ của người đề xuất trong cửa sổ dự báo; và EIP-7688 (các vùng chứa ổn định SSZ) vẫn nằm trong phạm vi của Glamsterdam nhưng được giữ ngoài glamsterdam-devnet-1 trong khi nhóm giải quyết kích thước thông điệp gossip có giới hạn cho các chứng thực theo danh sách lũy tiến.
Một phiên thảo luận về kiến trúc đồng bộ hóa EL/CL vào sáng thứ Tư đã hoãn EIP-8237 khỏi Glamsterdam để ưu tiên duy trì tính tùy chọn cho một kiến trúc "đồng bộ hóa nạp thêm" dài hạn hơn trong một Phân nhánh tương lai. Thay vào đó, cả phòng đã đồng ý phác thảo một EIP chuẩn hóa trình tự forkchoiceUpdated / newPayload / getPayload, chỉ định một quá trình bắt tay khởi tạo snap-sync và thắt chặt tính nhất quán hợp lệ/không hợp lệ giữa các bề mặt API engine.
Việc củng cố là một chủ đề xuyên suốt của tuần. Một phiên họp vào thứ Năm đã đề cập đến các khuôn khổ thử nghiệm tuân thủ lựa chọn Phân nhánh, kho lưu trữ Diamond về các kịch bản ngoại lệ CL có thể tái tạo, và buildoor, công cụ thử nghiệm trình xây dựng bên ngoài của PandaOps, được trình diễn giữa phiên họp với một loạt các kịch bản tấn công do những người tham dự đề xuất ngay tại chỗ.
Vượt ra ngoài Glamsterdam
Một số phiên thảo luận đã hướng tới Hegotá và các Phân nhánh tiếp theo.
Một phiên họp cố tình không phụ thuộc vào đề xuất về trừu tượng hóa tài khoản gốc đã khởi động mọi thứ, giải quyết các yêu cầu và ràng buộc mà bất kỳ thiết kế tương lai nào cũng phải đáp ứng. Các mục tiêu về bộ tính năng như các lược đồ chữ ký thay thế, tổng hợp, gom lô, khôi phục, tài trợ gas, nonce linh hoạt và ví kho khóa được đặt cạnh các ràng buộc cứng xung quanh khả năng tương thích mempool công khai, tính phi trạng thái và khả năng chống DoS của lớp 2 (l2).
Một phiên thảo luận về FOCIL vào thứ Năm tập trung vào các bản cập nhật triển khai: các nguyên mẫu ban đầu đã hoạt động, với interop đa máy khách và một mạng phát triển FOCIL chuyên dụng là các bước tiếp theo ngay lập tức. Hai quyết định thiết kế đáng chú ý cũng đã được đưa ra: vô hiệu hóa FOCIL trong thời gian 2 Kỷ nguyên không có tính chung cuộc (phản ánh hành vi ngắt mạch proposer-boost), và áp dụng phương pháp đánh dấu trang dựa trên chỉ số để tương thích với các giao dịch khung / EIP-7702.
Xa hơn nữa, một luồng ETH P2P dài hạn đã phác thảo một sự thay thế dựa trên QUIC cho libp2p với quyền riêng tư theo mặc định và tích hợp nhận thức về khe, cùng với một nguyên mẫu phát sóng mã hóa xóa mô phỏng khả năng truyền bá nhanh hơn ~6 lần so với GossipSub trên các tải trọng 2.4 MB. Luồng CL cũng cho thấy quan điểm mạnh mẽ hướng tới việc cuối cùng sẽ loại bỏ hoàn toàn các hợp nhất — tuyên bố một Phân nhánh cuối cùng hỗ trợ chúng, sau đó buộc phải thoát rồi gửi lại sau đó — như một câu trả lời dài hạn rõ ràng hơn cho sự gia tăng trạng thái của tập hợp trình xác thực.
Quy trình ACD
Vào chiều thứ Tư, Nixo và Ansgar, hai đồng trưởng nhóm ACDE, đã điều hành một phiên họp để thu thập ý kiến từ những người đóng góp cốt lõi về quy trình ACD. Phiên họp đã xem xét lại cấu trúc tiêu điểm, tranh luận về những ưu và nhược điểm của việc có một bản đồ dự thảo, và chính thức hóa các tiêu chí EIP SFI. Cả phòng nhìn chung muốn giữ lại các tiêu điểm nhưng nới lỏng sự cứng nhắc giữa EIP và chủ đề, chấp nhận "chủ đề + EIP ứng cử viên" như một mô hình khả thi. Các phân bổ năm cho mỗi Phân nhánh của bản đồ dự thảo sau năm 2026 đã bị đánh dấu là quá cứng nhắc và có khả năng sẽ được nới lỏng. Một định nghĩa SFI bốn điểm mới đã được đưa ra, với ACDT báo hiệu sự sẵn sàng và ACDE/ACDC giữ quyền quyết định cuối cùng. Một quy trình sắp xếp ưu tiên mới — được tạo ra sau các quyết định CFI và được phản ánh trong meta-EIP — sẽ thay thế vai trò cũ của SFI trong việc thúc đẩy sự đưa vào mạng phát triển, bắt đầu với Hegotá.
Về phía điều phối cuộc gọi, Alex Stokes thông báo anh sẽ nghỉ phép ba tháng bắt đầu từ tuần tới, với Pari đảm nhận việc điều hành ACDC trong thời gian tạm thời và Barnabas thay thế cho ACDT. Tóm lại: Nixo và Ansgar chủ trì ACDE, Pari tạm thời phụ trách ACDC, và Mario, Barnabas, cùng Danceratopz luân phiên điều hành ACDT.
Mọi thứ khác
Ngoài tất cả những điều trên, các nhóm đã sử dụng thời gian gặp mặt trực tiếp để đạt được tiến bộ trong mọi việc, từ các bộ công cụ thử nghiệm tốt hơn (nén các vòng phản hồi Hive từ hàng giờ xuống còn vài phút), đến các cải tiến hệ thống engine-API (loại bỏ trùng lặp gossip, các lệnh gọi gom lô và khám phá head do máy khách nhẹ điều khiển), đến những đánh đổi khó khăn xung quanh sự đa dạng máy khách, và nhiều chủ đề khác. Danh sách đầy đủ các ghi chú của phiên họp có sẵn tại soldogn.xyz.
Các bước tiếp theo
Từ đây, các nhóm trở về nhà để lấy những gì đã được tạo nguyên mẫu trong tuần và làm cho nó sẵn sàng cho sản xuất. Hãy kỳ vọng vài tuần tới sẽ là thời gian tập trung cao độ vào việc củng cố các triển khai máy khách theo các thông số kỹ thuật mới, hoàn thiện phạm vi thử nghiệm và biến các PR dự thảo của Soldøgn thành mã được hợp nhất.
Như thường lệ, các quyết định cuối cùng cho các giá trị như mục tiêu giới hạn gas 200M và các con số định giá lại cuối cùng sẽ được đưa ra và chia sẻ công khai trên các cuộc gọi AllCoreDevs. Hãy kỳ vọng đây sẽ là những chủ đề chính của tuần tới!
Xin chân thành cảm ơn tất cả những người đã đi một chặng đường dài lên đến vĩ độ 78°B và làm cho tuần này trở nên thành công! Đặc biệt gửi lời cảm ơn đến EthPandaOps vì đã đôn đốc nhóm vào nề nếp mỗi ngày, và đến tất cả những người đã làm việc dưới ánh mặt trời lúc nửa đêm để đảm bảo chúng ta đạt được các mục tiêu hàng ngày — bao gồm cả đội ngũ Ethrex, những người đã tham gia cùng chúng tôi trong kỳ interop đầu tiên của họ. Đó là một tuần vô cùng năng suất, và may mắn thay, chúng ta sẽ có một bộ phim ngắn đầy đủ để ghi nhớ về nó ☀️