En este documento, revisamos el protocolo de transacciones de blockchain peer-to-peer, Dandelion, y desarrollamos un modelo basado en oráculos para su red y seguridad. Formalizamos una serie de criterios de seguridad y funcionales, como la imposibilidad de falsificación, la no repudiación y la inmutabilidad, en experimentos de seguridad. En nuestro modelo, consideramos a un adversario con capacidad cuántica que intenta socavar cualquiera de los criterios de seguridad mientras utiliza oráculos para simular e interactuar con la red de Dandelion. Luego demostramos la seguridad de Dandelion en nuestro modelo con una serie de reducciones de seguridad (ajustadas) como nuestro resultado principal. Además, demostramos que Dandelion es resistente a los ataques de doble gasto.