Tokyo VM
Prove only.
About
The problem it solves Proving computational integrity using zk vm.
How it's made
Challenges we ran into building a vm is hard. building a zk vm is very very hard. we gave it a try and came a good way while trying. implementing zk vm following research papers is always cumbersome and confusing at its best. Getting the intution of code along with the mathematical soundness has been very challenging.