分享版 创新金融科技 方明哲 智能合约的重放举证方法.pdf

《分享版 创新金融科技 方明哲 智能合约的重放举证方法.pdf》由会员分享，可在线阅读，更多相关《分享版 创新金融科技 方明哲 智能合约的重放举证方法.pdf（29页珍藏版）》请在三个皮匠报告上搜索。

1、智能合约的重放举证方法 中国科学院软件研究所 方明哲 背景 智能合约 这一概念最早于1994年被Nick Szabo提出 法律上的合约条款互联网电子商务协议 主要特性： 其条款以计算机程序形式写成 条件满足后自动化执行 无需可信的第三方 如今可简单地理解为部署、运行在区块链上的程序 区块链通过分布式共识协议、链式数据结构确保智能合约正确执行 2 背景 智能合约 Transfer 200RMB from User_A to User_B 例1：存证例2：记账 MD5: 7a9b15fa7c2ae1e9e7bc1de01b8514d3 SHA1: 4574b683260b10ae5b455ef30

2、0a179b7d6c0b6a5 SHA256: 6a49c70ecfe7921f6663d16c1abc92d8deef24d 6b5f8e0ce8564923d4a84501c CRC32: c2920121 方明哲 在2020年12月1日 存证了图片 7a9b15fa7c2a 3 用户 A余额减少200元 用户B余额增加200元 创新电子证据在线存证方式 背景 身份认证与 访问控制 记账与 数字支付 数据共享与 保护 供应链管理、电子政务、数字金融 联盟链中主要应用场景 4 背景 谁来为智能合约安全负责 在公有链（如比特币、以太坊、EOS）上，用户责任自负 在联盟链上，参与方有义务维护联盟

3、链的正常运行，有明确的责任主体 智能合约的开发方对智能合约负责 通过绑定李嘉图合约明确智能合约的功能 带有数字签名的可读描述 可被程序解析 5 李嘉图合约智能合约 例：一个借贷投资智能合约 绑定的的李嘉图合约 背景 智能合约安全隐患 仅靠绑定李嘉图合约不可行 智能合约本身程序逻辑的复杂性依然存在 难以建立智能合约开发者与执行结果不可否认的关联 主观恶意与疏忽同样会造成不良后果 以太坊公链上的蜜罐合约和庞氏骗局 联盟链支撑一系列实际的企业、政务应用系统，一旦出错损失惨重 亟需通过技术手段避免智能合约缺陷带来的损失 蜜罐合约（Honeypot） 以太坊公链仅690个蜜 罐合约造成了高达 90,000美元的直接损失 庞氏骗局（Ponzi Scheme） 以太坊公链上17,777笔庞氏 骗局交易两年内收款 410,000美元 6 背景 智能合约设计与开发阶段智能合约编译与部署阶段智能合约执行阶段