thefist的专栏

智能合约是可以运行在区块链上的合约代码,是一种运行在区块链之上的电子协议,它允许在没有第三方的情况下进行可信执行。1. 设计原则智能合约数据来源于链上。智能合约的输人是从区块链的数据库里出来的。这此数据是由区块链保证的,具有真实性且不可篡改的特征。智能合约在链上执行。智能合约是在多个节点上执行的,而所执行的结果必须是相同,智能合约所输出的结果一定要得到共识才能被接受。所以执行的结果是可信的。智能合约输出在链上。智能合约的输出结果必须存在于区块链上,保证了结果的真实与可追溯性,并且

1. 定义Hyperledger Lab定义了一种通信模型,允许许可链生态系统独立于平台交换任何链上数据或者自定义资产。它为每个可互相操作的区块链网络引人了“互操作性验证者”(interoperability validator)覆盖网络。为许可链提供了跨链服务,旨在使得两个或者多个主要联盟链生态系统能够实现集成。2. 步骤step1. 发送者“在本地账本上执行操作”。step2. 发送者创建验证请求。step3. 多个验证者“检查请求的验证和签名收集”。step4. 验证者对照账本验证

1. DockerDocker 是一个开源的应用容器引擎, 开发者可以将他们的应用及依赖包打包到一个可移植的镜像中,也可以实现虚拟化。完全使用沙箱机制,相互之间不会有任何接口。在超级账本中,智能合约的代码在使用任意的语言编写之后，将会被编译器打包进Docker镜像中,以容器作为执行环境。2. 链码2.1 所有的链码都继承两个接口,Init和Invoke。Init接口用于初始化合约,在整个链码的生命周期里该接口仅仅执行一次。Invoke接口编写业务逻辑的唯一人↵虽然只有一个入口,但是可以

Central Bankissued Digital Currency 模型1. 三种type1.1. 直接模型（大央行模型）：1.2. 间接模型（央行和商业机构合作）1.3. 混合模型：央行直接对商业机构开放，而通过间接方式对个人开放。

1. 智能合约相关合约账户和外部账户分开合约账户对外部账户一律平等,即使是发起该合约创建请求的外部账户也没有对合约账户的特殊权限。合约只有在交易调用时才会运行：使用地址对象或者msg对象来调用合约或者合约中的函数,并将输入作为参数输入合约。调用方式既可以是外部账户的交易调用合约,也可以是合约调用另一个合约。合约不能“独立运行”或者“后台运行”,通常情况下合约处于休眠状态,只有被调用触发时才会执行。合约的数据来源于该合约被调用时的参数输人,或者调用其他合约时的返回值。

1. 安全实施框架根据运行机制可分为运行与规划、合约创建、安全审计、合约触发、合约运行、合约废止六个阶段。2. 编译部署安全要求区块链系统应校验智能合约的编译实体、写入策略和签名内容。区块链系统应将智能合约内容的哈希值写到区块链账本中。区块链系统的共识机制安全可靠,才能保证智能合约安全。（必须使用拜占庭容错算法或其优化算法,并通过第三方验证）3. 智能合约触发安全要求3.1 直接接口调用安全要求接口名称应明确接口功能,应具有可读性和可维护性;直接接口调用应执行规定合约调用流程。

1. 设计思想针对法律、司法执法应用场景，将智能合约的许多问题简化, 在智能合约的自然语言处理、形式化方法、软件测试方面，突出智能合约的核心功能,降低使用智能合约的门槛,使其可靠且高效。2.模型驱动开发框架2.1 合约模板相比将合法且有效的合同翻译成智能合约, 本书通过领域分析来开发智能合约模权, 提供的合约模板可以在开发过程中重复使用，且模板涵盖某一领域中智能合约通用的协议条款。eg. 契约生命周期状态3 原则3.1 基于过程的原则基于过程的原则要求律师在合同模板中定义主要权利和义

1. 区块链如何获取真实世界的数据？由于网络、节点处理速度等原因，各节点直接获取外界数据时可能会有偏差，从而造成结果不同。1.1 预言机提供的解决方案通过第三方发送一笔区块链交易，交易中附加需要的数据,交易会将数据嵌入区块,并同步到每个节点,从而保证数据的完全一致。第三方将数据推送进区块链eg. 区块链和预言机1对1模型1.2. 保证数据的可靠性1.3. 监管性和隐私性监管性和隐私性是两个相互矛盾的性质。强监管性必然导致弱隐私性,而强隐私性必然弱化监管。eg. 强隐私弱监管的门罗币

1. 触发器触发器（trigger）是SQL server 提供给程序员和数据分析员来保证数据完整性的一种方法，它是与表事件相关的特殊的存储过程，它的执行不是由程序调用，也不是手工启动，而是由事件来触发，比如当对一个表进行操作（ insert，delete， update）时就会激活它执行。触发器经常用于加强数据的完整性约束和业务规则等。 触发器可以从 DBA_TRIGGERS ，USER_TRIGGERS 数据字典中查到。触发器有如下作用：可在写入数据表前，强制检验或转换数据。触发器发生错误时，

1. 雅阁项目有三个主要思想文本合同到可计算合同:主要目的是从静态的文本合同,以自然语言和文件为主,到动态,数字化,电子文档和证据集成的系统。电子签名仅仅是向本合同迈进的开始。合同高科技:雅阁项目不只使用合同模板,而有基于形式化语言定义的合同语言,可以有形式化的证明。连接相关组织:合同和业务决策和执行操作相连接,产生合同最大价值。eg. 可计算保险合同示例2. 雅阁项目的开发工具合同模板Cicero一个用于参数化自然语言,数据模型和可计算逻辑的规范和库集。Cicero模板可用于创建可重

1. 定义智能合约是机器可读的指令集，而李嘉图合约是指明智能合约所遵循的指令意图的文件。1.1 李嘉图合约前面的部分看起来像普通的软件合同。1.2 由于加密签名，李嘉图合约极其安全。每个李嘉图合约文档都可通过其哈希值进行唯一标识。编辑文档很困难，一旦所有各方同意并使用私钥在其上签名，它就变得不可变。1.3...