Two independent firms audited the protocol’s codes.