打开网易新闻 查看更多图片

打造网络安全框架型基础设施,万径安全(四维创智(北京)科技发展有限公司)宣布逆势完成数千万元新一轮增资。深圳市创新投资集团有限公司(简称“深创投”)作为本轮独家投资方,将助力万径安全进一步加强万径安全在网络安全领域的研发实力,扩大市场份额,推动公司业务持续高速发展。

此前钛媒体App曾对万径安全从0实现网络安全领域图灵完备语言“YAK”的研发做过详细报道,(详情见:《网络安全行业,需要一门自己的酷语言 | 快公司》),YAK基于网络安全行业传统语言无法做到图灵完备的共性痛点出发,是网络安全能力融合的领域特定语言(Domain Specific Language,DSL)。其优势在于易书写、易分发、执行效率高、图灵完备、跨语言协议实现。具体在网络安全应用场景上,Yak本身已具备绝大部分安全能力,如果是通用而未具备的特殊需求,也可借助语言的图灵完备特性来解决,再结合语言间的逻辑调度,可极大降低使用门槛,提升编程效率

去年4月份,万径安全也跟随趋势,推出了网络安全行业大模型“ChatCS”(详情见:ChatGPT渗入网络安全,七家已入局,新一轮网安攻防军备赛打响 | ToB产业观察),ChatCS是使用RLHF技术微调并利用知识图谱进行领域知识约束的垂直领域大语言模型。思路是首先构建以“漏洞概念”为核心的网络安全领域知识图谱—Vuln_Sprocket,再将图谱生成先验知识集训练模型。在最新的版本中,ChatCS已经具备340亿参数,可以很好完成领域知识问答、测试脚本生成、告警日志分析等操作。

“万径安全将继续坚持‘让世界更安全,让安全更简单’的初心使命,以此次融资为契机,继续深耕AI+YAK开发语言基础设施,加大研发力度,提升产品品质,为行业客户提供更加安全、优质的产品。在深创投的鼎力支持下,万径安全将不断追求创新,为推动我国网络安全事业的高质量发展贡献我们的力量。”万径安全创始人/董事长司红星表示。

据了解,万径安全成立于2013年,是网络安全行业知名的专精特新企业,致力于为用户提供全面、高效、安全的网络安全解决方案。公司以 “AI+YAK” 为企业核心战略,专注于网络安全基础设施和智能化技术研究,打造了首款国产安全语言Yaklang和网络安全专用AI模型千机(ChatCS)两大核心,并基于YAK构建自主可控的网络安全生态体系,推动安全产业融合发展,产品已广泛应用于能源、金融、运营商等多个行业。

万径安全创始人/总经理冯玉然表示,Yak语言打破了底层安全能力割裂且长期受制于海外的局面。要实现安全能力的兼容互通,关键在于将其在编译器层面统一,像华为的鸿蒙操作系统实现万物互联的逻辑一样,公司从0到1设计了Yak语言,通过自研的栈机虚拟机-YakVM实现安全互联,并且原生支持国密体系SM2/3/4,解决了在极端情况下底层安全能力的自身安全问题。Yak语言在生态上存在无限延展性,有望成为网络安全框架型基础设施。

“没有网络安全就没有国家安全, 对于网络安全领域编程语言的探索,公司迈出了重大的一步。”万径安全首席科学家张小松教授表示。Yak语言相较于C、Python、Java等,具备易书写、易分发、高执行效率、抗逆向、强加密等特性。经过数年迭代,Yak核心代码超过100万行,已开发出100个网络安全专用模块,超过2000个网络安全专用库函数,引擎装机量超过80万,月调用次数达5000万次以上。YAK生态的不断完善,有助于推动行业的创新和发展。

在商业模式上,深创投集团投资团队表示,“我们看好万径安全基于Yak制定的技术路线和商业模式,推动的国家底层安全能力建设,助力核心产业链的自主可控。”该公司将计算机编译、知识图谱、大模型等IT技术与网络安全技术深度融合,研制了网络安全智能攻防的关键基础技术和应用产品,提升了网络安全智能模拟攻击能力以及全域主动联合防御能力;与此同时,通过定义并开源网络安全开发语言YakLang及其开发平台Yakit,吸引了众多网安行业人员参与生态的共建共享,进一步夯实了核心技术和产品的能力

未来万径安全将携手合作伙伴共建网络安全生态,以YAK编程语言夯实底层能力,致力为我国网络安全产业提供强大的技术支持。在国产自主可控的大背景下,加速打造网络安全新质生产力,共同将YAK打造成中国网络安全产业链的核心基础设施之一。