随着区块链技术的风暴席卷全球，其安全性已成为当前行业应用的关键问题。和信中欧金融技术研究院在此次高交会上带来了金融技术领域的新一代可验证安全区块链，高性能智能合约验证技术以及其他前沿技术产品。和合中欧金融技术研究院执行院长陈邦道表示，目前，大数据应用对个人隐私以及敏感的政府和企业数据的保护提出了严峻的挑战和威胁。近年来，由区块链系统和智能合约漏洞引起的多起安全事件已造成数亿美元的直接经济损失，突显了该领域对安全应用的迫切需求。量子计算时代即将来临。随着算法的日趋成熟，传统区块链的基础技术将面临最终的挑战。当前，唯一的选择是使用抗量子攻击算法。基于此，我们开发了世界上第一个反量子攻击。原始的区块链系统满足了业界对安全区块链的需求。”陈邦道告诉《经济日报》记者，新一代可验证的安全区块链采用了具有独立知识产权的量子后加密和签名技术。它为区块链上的快速，安全的数据交换提供了更加稳定，安全和可靠的环境，并将智能合约平台与视觉编排和安全验证保证相结合，极大地提高了系统的可扩展性。据报道，新一代可验证的安全区块链在增强系统基本安全性的同时，将提供更安全，更可靠的本机应用环境和更完善的隐私保护机制，以充分确保共享和使用过程中数据的安全性和可控性。 ，为避免数据滥用，为客户提供有效可靠的数据信息保护。随着区块链技术的发展，智能合约已成为热门技术。智能合约被誉为未来数字商务的基础。它的本质是一个程序，不可避免地存在漏洞，其漏洞可以直接转化为经济利益。”陈邦道解释说，如果假设的区块链是高速公路，则上述``行车''是一种智能合约，我们必须对其进行严格的安全认证，然后才能在道路上行驶。否则，一旦出现问题，它将是不可逆的。在区块链金融应用中，任何微小的漏洞都可能导致不可预测的损失。 “如果要在金融应用中进一步开发智能合约，则迫切需要解决金融业所需的安全性，可靠性和高性能保证，而正式的验证方法是解决上述问题的最佳方法。”陈邦道指出，该研究所开发的智能合约形式验证产品主要针对智能合约的设计者和开发者，为易于使用的智能合约设计和验证工具提供了一个环境，并努力降低其门槛。利用智能合约形式验证和正确性规范的编写难度大，大大提高了智能合约的安全性和可靠性。通过对合同代码进行严格而透明的安全性验证，该产品消除了逻辑漏洞并确保了合同的安全性。在满足实际应用效率要求的同时，达到了有效控制漏洞风险的目的。