a zero-knowledge proof based smart contract runtime environment (https://www.zkmove.net)