Clearly there’s a distinction between knowledge associated with intimate understanding of every line of a proof and know…

Clearly there’s a distinction between knowledge associated with intimate understanding of every line of a proof and knowledge based on testimony, but I don’t see any general motive for ruling out this style of social trust, esp if e.g. there’re widespread successful efforts on kernel soundness.