- 4,574
- 9,427
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.
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ủ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.
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.
Nguồn coin68
Giới thiệu sách Trading hay
Khám phá Nghệ thuật Giao dịch Tiền tệ Chuyên nghiệp
Sách được viết bởi FX Trader chuyên nghiệp, có gần 30 năm giao dịch Forex cho các ngân hàng lớn thế giới như Citi, Nomura hay HSBC, đồng thời từng trading cho quỹ đầu cơ có vốn hàng chục triệu đô la
Bài viết liên quan
