一种跨链数据动态共享方案及形式化证明方法

本发明公开了一种跨链数据动态共享方案及形式化证明方法，涉及数据共享技术领域。本发明与之前的数据共享方案相比，解决了现有代理重加密算法无法解决证书管理与密钥托管的问题，同时无法应对数据的需求者存在动态进出区块链的特性的问题；定义了一种适合跨链数据共享的CPRE算法，在跨链数据共享的应用场景里具有较高的安全性；详细描述了基于CPRE的跨链数据动态共享方案，实现了高效的细粒度数据共享。还利用Z语言进行了形式化定义和描述，保证了方案的正确性。本发明可以实现数据所有者离线进行一对多数据共享，并且具有数据需求者动态进出区块链的特性。