智能合约是一个事务处理系统，使数字化承诺在满足触发条件时被自动执行，而不会产生或者修改智能合约。相比于传统合约，智能合约在合同主体、执行的效率和违约成本都有很大不同，使得信息验证成本显著降低，加上自动执行和不可篡改性，极大提高了商业社会多方协作的效率。因此，智能合约技术是区块链应用中最主要的特征，也是区块链被称为颠覆性技术的主要原因。
2021-01-28 05:10:20
11.21MB
1
#forsage静态几天回本#
#forsage智能合约怎么样#
#Forsage系统源码#
#forsage中国用户#
#forsage智能合约奖金制度#
#forsage以太坊挖掘#
#forsage亚洲微博#
#forsage智能合约群#
#forsage挖矿吗#
#Forsage豹#
#Forsage招募代理#
#ik forsage io#
2021-01-28 05:09:59
544.14MB
1
区块链智能合约实施规范，包括智能合约构建、触发、运行和评估过程。
区块链智能合约实施框架、合约接口调用、合约事件约束
2021-01-28 05:09:15
2.89MB
1
区块链成为近两年热点话题，因其通过分布式数据存储、点对点传输、共识机制、加密算法等技术的集成，可有效解决传统交易模式中数据在系统内流转过程中的造假行为，从而构建可信交易环境，打造可信社会。
2021-01-28 05:09:10
2.4MB
1
常被提及的应用包括使用链上数字资产来代表定制货币和金融工具（彩色币），某种基础物理设备的所有权（智能资产），如域名一样的没有可替代性的资产（域名币）以及如去中心化交易所，金融衍生品，点到点赌博和链上身份和信誉系统等更高级的应用。另一个常被问询的重要领域是“智能合约"-根据事先任意制订的规则来自动转移数字资产的系统。例如，一个人可能有一个存储合约，形式为“A可以每天最多提现X个币，B每天最多Y个，A和B一起可以随意提取，A可以停掉B的提现权"
。这种合约的符合逻辑的扩展就是去中心化自治组织（DAOs）-长期的包含一个组织的资产并把组织的规则编码的智能合约。以太坊的目标就是提供一个带有内置的成熟的图灵完备语言的区块链，用这种语言可以创建合约来编码任意状态转换功
能，用户只要简单地用几行代码来实现逻辑，就能够创建以上提及的所有系统以及许多我们还想象不到的的其它系统。
2021-01-28 05:08:03
7.85MB
1
ContractFuzzer generates fuzzing inputs based on the ABI specifications of smart contracts, defines test oracles to detect security vulnerabilities, instruments the EVM to log smart contracts runtime behaviors, and analyzes these logs to report security vulnerabilities.
2021-01-28 05:07:50
1.59MB
1
soljson-v0.4.7 commit.822622cf.js
soljson-v0.4.7 commit.822622cf.js
2021-01-28 05:07:38
7.3MB
1
soljson-v0.4.23+commit.124ca40d.js
soljson-v0.4.23+commit.124ca40d.js
2021-01-28 05:07:38
7.6MB
1