The vertical-integrated Dex Vertex Protocol