We present a topological mechanism of diffusion in a priori chaotic systems. The method leads to a proof of diffusion for an explicit range of perturbation parameters. The assumptions of our theorem can be verified using interval arithmetic numerics, leading to computer assisted proofs. As an example of application we prove diffusion in the Neptune-Triton planar elliptic restricted three body problem. Joint work with Marian Gidea.