It is smaller than the largest known dwarf planet , Eris . Its formal name is 134340 Pluto . Pluto , formal designation 134340 Pluto , is the second most massive known dwarf planet in the Solar System ( after Eris ) and the tenth most massive body observed directly orbiting the Sun .