Short Graph Sketches Suffice for Error-resilient Leader Verification in CONGEST | Digital Library | PAMCET | PAMCET