Just released a new blogpost about how we're thinking about proof system/zkVM design at RISC Zero. And finally, we have a name (0STARK) for the STARKish protocol that underlies the zkVM!

excited to put this (now very long overdue!) note on Ligero and Ben Diamond and Jim Posen 's logarithmic randomness which is essentially a longer version of Alex's ZK Summit 11 talk. this was work done with Alex Evans and rkm0959

Rad.

SVM 🤝 ZK Watch Rahul | Aerius Labs introduce zkSVM, a 100% SVM runtime in the RISC Zero zkVM. The ZK Era on Solana is coming...

Well-said! Stoked to be working with a team that has a more comprehensive approach to software security. dev.risczero.com/api/secure-sdlc

2,013,265,921.