Hợp đồng thông minh tiền gửi cho Ethereum 2.0 đã hoàn thành xác minh và kiểm toán chính thức bytecode. Quá trình tiếp tục tối ưu hóa ETH 2.0 cũng đang được tiến hành.
Ethereum 2.0 dần thực tế hơn
Xác minh chính thức (FV) là bước cần thiết để phát triển phần mềm sản xuất. FV là phương pháp phân tích ngữ nghĩa mã để đảm bảo tuân thủ các thuộc tính nhất định. Nhiều lỗ hổng trong hợp đồng thông minh là do lỗi ngữ nghĩa trong mã, dẫn đến kết quả không mong muốn của quá trình thực thi mã. Chẳng hạn như vụ hack DAO, hoàn toán trái với ý định của người tạo ra hợp đồng thông minh.
Ethereum vừa hoàn thành phân tích FV bytecode của hợp đồng thông minh tiền gửi trên Ethereum 2.0. Bytecode là mã cấp thấp chạy trong Ethereum Virtual Machine (VM). Ethereum VM lấy mã được viết bằng Solidity, sau đó dịch và chạy nó trong VM dưới dạng bytecode. Quá trình kiểm toán mã này cho hợp đồng tiền gửi ETH 2.0 là một bước tiến lớn.
eth2 quick update #8 — Keep it cominghttps://t.co/OMXkdVok5c
tldr; below
— dannyryan (@dannyryan) February 4, 2020
Công việc tối ưu hóa chuỗi beacon Ethereum 2 cũng đang được tiếp tục. Chuỗi beacon là chuỗi tham chiếu chính mà các shard của ETH 2 cũng sẽ đồng bộ hóa. Để cho phép mở rộng quy mô tốt hơn, blockchain ETH 2 sẽ được chia thành các phần được gọi là shard, mỗi shard giống như một mini blockchain, chuyên xử lý nhóm nhỏ trong tổng số lượng giao dịch. Mỗi shard sẽ cần phải đồng bộ hóa với chuỗi beacon chính này để luôn đồng bộ với mọi shard khác.
Testnet Lighthouse của Ethereum 2.0 gần đây đã vá một lỗi và có thể chạy các node xác thực 100K mà không có bất kỳ vấn đề gì. Mạng thử nghiệm Prysm (là trình thực thi khác) đã chạy thành công với 35,000 node xác nhận hợp lệ.
Thông số lõi cũng dẫn đến mainnet
Thông số lõi của Ethereum giống như bản nháp sơ bộ của toàn bộ cơ sở mã, mô tả cách mã hoạt động đúng quy chuẩn. Tại các thời điểm quan trọng trong mã, nhà phát triển ETH thêm nhiều lựa chọn thực thi khác nhau và sự đánh đổi liên quan. Điều này cho phép họ cân nhắc cẩn thận và xem xét từng lựa chọn thiết kế được triển khai trong cơ sở mã ETH 2.
Mã trong thông số kỹ thuật không được tối ưu hóa hiệu suất, nhưng cho phép các nhà phát triển xem xét cách khách hàng có nhu cầu về thiết kế và hoàn thành các mục tiêu hiệu suất được nêu trong thông số kỹ thuật. Sau khi các quyết định thiết kế cuối cùng được đưa ra, nhà phát triển có thể thực thi một thuật toán tinh vi cho phép khách hàng được tối ưu hóa một cách hiệu quả.
Consensys và Ethereum Foundation (EF) đều đang nghiên cứu phát triển giai đoạn hai cho Ethereum 2. Giai đoạn hai là thêm trạng thái và tác vụ thực thi vào các shard Ethereum. Đây là phương pháp phát triển và tiêu chuẩn để giao tiếp shard chéo, sử dụng các công cụ như bằng chứng Merkle và liên kết chéo.
Nghiên cứu giai đoạn hai đang được nhóm Quilt của Consensys và nhóm eWASM của EF thực hiện. Hiện tại, nhóm Consensys cũng cùng tham gia cạnh tranh với TXRX. TXRX đang nghiên cứu phát triển các mô hình để hiểu được sự phức tạp của shard chéo.
- Golden cross Ethereum xuất hiện khi tỷ lệ tiết kiệm DAI tăng gấp đôi
- 6 yếu tố sẽ giúp Ethereum phát triển trong 12 tháng tới
Minh Anh
Tạp chí Bitcoin | Bitcoinist
