Berita Gold Finance melaporkan, Pengembang ETH menyatakan di platform X, Rick Dudley memanggil pendiri bersama ETH, Vitalik Buterin, mengatakan bahwa tidak sulit untuk menjalankan rantai sinyal ETH menggunakan RISC-V dan membuat EVM berjalan bermakna, dia sangat tertarik untuk mengelola proyek ini. Menanggapi hal ini, Vitalik Buterin menyatakan bahwa sebagian besar dari peta jalan bukti validitasVerifikasi Formal ETH yang ada adalah untuk memverifikasi implementasi EVM di RISC-V, dan menyarankan Rick Dudley untuk berhubungan dengan Alexander Hicks yang bertanggung jawab untuk Verifikasi Formal dan kecerdasan buatan ETH.
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
Vitalik: Sebagian besar dari roadmap verifikasi formal bukti validitas Ethereum saat ini adalah implementasi verifikasi EVM di dalam RISC-V
Berita Gold Finance melaporkan, Pengembang ETH menyatakan di platform X, Rick Dudley memanggil pendiri bersama ETH, Vitalik Buterin, mengatakan bahwa tidak sulit untuk menjalankan rantai sinyal ETH menggunakan RISC-V dan membuat EVM berjalan bermakna, dia sangat tertarik untuk mengelola proyek ini. Menanggapi hal ini, Vitalik Buterin menyatakan bahwa sebagian besar dari peta jalan bukti validitasVerifikasi Formal ETH yang ada adalah untuk memverifikasi implementasi EVM di RISC-V, dan menyarankan Rick Dudley untuk berhubungan dengan Alexander Hicks yang bertanggung jawab untuk Verifikasi Formal dan kecerdasan buatan ETH.