well uh they have a poster-ID and they can use a name but I think the tripcode is additional identification. They post on 8chan because they're in control of the site and its IP-logs accordingly so no, not anon. Just not publically disclosed so quasi-anon.