[发明专利]一种验证方法及装置、用于验证的装置、服务器和终端

说明书

本发明实施例提供了一种验证方法及装置、用于验证的装置、服务器和终端；其中，所述的方法包括：获取验证密文算法代码所需的目标数据，所述目标数据包括：密文算法代码和密文算法代码对应的计算数据；对所述密文算法代码进行合规性检测，所述合规性检测用于检测所述密文算法代码中的不合规代码，所述不合规代码包括语法准确但语义上泄漏数据信息的代码；若所述密文算法代码通过所述合规性检测，则运行所述密文算法代码对所述计算数据进行对应的明文计算；根据所述密文算法代码的运行结果，展示对应的算法代码验证结果。本发明实施例不仅能够检测出密文算法代码中语法准确但语义上泄漏数据信息的代码，还能够快速的对密文算法代码进行验证。

技术领域

本发明涉及数据处理领域，特别是涉及一种验证方法及装置、用于验证的装置、服务器和终端。

背景技术

如今，互联网已经完成了从IT(Internet Technology，互联网技术)时代向DT(Data Technology，数据处理技术)时代转变；数据已经成为DT时代企业的核心竞争力。而数据作为一种新能源，只有流动起来才能产生价值。不过，大多数企业考虑到数据安全和个人隐私等问题，对数据共享都非常谨慎。为了解决数据安全问题，安全多方计算(SecureMuti-party Computation，MPC)应运而生。

MPC能够基于密文进行计算，进而能够保证各参与方隐私数据的隐私性。在MPC系统中针对密文数据的操作源码称为密文算法代码，部分编程语言是解释型语言，非编译型语言，因此有些错误(如变量名拼写错误)在运行时才能发现；因此现有技术通过运行密文算法代码进行运算，实现对密文算法代码的验证。如果错误发生在程序的末端，由于运行密文算法代码进行运算执行的是密文操作，可能需要运行了很长时间的密文算法代码才会发现错误；当密文算法代码很复杂时，密文算法代码的验证效率会很低。

此外，密文算法代码不同于基于明文的运算，其不但要保证语法准确，还要保证数据信息的安全，因此，一些明文运算不能直接用于密文算法代码中，那么明文算法代码的验证方法无法适用于密文算法代码。

因此，需要研发出针对密文算法代码的验证方案。

发明内容

本发明实施例提供一种验证方法，以在提高密文算法代码的验证效率的同时，检测密文算法代码的合规性。

相应的，本发明实施例还提供了一种验证装置、用于验证的装置、服务器和终端，用以保证上述方法的实现及应用。

为了解决上述问题，本发明实施例公开了一种验证方法，具体包括：获取验证密文算法代码所需的目标数据，所述目标数据包括：密文算法代码和密文算法代码对应的计算数据；对所述密文算法代码进行合规性检测，所述合规性检测用于检测所述密文算法代码中的不合规代码，所述不合规代码包括语法准确但语义上泄漏数据信息的代码；若所述密文算法代码通过所述合规性检测，则运行所述密文算法代码对所述计算数据进行对应的明文计算；根据所述密文算法代码的运行结果，展示对应的算法代码验证结果。

可选地，在所述对所述密文算法代码进行合规性检测之后，所述的方法还包括：若所述密文算法代码未通过所述合规性检测，则生成合规性检测结果并展示。

可选地，所述对所述密文算法代码进行合规性检测，包括：生成所述密文算法代码对应的抽象语法树，所述抽象语法树包括多个节点，所述节点包括算术运算节点；以及识别出所述密文算法代码所包含的全部变量，并确定所述密文算法代码中各变量对应的类型信息；遍历所述密文算法代码对应的抽象语法树，从所述抽象语法树的算术运算节点中查找待进行合规性检测的目标算术运算节点；依次判断各目标算术运算节点是否满足预设的合规性检测条件。