We study the random planar maps obtained from supercritical Galton-Watson trees by adding the horizontal connections between successive vertices at each level. These are the hyperbolic analog of the maps studied by Curien, Hutchcroft and Nachmias in [15], and a natural model of random hyperbolic geometry. We first establish metric hyperbolicity properties of these maps: we show that they admit bi-infinite geodesics and satisfy a weak version of Gromov-hyperbolicity. We also study the simple random walk on these maps: we identify their Poisson boundary and, in the case where the underlying tree has no leaf, we prove that the random walk has positive speed. Some of the methods used here are robust, and allow us to obtain more general results about planar maps containing a supercritical Galton-Watson tree. Figure 1: The circle packing of a causal triangulation constructed from a Galton-Watson tree with geometric offspring distribution of mean 3/2. This was made with the help of the software CirclePackPoisson boundary. The second goal of this work is to study the simple random walk on C(T ) and to identify its Poisson boundary. First note that C(T ) contains as a subgraph the supercritical Galton-Watson tree T , which is transient, so C(T ) is transient as well. We recall the general definition of the Poisson boundary. Let G be an infinite, locally finite graph, and let G ∪ ∂G be a compactification of G, i.e. a compact metric space in which G is dense. Let also (X n ) be the simple random walk on G started from ρ. We say that ∂G is a realization of the Poisson boundary of G if the following two properties hold:• (X n ) converges a.s. to a point X ∞ ∈ ∂G,• every bounded harmonic function h on G can be written in the formwhere g is a bounded measurable function from ∂G to R.We denote by ∂T the space of infinite rays of T . If γ, γ ∈ ∂T , we write γ ∼ γ if γ = γ or if γ and γ are two "consecutive" rays in the sense that there is no ray between them. Then ∼ is a.s. an equivalence relation for which countably many equivalence classes have cardinal 2 and all the others have cardinal 1. We write ∂T = ∂T / ∼. There is a natural way to equip C(T ) ∪ ∂T with a topology that makes it a compact space. We refer to Section 3.1 for the construction of this topology, but we mention right now that ∂T is homeomorphic to the circle, whereas ∂T is homeomorphic to a Cantor set. The space C(T ) ∪ ∂T can be seen as a compactification of the infinite graph C(T ). We show that this is a realization of its Poisson boundary.Theorem 2 (Poisson boundary of C(T )). Almost surely:1. the limit lim(X n ) = X ∞ exists and its distribution has full support and no atoms in ∂T , 2. ∂T is a realization of the Poisson boundary of C(T ).Note that, by a result of Hutchcroft and Peres [19], the second point will follow from the first one.Positive speed. A natural and strong property shared by many models of hyperbolic graphs is the positive speed of the simple random walk. See for example [24] for supercritical and [13,5] for the PSHIT or their half-planar a...