it seems like a custom or a modified plugin at the very most its named smash-commentratings on the site you mentioned and the closest plugin to that one is this one named comment rating but if you want to use a rating plugin i will advice gd star ratting which offers not only the comment thumb rating but many more type that can also be used in posts.
