Proof of Meow: how ZK-VM works