TR on verified multi-ejector blocks