登《Nature》子刊！赛思时间同步服务器，助力国内团队首次实现信息论安全的相对论零知识证明

在量子计算飞速演进的当下，大规模量子计算机的逐步落地，正使网络空间中的个人隐私、金融交易、身份核验等核心数据直面前所未有的泄露风险。如何在“后量子时代”实现真正无条件安全的隐私保护，已成为全球信息安全领域亟待攻克的的命题。

近期，由南京大学物理学院、固体微结构物理全国重点实验室、人工微结构科学与技术协同创新中心陈增兵教授、吴盛俊教授和中国人民大学物理学院、量子态构筑与测控教育部重点实验室尹华磊副教授团队（下文简称“研究团队”）联合完成的突破性研究给出了突破性答案。

研究团队原创性提出信息论安全的非对称相对论零知识证明（ＲＺＫＰ）协议，该协议在攻击者即使拥有指数级量子纠缠资源时，仍能保持无条件安全性的同时还兼具高效实用性，相关成果以“Ｅｘｐｅｒｉｍｅｎｔａｌａｓｙｍｍｅｔｒｉｃｒｅｌａｔｉｖｉｓｔｉｃｚｅｒｏ－ｋｎｏｗｌｅｄｇｅｐｒｏｏｆｓｗｉｔｈｕｎｃｏｎｄｉｔｉｏｎａｌｓｅｃｕｒｉｔｙ”为题发表于国际顶级期刊《自然·通讯》，为后量子时代的隐私计算与可信通信筑牢了底层安全基石。

在该重大科研突破的实验中，浙江赛思电子科技有限公司提供的高精度时间同步服务器，以纳秒级的精准授时与卓越的守时能力，为实验全域提供时序基准。

１、重大原创突破：非对称相对论零知识证明（ＲＺＫＰ）协议

零知识证明（ＺＫＰ）作为区块链、匿名投票、身份核验、金融隐私交易的核心密码工具，其核心思想在于：证明者能够证明某个命题为真，却不向验证者透露任何额外信息——恰如在ＡＴＭ取款时，系统需要确认“你知道密码”，却无需获知密码本身。

然而，传统零知识证明依赖计算复杂度假设，难以抵御量子计算攻击，早期对称相对论零知识证明虽依托光速原理实现无条件安全，却易被量子纠缠资源破解，且轮复杂度高达Ｏ（∣Ｅ∣⁴），海量随机资源开销近６０亿ＧＢ，单次证明运算需耗时６万年，因此仅停留在理论阶段。

为了构建能够抵御量子攻击的无条件安全密码体系，研究团队基于相对论比特承诺，原创提出非对称相对论零知识证明（ＲＺＫＰ）协议方案，成功将轮复杂度从Ｏ（∣Ｅ∣⁴）降低至Ｏ（∣Ｅ∣）。该协议采用非对称结构，两证明设备Ｐ₁与Ｐ₂执行不同任务：Ｐ₁承诺图染色方案，验证者随机选边挑战，Ｐ₂在类空时间窗口内回应，确保二者无法通信。随后验证者检查承诺一致性与颜色差异性，重复多轮使作弊概率指数衰减。其绑定性基于无超光速信号原则，即使面对任意量子关联也成立；协议的零知识性则来源于相对论承诺的隐藏性，验证者每轮仅能打开一条边的两个盒子且颜色随机置换，只能看到随机不同标签，无法获取额外信息。

实验实施与性能结果

为验证协议的实用性与稳定性，研究团队搭建外场实验系统开展实测验证。实验将两台证明设备间隔３００米布设，对应１０００ｎｓ类空间隔，严格限制每一轮操作在安全时间窗口内。

在含５８８个顶点、１０９７条边的图三色测试中，系统完成约２．２×１０⁵轮交互仅需０．２２秒，总随机数消耗仅４３０．８１ＭＢ。该方案无需专用量子硬件，接入门槛低、适配性强，有望应用于在区块链、智能合约、匿名政务等隐私场景。

２、赛思时间同步服务器，支撑２２万次极速交互

相对论零知识证明的安全性根基在于“光速不可超越”这一物理原理，０．２２秒完成２２万次交互，此次实验全域时序基准由赛思高精度时间同步服务器全程保障，设备绝对时间精度≤３０ｎｓ（含链路延迟），内置原子钟，即使ＧＰＳ信号丢失，也能确保时间漂移＜１ｕｓ／２４ｈ。

赛思高精度时间同步服务器

实验全程，设备时间差∣ｔ１−ｔ４∣与∣ｔ２−ｔ３∣的测量均值稳定在７００ｎｓ左右，标准偏差仅约１６ｎｓ；即使在最坏情况下叠加双向ＧＰＳ精度误差（２Δ＝６０ｎｓ），最大实测值仍低于９４０ｎｓ，始终保持在１０００ｎｓ的安全阈值之内。实验数据全程无一次校验失效，所有时间戳真实可信，为相对论约束实验提供了自主可控的国产时频底座。

实验数据

此次助力国内科研团队发表《ＮａｔｕｒｅＣｏｍｍｕｎｉｃａｔｉｏｎｓ》高水平科研成果，不仅验证了赛思高精度时间同步服务器在量子安全通信中的战略价值，更是国产高端时频设备在基础科学研究领域的一次重要亮相。

在此，赛思诚挚感谢合作研究团队的信任与卓越贡献，期待未来继续携手。未来，赛思将继续发挥高精度时频核心优势，以自主可控的时频技术支撑更多“从０到１”的原始创新，助力我国在量子安全、新一代信息基础设施等领域抢占全球制高点，为数字经济安全发展提供坚实时频保障！