The problem Tokyo VM solves

Proving computational integrity using zk vm.

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.