I have a few results during my math PhD that I used in a black-box or grey-box sense. I have a rough idea of how it is proved but the proof itself is extremely long and detailed. I cannot reproduce it off the top of my head without looking at the paper and going through it line by line again. Some of these proofs also themselves refer to other lemmas and proofs in different papers and it can become quite a deep rabbit hole.
I am at a stage now where I can either spend some weeks studying these proofs in detail or I can focus more new research and take these results as black box results. What is the right/expected thing to do from a scientific mindset? On the one hand, understanding everything from scratch would be nice but on the other hand, the reason we write lemmas is so that others can use them as a springboard to develop new ideas.
TL;DR how deeply do mathematicians understand other people's work before using their results? My practical concern would be my thesis defence but the broader scientific "best practice" would be good to know too.