Ethereum 2.0 đã có một số tiến bộ quan trọng

Updated: 06/02/2020 at 7:30

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

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.

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.

Minh Anh

    Tạp chí Bitcoin | Bitcoinist

Được đề cập trong bài viết
Bình luận
Đang tải
Mới cập nhật

Ripple – công ty đứng sau đồng tiền điện tử XRP – một lần nữa trở thành tâm điểm của làn sóng tranh luận trong giới crypto sau khi chuyên gia tài chính kỳ cựu Caitlin Long đưa ra loạt chỉ trích gay gắt. Là người sáng lập Custodia Bank... ...

Giá Bitcoin gần như không có biến động đáng kể trong tuần qua, bất chấp việc đồng tiền số này đã từng lập kỷ lục cao nhất mọi thời đại ở mức 122.000 USD. Trong 7 ngày qua, BTC đã giảm nhẹ 3,1% và chỉ tăng 5,8% tính trong cả... ...

DeFi đang chứng kiến sự hồi sinh mạnh mẽ khi stablecoin – xương sống của hoạt động on-chain – vừa thiết lập kỷ lục giao dịch mới. Theo báo cáo mới nhất từ công ty phân tích blockchain Sentora (trước đây là IntoTheBlock), khối lượng giao dịch stablecoin on-chain trong tháng... ...

Lịch sử cho thấy, quý 4 luôn là quý mạnh nhất đối với Bitcoin (BTC), với mức lợi nhuận trung bình đạt 85,4% và tỷ lệ thành công cao trong các đợt tăng trưởng hai con số. Điều này không phải ngẫu nhiên; các chu kỳ nới lỏng chính sách... ...

Các meme coin trên nền tảng Solana, bao gồm Pudgy Penguins (PENGU) và SPX6900 (SPX), đang phát đi những tín hiệu phục hồi mạnh mẽ. Dữ liệu kỹ thuật cùng các chỉ số phái sinh cho thấy xu hướng đảo chiều ngày càng rõ rệt, khi giá giao ngay và... ...

Thị trường crypto toàn cầu đang trải qua đợt điều chỉnh nhẹ trong tuần qua, khi Bitcoin (BTC) vẫn chưa thể lấy lại các mức đỉnh gần đây. Dữ liệu từ CoinGecko cho thấy tổng vốn hóa thị trường hiện ở mức khoảng 3,79 nghìn tỷ USD, giảm 0,4% trong... ...

Diễn biến giá Bitcoin có thể mở ra đà tăng mới 50% nếu một đường hỗ trợ quan trọng giữ vững. Phân tích mới từ trader Galaxy được đăng tải trên X vào thứ Năm cho thấy cặp giao dịch BTC/USD đang lặp lại mô hình breakout như cuối năm... ...

Tính đến chiều thứ Năm, Monero (XMR) tiếp tục chìm trong sắc đỏ, giao dịch quanh mức $284 sau khi giảm thêm 6% trong tuần qua – đánh dấu mức thấp nhất trong vòng hai tháng. Áp lực bán đang gia tăng rõ rệt, thể hiện qua số lượng vị... ...

Tháng 8/2025 chứng kiến làn sóng bùng nổ bất ngờ từ các token vốn hóa thấp, khiến bảng xếp hạng tiền điện tử “chao đảo”. Những cái tên ít ai ngờ tới như TROLL, MEMEFI và MYX bất ngờ bứt phá mạnh mẽ, với mức tăng trưởng lên tới hơn... ...

Ethereum đang trở lại đường đua khi giá vượt mốc 3.700 USD, trong lúc Bitcoin vẫn giậm chân quanh ngưỡng 114.000 USD. Tỷ giá ETH/BTC hiện đang tiến vào một giai đoạn then chốt. Nếu Ethereum có thể bứt phá khỏi vùng kháng cự hiện tại, trong bối cảnh chỉ... ...

Xem thêm bài viết

Chọn chế độ hiển thị:
Bình thường Bảo vệ mắt Dark Mode