Mới đây, smart contract cho Ethereum 2.0 đã hoàn thành khâu xác thực và kiểm tra bytecode. Quá trình tối ưu hoá chuỗi Beacon cho ETH 2.0 cũng đang được thực hiện.
Ethereum 2.0 đang gần hơn bao giờ hết
Xác thực thuật toán (Formal Verification hay FV) là một khâu quan trọng trong thiết kế phần mềm. FV là cách phân tích các dòng code để đảm bảo được đặc tính quan trọng vì mọi sai sót có thể khiến một sự kiện DAO khác diễn ra.
Ethereum đã hoàn tất khâu kiểm tra bytecode của smart contract Ethereum 2. Bytecode là các mã ở tầng dưới ở cấp máy ảo Ethereum. Theo đó, việc kiểm tra đánh giá hợp đồng ETH 2.0 là một bước tiến lớn.
Tối ưu hoá chuỗi beacon cũng đang được thực hiện. Để giúp phát triển quy mô, ETH 2 sẽ được phân nhỏ thành từng mảng là shard, mỗi phần nhỏ này sẽ xử lí một lượng giao dịch đồng thời kết nối với chuỗi beacon chính để đảm bảo có thể liên hệ chính xác với các shard khác.
Core spec cũng trên đường phát triển mainnet
Core spec của Ethereum là một bản nháp của toàn nền tảng code, bản thảo này sẽ cho thấy các hàm được vận hành như thế nào. Với bản nháp này, các nhà lập trình có thể thêm bớt một số tính năng giúp ETH 2 có thể vận hành hoàn hảo nhất.
Consensys và Ethereum Foundation cũng đang làm việc để phát triển Ethereum 2. Giai đoạn 2 sẽ là thêm vào một số state cũng như shard cho mạng lưới. Nghiên cứu cho giai đoạn 2 này được thực hiện bởi đội ngũ Quilt của Consensys và eWASM của Ethereum Foundation. TXRX, một đội ngũ mới từ Consensys cũng đang làm việc với nhiều mô hình để cân nhắc mức độ phức tạp của hệ thống kết nối shard.
Theo Bitcoinist
Có thể bạn quan tâm:
