Hồ sơ của CTSI官方中文社区

Hãy cùng đi sâu tìm hiểu phiên bản Cartesi Machine Emulator v0.21.0. Lần cập nhật này có rất nhiều nội dung phong phú. Cụ thể gồm tài liệu mới về “verification game” (trò chơi kiểm chứng), công cụ CLI để tự chạy quy trình tạo/chứng minh gian lận (fraud proof), cùng các cải tiến cơ sở hạ tầng nhằm nâng cao tốc độ lớp trạng thái và độ bền/khả năng lưu trữ (persistence) của toàn hệ thống. Dưới đây là chi tiết: 🧵↓
https://fxtwitter.com/cartesiproject/status/2089698617829597516

1/ Tài liệu đã được viết lại toàn diện và chuyển sang kho mã nguồn của trình mô phỏng (simulator), bổ sung hẳn một chương giải thích “verification game” theo từng bước. Muốn tìm hiểu cách hoạt động cốt lõi của Cartesi fraud proof (bằng chứng gian lận) sao cho đúng nền tảng? Hãy bắt đầu từ đây: https://github.com/cartesi/machine-emulator/blob/v0.21.0/doc/README.md

2/ CLI hiện có thể tính toán các “computation hashes” (băm tính toán), theo dõi cây Merkle đầu ra, và tạo ra các chứng minh cho từng output đơn lẻ cũng như chứng minh cho Merkle root của output. Điều này có nghĩa là bạn có thể thực hiện phần lớn các thao tác cần thiết để chạy quy trình fraud proof ngay từ dòng lệnh.

3/ Tính năng dải địa chỉ NVRAM cho phép ứng dụng ánh xạ trực tiếp trạng thái của mình vào dải địa chỉ vật lý thông qua trình điều khiển Linux UIO. Trạng thái được duy trì bền vững trong quá trình “advance state” (tiến trạng thái), và không cần chi phí đồng bộ bộ đệm trang của nhân (kernel page cache), nên ngay cả khi trạng thái ứng dụng liên tục tăng lên, tốc độ ghi vẫn duy trì hiệu quả.

4/ Máy lưu trữ cuộn (Rolling stored machines): CLI hiện hỗ trợ việc tiến trạng thái bằng cách sử dụng trạng thái máy trên đĩa, đồng thời có thể thực hiện rollback (revert) thông qua việc clone snapshot đã lưu. Các thao tác này có thể thực hiện tại chỗ hoặc với máy chủ từ xa. Đây là giải pháp trạng thái bền vững cho các ứng dụng không muốn giữ toàn bộ trạng thái máy thường trực trong bộ nhớ.

5/ Tăng cường cơ chế tiến trạng thái: Mỗi lần “advance state” giờ đây sẽ kết thúc bằng một kết quả rõ ràng và có thể chứng minh được—tức là “accepted” (được chấp nhận), “rejected” (bị từ chối), “halted” (dừng) hoặc “out of cycles” (vượt quá chu kỳ). Điều này rất quan trọng khi tranh chấp bước vào giai đoạn “verification game”, vì ở giai đoạn này, mọi kết quả đều phải có thể chứng minh được, chứ không chỉ là quan sát được.

6/ Nhắc nhở cho nhà phát triển tích hợp (integrator): Phiên bản này bao gồm một số thay đổi mang tính phá vỡ tương thích (breaking changes), bao gồm file header công khai đã được đổi tên, cờ rollback (revert flag) đã được tái cấu trúc, và giao thức nâng cấp JSON-RPC. Các thay đổi này không làm thay đổi hành vi cốt lõi của trình mô phỏng, chỉ có nghĩa là bạn cần cập nhật một phần mã gọi (calling code). Xem nhật ký cập nhật (changelog) để biết đầy đủ chi tiết. 7/ Bản phát hành này còn bao gồm: bộ công cụ Lua mới (bao gồm thư viện cây băm để xây dựng nguyên mẫu giao thức fraud proof), hỗ trợ lệnh nén RISC-V Zcb (cần cho kernel được build bằng GCC 14), tính năng bash auto-completion cho CLI, và các đảm bảo mạnh hơn về độ bền của snapshot.

8/ Xem chi tiết phát hành đầy đủ tại đây: https://github.com/cartesi/machine-emulator/releases/tag/v0.21.0

Các nhà phát triển thân mến, đây là bản cập nhật được chuẩn bị riêng cho các bạn. Chào mừng bạn đi sâu vào tài liệu mới về verification game, thử công cụ chứng minh bằng CLI, và đặt câu hỏi hoặc phản hồi trên Discord: https://discord.gg/cartesi

Chia sẻ lại: https://x.com/cartesiproject/status/2089698617829597516

CTSI官方中文社区

Erick de Moura (Cartesi): “Phát triển Blockchain rất khó và trách nhiệm của chúng tôi là đơn giản hóa nó.

Chủ đề thịnh hành