Microsoft Research, sıfır bilgi kanıtları (zero-knowledge proofs) kullanarak bir programın doğru çalıştığını kanıtlayan Magnetar adlı yeni bir sıfır bilgi sanal makinesi (zkVM) geliştirdi. Magnetar, RISC-V işlemci mimarisini kanıtlayarak Rust, Go veya C gibi yaygın dillerde yazılmış programların derleme sonrası aynen kanıtlanmasını sağlıyor; bu sayede kanıtlama uzmanlık gerektiren bir süreçten çıkıp normal mühendislik faaliyeti haline geliyor.