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 都能提供可靠的身份验证支持。
ERNIE-4.5-VL-28B-A3B-ThinkingERNIE-4.5-VL-28B-A3B-Thinking 是 ERNIE-4.5-VL-28B-A3B 架构的重大升级,通过中期大规模视觉-语言推理数据训练,显著提升了模型的表征能力和模态对齐,实现了多模态推理能力的突破性飞跃Python00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
MiniMax-M2MiniMax-M2是MiniMaxAI开源的高效MoE模型,2300亿总参数中仅激活100亿,却在编码和智能体任务上表现卓越。它支持多文件编辑、终端操作和复杂工具链调用Python00
HunyuanVideo-1.5HunyuanVideo-1.5作为一款轻量级视频生成模型,仅需83亿参数即可提供顶级画质,大幅降低使用门槛。该模型在消费级显卡上运行流畅,让每位开发者和创作者都能轻松使用。本代码库提供生成创意视频所需的实现方案与工具集。00
MiniCPM-V-4_5MiniCPM-V 4.5 是 MiniCPM-V 系列中最新且功能最强的模型。该模型基于 Qwen3-8B 和 SigLIP2-400M 构建,总参数量为 80 亿。与之前的 MiniCPM-V 和 MiniCPM-o 模型相比,它在性能上有显著提升,并引入了新的实用功能Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
GOT-OCR-2.0-hf阶跃星辰StepFun推出的GOT-OCR-2.0-hf是一款强大的多语言OCR开源模型,支持从普通文档到复杂场景的文字识别。它能精准处理表格、图表、数学公式、几何图形甚至乐谱等特殊内容,输出结果可通过第三方工具渲染成多种格式。模型支持1024×1024高分辨率输入,具备多页批量处理、动态分块识别和交互式区域选择等创新功能,用户可通过坐标或颜色指定识别区域。基于Apache 2.0协议开源,提供Hugging Face演示和完整代码,适用于学术研究到工业应用的广泛场景,为OCR领域带来突破性解决方案。00