Pwnagotchi 2.9.5版本发布:Wi-Fi安全测试工具的重大更新
Pwnagotchi是一个开源的Wi-Fi安全测试工具,它基于Raspberry Pi硬件平台,结合AI技术自动探测和收集Wi-Fi网络信息。该项目通过模拟"宠物"的行为模式,使安全测试过程更加智能化和自动化。最新发布的2.9.5版本带来了多项重要改进和新功能。
核心功能升级
Bettercap框架更新至2.40.1
Pwnagotchi 2.9.5版本将内置的Bettercap网络安全框架升级到了2.40.1版本。Bettercap是Pwnagotchi的核心组件,负责网络探测和数据包捕获等关键功能。这次更新最显著的改进是新增了对6GHz Wi-Fi频段的支持,这使得Pwnagotchi能够覆盖最新的Wi-Fi 6E标准网络,大大扩展了其应用范围。
自动调优功能增强
开发团队对auto-tune功能进行了优化,增加了extra_channels参数值。这一改进使得Pwnagotchi能够更好地探测到周围的其他Pwnagotchi设备,提高了在复杂无线环境中的协同工作能力。对于安全研究人员来说,这意味着在多设备协同测试场景下可以获得更全面的网络覆盖和数据收集。
插件系统改进
全新的ohcapi插件
2.9.5版本移除了旧的onlinehashcrack插件,取而代之的是全新的ohcapi插件。这一变更不仅仅是名称上的改变,新插件在功能实现和稳定性方面都有显著提升。ohcapi插件能够更可靠地将捕获的握手包上传到在线分析服务,提高了整个工作流程的效率。
WPA-SEC上传功能修复
针对之前版本中wpa-sec插件上传功能不稳定的问题,开发团队进行了修复。现在,由于配置向导不再添加空的whitelist条目,wpa-sec插件能够正确地上传捕获的数据。这一改进确保了安全研究人员能够可靠地将收集到的信息提交到wpa-sec服务进行分析。
系统配置优化
蓝牙网络共享功能增强
bt-tether插件在启用时现在会自动添加DNS地址,这一改进使得通过蓝牙共享网络连接时能够获得更完整的网络功能。用户在使用蓝牙连接上网时,不再需要手动配置DNS设置,大大简化了操作流程。
配置向导改进
配置向导(wizard)现在更加智能,它不会再添加空的whitelist条目。这一改进不仅解决了之前版本中可能导致某些插件工作不正常的问题,还使得配置文件更加整洁,减少了人为错误的可能性。
系统镜像选择
Pwnagotchi 2.9.5版本继续提供32位和64位两种系统镜像。64位镜像体积更小(约1195973KB),适合较新的硬件平台;32位镜像(约1253363KB)则保持了对旧硬件的兼容性。用户可以根据自己的硬件配置选择合适的版本。
总结
Pwnagotchi 2.9.5版本通过核心组件升级和多项功能改进,进一步提升了这款Wi-Fi安全测试工具的实用性和可靠性。特别是对6GHz Wi-Fi的支持,使其能够适应最新的网络环境。对于安全研究人员和无线网络爱好者来说,这次更新提供了更强大的功能和更稳定的使用体验。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C078
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python056
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0131
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00