The main chain for nonanonymous transactions is open source but as far as I can tell the side chain that enables anonymous transactions is closed source. Is this correct?

Is any part of the navcoin code for anonymous transactions closed source?