how did they kill (spoilers)

what was that they put on Miranda richardson's neck? It was so fast-acting!

i realize they might not have stated it explicitly, but do we have any ideas? did they hint at it?