Mari kita pahami lebih dalam Cartesi Machine Emulator versi v0.21.0. Kali ini, pembaharuannya sangat beragam. Di antaranya terdapat dokumentasi baru tentang “verification game”, alat CLI untuk menjalankan alur proses fraud proof secara mandiri, serta peningkatan infrastruktur yang ditujukan untuk mempercepat dan meningkatkan ketahanan (persistensi) keseluruhan lapisan state. Berikut detailnya: 🧵↓
https://fxtwitter.com/cartesiproject/status/2089698617829597516
1/ Dokumentasi telah ditulis ulang secara menyeluruh dan dipindahkan ke repositori kode emulator—dengan tambahan bab penjelasan bertahap tentang “verification game”. Ingin mengetahui prinsip kerja dasar fraud proof Cartesi? Mulailah dari sini: https://github.com/cartesi/machine-emulator/blob/v0.21.0/doc/README.md
2/ CLI sekarang dapat menghitung computation hashes, menelusuri output Merkle tree, serta menghasilkan bukti untuk setiap output tertentu dan bukti untuk output Merkle root. Artinya, Anda bisa menyelesaikan sebagian besar langkah yang diperlukan untuk menjalankan fraud proof langsung melalui command line.
3/ Fitur rentang alamat NVRAM memungkinkan aplikasi memetakan statusnya langsung ke rentang alamat fisik melalui driver Linux UIO. Status tetap persisten saat melakukan advance state, dan tidak perlu ada overhead sinkronisasi cache halaman kernel—sehingga meskipun status aplikasi terus bertambah, kecepatan penulisan tetap efisien.
4/ Rolling stored machines: CLI kini mendukung proses advance menggunakan status mesin yang tersimpan di disk, serta rollback melalui cloning snapshot yang disimpan (revert). Operasi ini bisa dilakukan secara lokal maupun ke server jarak jauh. Ini menyediakan solusi persistensi state bagi aplikasi yang tidak ingin menyimpan seluruh state mesin secara permanen di memori.
5/ Penguatan mekanisme advance state: setiap kali melakukan advance state, hasilnya kini selalu berakhir dengan keluaran yang jelas dan dapat dibuktikan—yakni “accepted”, “rejected”, “halted”, atau “out of cycles”. Ini penting saat sengketa memasuki tahap “verification game”, karena pada tahap tersebut setiap hasil harus dapat dibuktikan, bukan sekadar dapat diamati.
6/ Pengingat untuk pengembang integrasi: versi ini menyertakan beberapa perubahan yang bersifat merusak (breaking changes), termasuk penamaan ulang header publik, bendera revert (revert flag) yang telah direkonstruksi ulang, serta peningkatan pada protokol JSON-RPC. Perubahan ini tidak mengubah perilaku inti emulator, tetapi berarti Anda perlu memperbarui sebagian kode pemanggilan. Untuk detail lengkap, silakan lihat changelog. 7/ Rilis ini juga mencakup: utilitas bantu Lua baru (termasuk library pohon hash untuk membangun prototipe protokol fraud proof), dukungan instruksi terkompresi RISC-V Zcb (dibutuhkan untuk kernel yang dibangun dengan GCC 14), fitur bash auto-completion untuk CLI, serta jaminan persistensi snapshot yang lebih kuat.
8/ Detail rilis lengkap dapat dilihat di: https://github.com/cartesi/machine-emulator/releases/tag/v0.21.0
Para pengembang, ini adalah pembaruan yang secara khusus disiapkan untuk kalian. Selamat menyelami dokumentasi verification game yang baru, coba alat bukti CLI, dan ajukan pertanyaan atau beri masukan di Discord: https://discord.gg/cartesi
Diteruskan: https://x.com/cartesiproject/status/2089698617829597516
https://fxtwitter.com/cartesiproject/status/2089698617829597516
1/ Dokumentasi telah ditulis ulang secara menyeluruh dan dipindahkan ke repositori kode emulator—dengan tambahan bab penjelasan bertahap tentang “verification game”. Ingin mengetahui prinsip kerja dasar fraud proof Cartesi? Mulailah dari sini: https://github.com/cartesi/machine-emulator/blob/v0.21.0/doc/README.md
2/ CLI sekarang dapat menghitung computation hashes, menelusuri output Merkle tree, serta menghasilkan bukti untuk setiap output tertentu dan bukti untuk output Merkle root. Artinya, Anda bisa menyelesaikan sebagian besar langkah yang diperlukan untuk menjalankan fraud proof langsung melalui command line.
3/ Fitur rentang alamat NVRAM memungkinkan aplikasi memetakan statusnya langsung ke rentang alamat fisik melalui driver Linux UIO. Status tetap persisten saat melakukan advance state, dan tidak perlu ada overhead sinkronisasi cache halaman kernel—sehingga meskipun status aplikasi terus bertambah, kecepatan penulisan tetap efisien.
4/ Rolling stored machines: CLI kini mendukung proses advance menggunakan status mesin yang tersimpan di disk, serta rollback melalui cloning snapshot yang disimpan (revert). Operasi ini bisa dilakukan secara lokal maupun ke server jarak jauh. Ini menyediakan solusi persistensi state bagi aplikasi yang tidak ingin menyimpan seluruh state mesin secara permanen di memori.
5/ Penguatan mekanisme advance state: setiap kali melakukan advance state, hasilnya kini selalu berakhir dengan keluaran yang jelas dan dapat dibuktikan—yakni “accepted”, “rejected”, “halted”, atau “out of cycles”. Ini penting saat sengketa memasuki tahap “verification game”, karena pada tahap tersebut setiap hasil harus dapat dibuktikan, bukan sekadar dapat diamati.
6/ Pengingat untuk pengembang integrasi: versi ini menyertakan beberapa perubahan yang bersifat merusak (breaking changes), termasuk penamaan ulang header publik, bendera revert (revert flag) yang telah direkonstruksi ulang, serta peningkatan pada protokol JSON-RPC. Perubahan ini tidak mengubah perilaku inti emulator, tetapi berarti Anda perlu memperbarui sebagian kode pemanggilan. Untuk detail lengkap, silakan lihat changelog. 7/ Rilis ini juga mencakup: utilitas bantu Lua baru (termasuk library pohon hash untuk membangun prototipe protokol fraud proof), dukungan instruksi terkompresi RISC-V Zcb (dibutuhkan untuk kernel yang dibangun dengan GCC 14), fitur bash auto-completion untuk CLI, serta jaminan persistensi snapshot yang lebih kuat.
8/ Detail rilis lengkap dapat dilihat di: https://github.com/cartesi/machine-emulator/releases/tag/v0.21.0
Para pengembang, ini adalah pembaruan yang secara khusus disiapkan untuk kalian. Selamat menyelami dokumentasi verification game yang baru, coba alat bukti CLI, dan ajukan pertanyaan atau beri masukan di Discord: https://discord.gg/cartesi
Diteruskan: https://x.com/cartesiproject/status/2089698617829597516