trên tiền điện tử
Theo một bài đăng ngày 17 tháng 2.0 của nhà nghiên cứu Danny Ryan, nhóm nghiên cứu Eth XNUMX đang nghiên cứu một khái niệm mới được gọi là "cam kết đa thức" để giảm dữ liệu được sử dụng để tính toán trên mạng.
Phép toán là gì?
Được Buterin mệnh danh là "phép toán", các cam kết đa thức được coi là một cách để kiểm tra trạng thái của mạng với chi phí tính toán thấp, một mục tiêu quan trọng cho tương lai. Buterin được thuyết phục để áp dụng toán học ma thuật ít nhất là giai đoạn thứ ba của Eth 2.0. Ryan nói: “Các cam kết đa thức có thể là bước đột phá mà chúng tôi đang tìm kiếm.
Các cam kết đa thức trong ngắn hạn
Các cam kết về đa thức tương tự như đa thức mà chúng ta đã học ở trường: một biểu thức toán học với các biến và hệ số. Nhưng xét nó là phép toán kỳ diệu, nó không đơn giản.
Buterin mô tả các cam kết đa thức là "một loại băm của một số đa thức P (x), với thuộc tính thực hiện kiểm tra số học trên các hàm băm." Tài liệu gốc về các cam kết đa thức tóm tắt sơ đồ toán học thành sáu thuật toán cho thấy bằng chứng về một sự kiện xảy ra với càng ít dữ liệu tính toán càng tốt.
Buterin cho biết trong một bài đăng trên blog từ Ethereum Foundation, “Chúng tôi đề xuất thay thế cây Merkle bằng cái gọi là cam kết đa thức của phép toán ma thuật, để lưu trữ trạng thái blockchain”.
Trạng thái blockchain
Blockchains ghi lại cả giao dịch vào và ra. Nhìn chung, hệ thống kế toán blockchain có hai loại: mô hình Đầu ra giao dịch chưa được gửi (UTXO) và mô hình dựa trên tài khoản. Bitcoin sử dụng cái trước trong khi Ethereum sử dụng cái sau.
Khi người dùng muốn đầu tư bitcoin trong mô hình UTXO, giao dịch của nó kéo theo toàn bộ lịch sử của những đồng tiền đó với nó, sau đó sẽ được kiểm tra bởi mọi đồng đẳng trên mạng.
Mặt khác, mô hình tài khoản chỉ ghi lại giao dịch giữa hai đồng nghiệp trong khi chuyển các câu hỏi về tính hợp lệ của giao dịch tới Máy ảo Ethereum (EVM) cùng với bằng chứng giao dịch.
EVM thực hiện các thay đổi trạng thái - tài khoản kiểm tra và số dư của blockchain - thay mặt cho người dùng. Mỗi khối trên Ethereum - liên kết các giao dịch trên nền tảng này - cũng chứa bằng chứng, một cây Merkle, liên kết với sự khởi đầu của lịch sử mạng.
Bằng chứng này chứa việc xác nhận trạng thái trên và được yêu cầu để EVM thực hiện giao dịch. Merkle tree có hiệu quả về dữ liệu, nhưng không đủ hiệu quả cho tham vọng của Eth 2.0. Đây là nơi điều kỳ diệu xảy ra.
Cấu hình cây Merkle hiện tại yêu cầu khoảng 0,5MB cho mỗi giao dịch. Ryan ước tính rằng các lược đồ cam kết đa thức sẽ giảm trọng lượng của các bài kiểm tra trạng thái từ 0,001 đến 0,01 MB.
Đối với một mạng có trung bình khoảng 700.000 giao dịch mỗi ngày, khoản tiết kiệm trong tính toán là rất đáng kể. Một số dự án ngoài Ethereum cũng dựa trên các cam kết đa thức, theo cách riêng của họ. Buterin cho biết việc thực hiện các cam kết đa thức của anh ấy vẫn là một trong nhiều điều. Hơn nữa, nó vẫn đang trong giai đoạn nghiên cứu.
