Hello,
Is there a IRC / Discord channel where this community hangs out?
Hi @MK-ZP, we do not have an IRC / Discord, but we do have a mailing list, this forum, the github repositories (where you can open any issues).
Please find all the info at the main website - zkproof.org