ZenStack 2.13.0版本发布:安全增强与策略功能升级
项目简介
ZenStack是一个基于Prisma构建的现代数据访问层框架,它为开发者提供了强大的数据建模、访问控制和业务逻辑封装能力。通过扩展Prisma的功能,ZenStack让开发者能够以声明式的方式定义数据访问策略,并自动生成类型安全的客户端代码。
关键安全修复
本次2.13.0版本包含了一个关键的安全修复,涉及嵌套的updateMany和deleteMany操作。在某些特定条件下,这些操作可能会影响到比预期更多的数据实体。具体来说,当同时满足以下三个条件时会出现此问题:
- 在顶层
update查询下使用嵌套的updateMany/deleteMany - 被嵌套更新的模型包含引用自身字段的访问策略,或者是多态模型
- 顶层更新查询使用非ID的唯一字段作为过滤条件
举例说明,假设有一个用户模型和文章模型,文章模型定义了访问策略只允许更新未发布的文章。当使用用户的email字段(非主键的唯一字段)作为顶层过滤条件进行嵌套更新时,原本应该只更新与该用户关联的文章,但由于此bug,过滤条件可能会丢失,导致可能更新到其他用户的文章。
值得注意的是,即使出现此问题,模型的访问策略仍然会生效,因此并非所有情况下都会导致数据错误。但出于安全考虑,建议用户尽快升级到2.13.0版本。
新特性介绍
Prisma 6.5支持
从2.12.3版本开始,ZenStack已经支持Prisma 6.5版本,用户现在可以享受到Prisma最新版本带来的各项改进和功能增强。
访问策略函数支持
本次版本新增了对currentModel和currentOperation函数的支持,开发者现在可以在访问策略规则中调用这些函数(#1984)。这为编写更灵活、更细粒度的访问控制逻辑提供了可能。
其他改进与修复
-
Zod集成改进:修复了带有默认值的JSON字段的Zod模式生成问题,确保类型定义更加准确。
-
类型导出优化:改进了模型元数据类型的重新导出机制,确保这些类型在所有使用场景下都可用。
-
Enhanced类型助手:现在无论是否使用逻辑Prisma模式,都会生成
Enhanced类型助手,提高了类型系统的可用性。 -
委托模型类型修复:解决了委托模型名称较长时的TypeScript类型定义问题(#1994)。
-
CLI工具改进:修复了当
@default引用auth()布尔类型字段时,zenstack generate命令可能出错的问题(#2038)。
升级建议
对于正在使用ZenStack的项目,特别是那些使用了嵌套updateMany/deleteMany操作的项目,强烈建议尽快升级到2.13.0版本。同时,可以考虑启用Prisma的严格undefined检查预览功能,这可以作为查询转换问题的额外安全防护。
ZenStack持续致力于为开发者提供安全、高效的数据访问解决方案,2.13.0版本的发布进一步提升了框架的稳定性和功能性,为构建企业级应用提供了更坚实的基础。
GLM-5智谱 AI 正式发布 GLM-5,旨在应对复杂系统工程和长时域智能体任务。Jinja00
GLM-5-w4a8GLM-5-w4a8基于混合专家架构,专为复杂系统工程与长周期智能体任务设计。支持单/多节点部署,适配Atlas 800T A3,采用w4a8量化技术,结合vLLM推理优化,高效平衡性能与精度,助力智能应用开发Jinja00
请把这个活动推给顶尖程序员😎本次活动专为懂行的顶尖程序员量身打造,聚焦AtomGit首发开源模型的实际应用与深度测评,拒绝大众化浅层体验,邀请具备扎实技术功底、开源经验或模型测评能力的顶尖开发者,深度参与模型体验、性能测评,通过发布技术帖子、提交测评报告、上传实践项目成果等形式,挖掘模型核心价值,共建AtomGit开源模型生态,彰显顶尖程序员的技术洞察力与实践能力。00
Kimi-K2.5Kimi K2.5 是一款开源的原生多模态智能体模型,它在 Kimi-K2-Base 的基础上,通过对约 15 万亿混合视觉和文本 tokens 进行持续预训练构建而成。该模型将视觉与语言理解、高级智能体能力、即时模式与思考模式,以及对话式与智能体范式无缝融合。Python00
MiniMax-M2.5MiniMax-M2.5开源模型,经数十万复杂环境强化训练,在代码生成、工具调用、办公自动化等经济价值任务中表现卓越。SWE-Bench Verified得分80.2%,Multi-SWE-Bench达51.3%,BrowseComp获76.3%。推理速度比M2.1快37%,与Claude Opus 4.6相当,每小时仅需0.3-1美元,成本仅为同类模型1/10-1/20,为智能应用开发提供高效经济选择。【此简介由AI生成】Python00
Qwen3.5Qwen3.5 昇腾 vLLM 部署教程。Qwen3.5 是 Qwen 系列最新的旗舰多模态模型,采用 MoE(混合专家)架构,在保持强大模型能力的同时显著降低了推理成本。00- RRing-2.5-1TRing-2.5-1T:全球首个基于混合线性注意力架构的开源万亿参数思考模型。Python00