Dự án VM dựa trên Cairo mới của Yonatan Sompolinsky - Nhà phát triển có thể mong đợi điều gì?

StarkNet’in kỹ sư trưởng Yonatan Sompolinsky gần đây đã thông báo rằng ông đang làm việc trên một máy ảo mới và ngôn ngữ lập trình dựa trên hạ tầng Cairo. Dự án này đánh dấu một sự thay đổi lớn trong các giải pháp mở rộng Ethereum. Máy ảo mới đặc biệt nhằm cải thiện khả năng tính toán có thể chứng minh và an ninh.

Làm thế nào để đảm bảo an toàn và khả năng mở rộng với Sierra Bytecode?

Trung tâm của dự án là Sierra bytecode. Lớp trung gian này cho phép tích hợp khả năng đo lường có thể chứng minh và an toàn mật mã trực tiếp vào thiết kế của ngôn ngữ lập trình. Phương pháp của Yonatan Sompolinsky khác với các giải pháp hiện tại (ví dụ như SP1), tập trung vào việc đảm bảo an toàn trực tiếp ở cấp độ bytecode. Nhờ đó, các nhà phát triển có thể kiểm tra tính chứng minh của mã ở mọi bước và phát hiện các lỗ hổng tiềm năng sớm hơn.

Làm thế nào mô hình tài khoản kiểu Solana sẽ thay đổi trải nghiệm lập trình?

Một trong những đặc điểm nổi bật của hệ thống mới là việc sử dụng mô hình tài khoản tương tự Solana. Điều này sẽ cung cấp một mô hình lập trình quen thuộc cho các nhà phát triển và thúc đẩy việc chấp nhận hệ sinh thái Cairo nhanh hơn. Yonatan Sompolinsky dự đoán rằng, với lựa chọn thiết kế này, các nhà phát triển từ các hệ sinh thái blockchain khác sẽ dễ dàng thích nghi hơn. Kết quả là, sự kết hợp giữa VM mới và ngôn ngữ này có tiềm năng tạo ra bước nhảy vọt trong các giải pháp layer-2 của Ethereum.