How do we know this, exactly? Is it open hardware? Have anyone audited it?