Giữ nó đến
tldr;
Kiểm tra xác minh thời gian chạy và xác minh hợp đồng đặt cọc
Xác minh thời gian chạy gần đây đã hoàn thành kiểm tra của họ và xác minh chính thức sau đó hợp đồng tiền gửi eth2 mã bytecode. Đây là một cột mốc quan trọng đưa chúng ta đến gần hơn với mạng chính eth2 Phase 0. Hiện tác phẩm này đã hoàn thành, tôi xin cộng đồng đánh giá và góp ý. Nếu có khoảng trống hoặc sai sót trong thông số kỹ thuật chính thức, vui lòng đăng vấn đề trên repo thông số kỹ thuật eth2.
Các ngữ nghĩa chính thức được chỉ định trong Khung K xác định các hành vi chính xác mà mã bytecode EVM nên exibit và chứng minh rằng các hành vi này được giữ nguyên. Chúng bao gồm xác thực đầu vào, cập nhật cho cây merkle lặp đi lặp lại, nhật ký và hơn thế nữa. Hãy xem nơi đây để thảo luận cấp cao (bán) về những gì được chỉ định và tìm hiểu sâu hơn nơi đây cho đặc điểm kỹ thuật K chính thức đầy đủ.
Tôi muốn cảm ơn Daejun Park (Xác minh thời gian chạy) đã dẫn đầu nỗ lực, và Martin Lundfall và Carl Beekhuizen đã có nhiều phản hồi và đánh giá trong suốt quá trình.
Một lần nữa, nếu công cụ này là tách trà của bạn, bây giờ là lúc để cung cấp thông tin đầu vào và phản hồi về việc xác minh chính thức – hãy xem.
Từ của tháng là “tối ưu hóa”
Tháng vừa qua là tất cả về tối ưu hóa.
Mặc dù tối ưu hóa 10 lần ở đây và tối ưu hóa 100 lần ở đây không cảm thấy quá hữu hình đối với cộng đồng Ethereum ngày nay, nhưng giai đoạn phát triển này cũng quan trọng như bất kỳ giai đoạn phát triển nào khác trong việc đưa chúng ta về đích.
Tối ưu hóa chuỗi báo hiệu là rất quan trọng
(tại sao chúng ta không thể tối đa hóa máy móc của mình với chuỗi đèn hiệu)
Chuỗi báo hiệu – cốt lõi của eth2 – là một thành phần cần thiết cho phần còn lại của hệ thống đã phân đoạn. Để đồng bộ hóa bất kỳ phân đoạn nào – cho dù đó là một phân đoạn đơn lẻ hay nhiều phân đoạn, một ứng dụng khách phải đồng bộ chuỗi báo hiệu. Do đó, để có thể chạy chuỗi beacon và một số phân đoạn trên máy người tiêu dùng, điều tối quan trọng là chuỗi beacon tiêu thụ tài nguyên tương đối thấp ngay cả khi có sự tham gia của trình xác thực cao (~ 300k + trình xác nhận).
Để đạt được mục tiêu này, phần lớn nỗ lực của các nhóm khách hàng eth2 trong tháng qua đã được dành riêng cho việc tối ưu hóa – giảm yêu cầu tài nguyên của giai đoạn 0, chuỗi beacon.
Tôi vui mừng thông báo rằng chúng tôi đang thấy sự tiến bộ tuyệt vời. Những gì sau đây là không phải toàn diện, nhưng thay vào đó là chỉ là một cái nhìn thoáng qua để cung cấp cho bạn một ý tưởng về công việc.
Lighthouse chạy 100k trình xác thực nhanh chóng
Lighthouse đã hạ xuống testnet trình xác thực ~ 16k của họ vài tuần trước sau khi một vòng lặp chuyển tiếp tin đồn chứng thực khiến các nút về cơ bản là DoS. Sigma Prime đã nhanh chóng vá lỗi này và hướng đến những thứ lớn hơn và tốt hơn – tức là một testnet trình xác nhận 100k! Hai tuần qua đã được dành riêng cho việc tối ưu hóa để biến mạng thử nghiệm quy mô thế giới thực này thành hiện thực.
Mục tiêu của mỗi mạng thử nghiệm Lighthouse tiến bộ là đảm bảo rằng hàng nghìn trình xác thực có thể dễ dàng chạy trên một VPS nhỏ được cung cấp với 2 CPUS và 8GB RAM. Các thử nghiệm ban đầu với 100k trình xác thực cho thấy khách hàng sử dụng RAM 8GB nhất quán, nhưng sau một vài ngày tối ưu hóa, Paul đã có thể giảm mức này xuống 2,5GB ổn định với một số ý tưởng để sớm hạ thấp hơn nữa. Lighthouse cũng đã tăng 70% trong trạng thái băm, cùng với xác minh chữ ký BLS đang được chứng minh là nút thắt cổ chai tính toán chính trong các ứng dụng khách eth2.
Lần ra mắt mạng thử nghiệm Lighthouse mới là sắp xảy ra. Đập vào mối bất hòa của họ để theo dõi sự tiến bộ
Prysmatic testnet vẫn được cải thiện đáng kể và đồng bộ hóa
Một vài tuần trước testnet Prysm hiện tại kỷ niệm vị trí thứ 100.000 của họ với hơn 28 nghìn trình xác thực đang xác thực. Hôm nay, testnet đã vượt qua vị trí 180 nghìn và có hơn 35 nghìn trình xác thực đang hoạt động. Giữ cho một testnet công khai tiếp tục hoạt động đồng thời đưa ra các bản cập nhật, tối ưu hóa, các bản vá ổn định, v.v. là một việc khá kỳ công.
Có rất nhiều tiến bộ hữu hình đang diễn ra trong Prysm. Tôi đã nói chuyện với một số người xác nhận trong vài tháng qua và từ quan điểm của họ, khách hàng tiếp tục cải thiện rõ rệt. Một mục đặc biệt thú vị là tốc độ đồng bộ được cải thiện. Nhóm Prysmatic đã tối ưu hóa việc đồng bộ hóa ứng dụng khách của họ từ ~ 0,3 khối / giây đến hơn 20 khối / giây. Điều này cải thiện đáng kể UX của trình xác nhận, cho phép họ kết nối và bắt đầu đóng góp vào mạng nhanh hơn nhiều.
Một bổ sung thú vị khác cho Prysm testnet là của alethio màn hình nút eth2 mới – eth2stats.io. Đây là một dịch vụ chọn tham gia cho phép các nút tổng hợp số liệu thống kê ở một nơi duy nhất. Điều này sẽ cho phép chúng tôi hiểu rõ hơn về trạng thái của testnet và cuối cùng là eth2 mainnet.
Đừng tin tôi! Kéo nó xuống và thử nó cho chính mình.
Tất cả mọi người yêu proto_array
Đặc tả eth2 lõi thường xuyên (cố ý) chỉ định hành vi dự kiến không tối ưu. Thay vào đó, mã đặc tả được tối ưu hóa cho khả năng đọc theo ý định hơn là cho hiệu suất.
Một thông số mô tả hành vi chính xác của một hệ thống, trong khi thuật toán là một thủ tục để thực hiện một hành vi được chỉ định. Nhiều thuật toán khác nhau có thể triển khai trung thực cùng một đặc điểm kỹ thuật. Do đó, đặc tả eth2 cho phép nhiều cách triển khai khác nhau của từng thành phần khi các nhóm khách hàng tính đến bất kỳ số lượng cân bằng nào khác nhau (ví dụ: độ phức tạp tính toán, sử dụng bộ nhớ, độ phức tạp triển khai, v.v.).
Một ví dụ như vậy là sự lựa chọn nĩa – thông số kỹ thuật được sử dụng để tìm đầu của chuỗi. Eth2 chỉ định hành vi bằng cách sử dụng một thuật toán ngây thơ để hiển thị rõ ràng các phần chuyển động và các trường hợp cạnh – ví dụ: cách cập nhật trọng số khi có chứng thực mới, phải làm gì khi khối mới được hoàn thiện, v.v. Triển khai trực tiếp thuật toán spec sẽ không bao giờ đáp ứng nhu cầu sản xuất của eth2. Thay vào đó, các nhóm khách hàng phải suy nghĩ sâu sắc hơn về sự cân bằng tính toán trong bối cảnh hoạt động của khách hàng của họ và triển khai một thuật toán phức tạp hơn để đáp ứng những nhu cầu đó.
May mắn cho nhóm khách hàng, khoảng 12 tháng trước Protolambda đã triển khai một loạt các thuật toán lựa chọn fork khác nhaughi lại những lợi ích và sự đánh đổi của từng thứ. Gần đây, Paul từ Sigma Prime đã quan sát thấy một nút thắt lớn trong thuật toán lựa chọn ngã ba của Lighthouse và đi mua sắm một thứ gì đó mới. Anh ấy đã phát hiện ra proto_array trong danh sách cũ của proto.
Phải mất một số công việc để chuyển proto_array để phù hợp với thông số kỹ thuật gần đây nhất, nhưng sau khi được tích hợp, proto_array được chứng minh là “chạy theo thứ tự có cường độ ít thời gian hơn và thực hiện đọc cơ sở dữ liệu ít hơn đáng kể.” Sau khi tích hợp ban đầu vào Lighthouse, nó cũng nhanh chóng được Prysmatic chọn và có sẵn trong bản phát hành gần đây nhất của họ. Với lợi thế rõ ràng của thuật toán này so với các giải pháp thay thế, proto_array đang nhanh chóng trở thành trò chơi được khán giả yêu thích và tôi hoàn toàn mong đợi sẽ sớm thấy một số đội khác nhận giải!
Đang tiến hành nghiên cứu Giai đoạn 2 – Quilt, eWASM và bây giờ là TXRX
Giai đoạn 2 của eth2 là sự bổ sung trạng thái và thực thi vào vũ trụ eth2 đã chia nhỏ. Mặc dù một số nguyên tắc cốt lõi đã được xác định tương đối (ví dụ: giao tiếp giữa các phân đoạn thông qua liên kết chéo và bằng chứng merkle), bối cảnh thiết kế Giai đoạn 2 vẫn còn tương đối rộng mở. Quilt (nhóm nghiên cứu của ConsenSys) và eWASM (Nhóm nghiên cứu của EF) đã dành nhiều nỗ lực của họ trong năm qua để nghiên cứu và xác định rõ hơn không gian thiết kế rộng mở này song song với công việc đang diễn ra để xác định và xây dựng các Giai đoạn 0 và 1.
Vì vậy, gần đây đã có một loạt các hoạt động gọi công khai, thảo luận và các bài đăng trên ethresear.ch. Có một số nguồn lực tuyệt vời để giúp khai thác đất. Sau đây chỉ là một mẫu nhỏ:
Ngoài Quilt và eWASM, phần mềm mới được hình thành TXX (Nhóm nghiên cứu của ConsenSys) cũng đang dành một phần nỗ lực của họ cho nghiên cứu Giai đoạn 2, ban đầu tập trung vào việc hiểu rõ hơn về độ phức tạp của giao dịch chéo cũng như nghiên cứu và tạo mẫu các con đường khả thi để tích hợp eth1 vào eth2.
Tất cả R&D Giai đoạn 2 là một lĩnh vực tương đối xanh. Có một cơ hội lớn ở đây để đào sâu và tạo ra tác động. Trong suốt năm nay, hãy mong đợi nhiều thông số kỹ thuật cụ thể hơn cũng như các sân chơi dành cho nhà phát triển sẽ phù hợp với bạn.
Whiteblock công bố kết quả kiểm tra gossipsub libp2p
Tuần này, Whiteblock đã phát hành libp2p kết quả kiểm tra gossipsub là đỉnh điểm của khoản tài trợ được đồng tài trợ bởi ConsenSys và Quỹ Ethereum. Công việc này nhằm mục đích xác thực thuật toán gossipsub cho việc sử dụng eth2 và cung cấp thông tin chi tiết về ranh giới của hiệu suất để hỗ trợ các thử nghiệm tiếp theo và cải tiến thuật toán.
Tl; dr là kết quả của làn sóng thử nghiệm này trông chắc chắn, nhưng các thử nghiệm sâu hơn cần được thực hiện để quan sát tốt hơn cách phân bổ thông báo theo quy mô mạng. Kiểm tra Báo cáo đầy đủ trình bày chi tiết phương pháp luận, cấu trúc liên kết, thí nghiệm và kết quả của họ!
Mùa xuân xếp chồng lên nhau!
Mùa xuân này có rất nhiều hội nghị thú vị, hackathons, eth2 bounties và hơn thế nữa! Sẽ có một nhóm các nhà nghiên cứu và kỹ sư eth2 tại mỗi sự kiện này. Vui lòng đến trò chuyện! Chúng tôi rất muốn nói chuyện với bạn về tiến bộ kỹ thuật, xác thực trên testnets, những gì sẽ xảy ra trong năm nay và bất kỳ điều gì khác mà bạn có thể nghĩ đến.
Bây giờ là thời điểm tuyệt vời để tham gia! Nhiều khách hàng đang trong giai đoạn testnet nên có đủ loại công cụ để xây dựng, các thử nghiệm để chạy và rất thú vị khi có.
Dưới đây là một cái nhìn thoáng qua về nhiều sự kiện được dự kiến để có đại diện eth2 vững chắc:
🚀
