BetterAuth v1.1.15 版本发布:身份验证系统的全面升级
BetterAuth 是一个现代化的身份验证解决方案,专注于为开发者提供安全、灵活且易于集成的认证功能。它支持多种认证方式,包括传统的用户名密码、OAuth 社交登录以及新兴的 Passkey 无密码认证等。最新发布的 v1.1.15 版本带来了一系列功能增强和问题修复,进一步提升了系统的稳定性和用户体验。
主要功能增强
多邮箱账户关联支持
新版本允许用户手动将账户与不同于主邮箱的其他邮箱地址进行关联。这一改进为需要管理多个邮箱的用户提供了更大的灵活性,特别是在企业环境中,员工可能需要将工作邮箱和个人邮箱同时关联到同一个账户。
配置文件格式扩展
开发团队现在支持使用 JavaScript 文件(.js)作为配置文件格式。相比于传统的 JSON 配置,JS 配置文件具有以下优势:
- 支持注释,提高可读性
- 可以使用环境变量和条件逻辑
- 便于在复杂场景下进行动态配置
原生 MSSQL 数据库支持
v1.1.15 版本增加了对 Microsoft SQL Server 的原生支持,不再需要通过其他适配层。这一改进带来了:
- 更直接的数据库操作
- 更好的性能表现
- 更完整的 SQL Server 特性支持
关键问题修复
插件系统改进
修复了插件系统中关于邮箱和密码字段设置的权限问题,现在插件可以更灵活地处理这些敏感字段,为开发者提供了更大的扩展空间。
性能优化
针对 TypeScript 服务器性能进行了特别优化,显著改善了大型项目中附加字段推断时的响应速度,提升了开发体验。
认证流程修复
修正了未验证邮箱用户在登录时的状态码返回问题,现在系统会正确返回 403 状态码而非通用的 401,帮助开发者更精确地识别和处理特定场景。
Expo 客户端改进
解决了 Expo 客户端在使用 cookie 缓存时可能覆盖原始令牌的问题,确保了移动端应用的认证稳定性。
技术细节优化
类型系统一致性
统一了插件选项类型的导出方式,使类型系统更加一致和可预测,减少了开发过程中的类型错误。
请求处理增强
改进了自定义请求体属性的处理能力,现在开发者可以更自由地在请求中添加额外的属性,满足各种定制化需求。
组织管理更新
优化了组织列表的原子更新机制,确保在组织信息变更时相关视图能够及时同步,提升了管理界面的响应性。
安全相关改进
Passkey 认证修复
修正了 Passkey 认证中关于 RP ID(依赖方ID)的处理逻辑,确保在基础 URL 不包含端口号时也能正确识别和验证。
速率限制器优化
改进了速率限制器对大整数时间戳的处理,避免了在某些数据库系统中可能出现的类型转换问题。
总结
BetterAuth v1.1.15 版本通过一系列的功能增强和问题修复,进一步巩固了其作为现代化身份验证解决方案的地位。从多邮箱支持到原生 MSSQL 集成,从性能优化到安全改进,这个版本为开发者提供了更强大、更稳定的认证基础设施。无论是构建企业级应用还是个人项目,BetterAuth 都能提供可靠的身份验证支持。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C042
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0121
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00