本发明属于计算机数据安全的技术领域，更具体地，涉及一种面向数据合约的策略实时编译与一致性热部署方法及系统，所述方法包括：根据用户输入的策略，基于形式化语义的策略定义与规范化表示，构建具有完整语义信息的策略抽象语法树；将该抽象语法树输入多...

本发明公开了一种数据合约策略可信执行与溯源系统及方法，涉及计算机信息安全与密码学应用技术领域，包括以下步骤：策略形式化编译与电路生成，密钥生成与安全初始化，可验证执行与证明生成，差分隐私水印生成与注入，安全销毁与结果返回；数字策略可信执...