Sketched validator approximation algorithm