zk-VM: Advanced Usage