面对实际交付,我看awesome-smart-contracts的重点不在星标,而在这项能力: 很棒的智能合约平台列表。对日常自动化任务来说,输入边界、依赖和失败处理如果不清楚就很难稳定复用往往决定它能否落地,不能只用安装成功来判断。短测时我会用一项范围明确的真实任务完成最小试跑,并保留配置时间、输出质量、异常信息和维护痕迹的结果,方便团队复盘。如果团队属于愿意先做小范围验证并复查原始文档的团队,它有继续测试的理由;否则先看替代方案会更省时间。
很棒的智能合约
运行智能合约的平台精选列表。
什么是智能合约?
"New institutions, and new ways to formalize the relationships that make up these institutions, are now
made possible by the digital revolution. I call these new contracts "smart", because they are far more
functional than their inanimate paper-based ancestors. No use of artificial intelligence is implied.
A smart contract is a set of promises, specified in digital form, including protocols within which the
parties perform on these promises."
-Nick Szabo, 1996
Smart contracts are contracts whose terms are encoded in computer language instead of legal language.
Smart contracts can be executed by a computing network such as RSK, so that the terms of the contracts
are automatically enforced by a protocol that all nodes in the network follow.
A smart contract can be fully autonomous if all the objects referred (such as currency, payments,
obligations, property titles, assets, licenses) have a digital representation in the platform.
Source: https://faq.rsk.co/en/main/
引用者
平台列表
| 平台名称 | 发动机 | 合同语言 | 活着吗? | 产地 | 公司于 | 预计。 | 酒吧。相对。 |
|---|---|---|---|---|---|---|---|
| 永恒 | HLM, FTWVM, AEVM | 索菲亚、瓦尔纳、Solidity | 不 | FL | 列支敦士登 | 2017 | |
| 比特币 | 比特币脚本 | 常春藤郎,巴尔扎克 | 是的 | USA | USA | 2017.12 | 2017.12 |
| BitShares | ? | ? | 是的 | ||||
| 字节球 | 字节球 | JSON | 是的 | RU | 2016.12 | 2016.12 | |
| 卡尔达诺 | IELE | Plutus(受 Haskell 启发) | 不 | HK | 瑞士 | 2015 | |
| 交易对手 | ? | ? | 是的 | ||||
| Corda | ? | ||||||
| DFINITY | EVM? | 以太坊兼容(又名 Solidity、Serpent 等) | 否 | ||||
| EOS | EVM / eWASM | C/C++(编译为 WASM) | 是的 | 2018.06 | |||
| 以太坊 | EVM | 坚固性 | 是的 | CA | 瑞士 | 2014.04 | 2015.07 |
| 以太坊经典 | EVM | 坚固性 | 是的 | ^^^ | 不 | ^^^ | ^^^ |
| Exonum | ? | 生锈。 Java 绑定 TBD | 否 | UA | 荷兰 | 2017.07 | |
| 超级账本 | 沙盒 | ? | ? | ||||
| Lisk | N/A | JavaScript | |||||
| Nem | 奥夫奇安 | ? | ? | ||||
| Neo | NeoVM | 第1批:dotNet;第二:Java、Kotlin;第三:C、C++、GO、Py、JS (TBD) | 是的 | 中国 | 中国 | 2014.06 | 2016.10 |
| Neblio | ? | REST-API、Python、JS、.NET(C# 和 VB.NET)、Objective-C、Java、Node.js、GO、PHP | 是的 | USA | USA | 2017.01 | 2017.07 |
| NXT | ? | ? | 是的 | ||||
| OmniLayer | ? | ||||||
| 量子链 | EVM | 坚固性 | 是的 | 新加坡 | 新加坡 | 2016 | 2017.09 |
| 法定人数 | ? | ? | ? | ||||
| 基数 | ? | Scrypto(基于JavaScript/TypeScript) | 是的 | UK | UK | 2018 | |
| 砧木 | EVM | 坚固性 | 不 | 阿根廷 | 阿根廷 | 2015.11 | |
| Snax | EVM / eWASM | C/C++(编译为 WASM) | 不 | 2018.12 | |||
| 特所思 | ? | 迈克尔逊 | 不 | ||||
| Ubiq | EVM | 坚固性 | 是的 | CA | CA ? | 2017.01 | |
| 通用 | ? | ||||||
| 城市 | ? | 勋 | 是的 | ||||
| 波浪 | ? | _不适用_ | 是的 | RU | ? | 2016 | 2016.11 |
以太坊
以太坊是智能合约的标准,在其他平台中拥有最大的资本。 大多数代币销售都在以太坊平台上进行,代币格式最近标准化为 ERC-20。
由旅居加拿大的俄罗斯侨民之子维塔利克·布特林 (Vitalik Buterin) 创立。在瑞士注册成立。
文件:
合同示例:
以太坊经典
Classic 作为以太坊主链的一个分支出现(就在著名的 DAO 黑客攻击之后),由一个不同意的社区提出 改变区块链以取回被盗资金。 ETC 仍在智能合约世界中寻找自己的位置。一些工程变更仍在幕后进行 (例如,更改发射和难度重新定位算法),并且正在开发开发人员工具。 目前尚未进行大规模代币众售,但社区对此充满期待。
没有合并。
尼奥
NEO(以前称为 Antshares)是以太坊的中国版本。 Neo 是 SmartContracts 世界的主要玩家, 经常与以太坊进行比较。
第一批支持的语言已可供生产使用。第二个已部分准备好,第三个正在计划中。
文件:
乌比克
Ubiq 作为以太坊代码库的一个分支,具有多种调整功能,与 EVM 和 Solidity 完全兼容。
由 Ubiq 科技公司管辖
乌尔比特
合同示例:
砧木
Rootstock 是一个比特币侧链,添加了图灵完备的语言(支持智能合约)和能力 (最终)扩展到每秒 20k 笔交易。侧链应通过与常规比特币矿池的合并挖旷来确保安全。
Rootstock 深受社区欢迎,在比特币的所有第二层解决方案中被认为是 最接近完成的项目之一。
使用的语言应为Solidity,RSK VM与以太坊VM完全兼容。
文件:
卡尔达诺
卡尔达诺声称它是第一个使用可证明安全的权益证明算法的区块链。 Cardano 采用单独的层设计,其中第一层(又名结算层;PoS 区块链)已经上线(截至 2017.10), 和内部货币(Ada)被添加到交易所。
第二层(又名计算层)将使用受 Haskell 启发的脚本语言(称为 Plutus)运行智能合约, 并计划于 2018 年第一季度发布。
由卡尔达诺会、IOHK 和 Emurgo 管理。
文件:
埃克索努姆
Exonum 是一个用于创建区块链应用程序的可扩展开源框架。它的设计目的是
允许您、您的公司或正府构建量身定制的私有或许可的区块链。
因此,没有公共 Exonum 网络或交易 Exonum 代币。
Exonum 由 Bitfury Group 开发和支持。
Services are the main extension point for the Exonum framework. By itself, Exonum provides building
blocks for creating blockchains; it does not come with any concrete transaction processing rules.
This is where services come into play. If you want to create an instance of the Exonum blockchain,
services are the way to go.
Endpoints defined by services fulfill the same role as smart contracts in other blockchain platforms.
They define business logic of the blockchain, allow to retrieve data from the blockchain, and can be
reused across different projects. Partial analogies for this execution model are endpoints of RESTful
web services and stored procedures for DBMSs.
文件:
BitShares
BitShares 2.0是石墨烯技术的首次应用。
量子链
Qtum是一个混合区块链应用平台。 Qtum的核心技术结合了比特币核心的分叉, 账户抽象层允许多个虚拟机,包括以太坊虚拟机(EVM)和权益证明共识。
Qtum 智能合约旨在与现有的以太坊合约兼容。
Qtum的主要卖点是:可以执行智能合约的精简版移动浅包;与现有比特币 infrastructure/tools 的兼容性 (自从 Qtum 分叉了比特币,并打算采用大部分比特币 BIPs)。
Qtum 始于 2016 年,2017 年 3 月 Qtum 进行了众筹并分发了他们的代币。主网于2017年10月上线。
波浪
Waves 是专门设计用于发行代币(并运行 ICOs)的 PoS 区块链。一些最大的 ICOs 在 Waves 平台上运行。 用户还可以将资金租赁给矿工以产生利息。 还有一个具有抢先交易保护功能的去中心化交易所(DEX), 以及通用法定货币的门户。
非图灵完备的智能合约支持于2018年5月3日在TestNet上上线。
文件:
比特币
常春藤
Ivy:一种编译为比特币脚本的智能合约语言
文件:
在线工具:
巴尔扎克
Balzac:一种高级语言,用于编写交易、验证其正确性并将其编译成实际的比特币交易。
文件:
在线工具:
内布利奥
Neblio 网络拥有各种部署区块链技术的服务。简单来说,它是一个API套件、托管平台、 咨询服务商、节点部署基地以及私有链DApps。
Neblio 使用 RESTful APIs 为几乎任何语言提供最大的兼容性。
文件: