I have another question: I heard during a AMA I think that Casper is using its own virtual machine instead of evm. Can someone explain more about this or send me information w...