暴走时评：
韩国区块链创业公司BlockchainOS在募集了300万美元的资金后，计划建立一个平台解决原有的智能合约所存在的问题，采用OWL和TAL编写新型的智能合约，使人们能够在代码运行之前轻松验证合约功能。BOScoin将通过两款应用软件推出，其最初版本将于3月底发布。希望它能够为区块链注入新的活力。
翻译：Ina
BlockchainOS（BOScoin）是韩国第一个公共区块链项目，在pre-ICO期间募集了300万美元资金，用于建立一个平台，旨在解决当前集中式系统中的许多问题并为智能合约引入一种新方式。
BOScoin试图向以太坊*另一种选择，因为“以太坊所基于的图灵完备语言*的自由和灵活正是几个严重问题的根源所在。”
白皮书中写道：
“我们认为使用图灵完备语言编写智能合约是不妥的，因为它们从本质上来说是不可判定的。由于这种不可判定性，基于图灵完备语言的智能合约使人们在运行它之前很难知道它能做什么。”
“以太坊试图通过增加计算工作（气体）预算来解决这个问题，然而这是用来编写和执行智能合约的语言所固有的问题，会不可避免地导致一系列安全漏洞和彻底失败的项目的出现，如DAO。”
BOScoin解决该问题的方法是使用一种特定领域的语言，这种语言可以轻易地为普通用户所读懂，并且可以在数学上证明智能合约的执行在计算上是可判定的。
这些智能合约被称为信任合约，以本体论为基础，通过语义语言OWL（网络本体语言）和TAL（定时自动机语言）的结合设计而来。
这允许用户以人类可读的语言编写智能合约，以便任何人都可以在代码运行之前轻松验证合约功能。
BOScoin还有一个用于区块链管理的“国会系统”，其中构成会议网络的节点运营商可以参与创建提案并进行投票，以改进软件和生态系统。BOScoin留出一笔称为共同预算的公共预算，分配给通过的提案使用。
BlockchainOS的CEO朴昌基表示，“BOScoin的目标是成为现实世界商务运营的平台，而不仅仅是依靠投机性价值存在并随着时间消逝。”
BOScoin将通过两款应用软件推出：
Stardaq是一个关于公众人物的国际预测市场。名人的受欢迎程度以指数的形式表现出来，用户可以使用BOScoin对名人的受欢迎程度将上升还是下降进行下注。目前已经开发了这款移动应用的初始版本。
Delicracy是一种集体决策工具，可以在任何组织中使用。所有用户都可以通过向一组提案投注来参与决策过程，类似于Augur预测市场。
BOScoin的最初版本将于2017年3月31日发布。
来源：铅笔网
北京时间2017年3月16日15:04，据数字资产交易平台CHBTC的数据显示，BTC价格报7911，ETH价格报239.21，ETC价格报13.28，LTC价格报27.86。
