Zero-knowledge virtual machines have the potential to revolutionize the portability of smart contracts, removing crypto’s last barrier to mass adoption.