区块链新闻
-
MPC引爆信息安全全生态
区块链是一种链式结构,是将数据块遵循时间顺序组合并与密码学、共识机制、智能合约等技术结合所形成的一种去中心化的公共账簿技术。区块链技术极大限度弥补了传统技术数据容易被篡改盗用和真实性不足等问题,可以...
-
Eunex——专注造星,投资首选
如今虚拟货币投资的热潮持续高涨,曾辉煌一时的老牌虚拟币交易所Eunex,在历经一段时间的浮沉后,凭借其管理团队的坚韧不拔与志高气扬卷土重来,再度回到一线交易所行列,单日交易量近乎突破百亿,迅速成为圈中热话。 ...
-
姚前:基于区块链的信息基础设施建设潜力可期
今日,国务院参事室研究员、前中国人民银行数字货币研究所所长姚前发文《区块链建设在疫情防控中的作用和价值》。文中提到,相较于已趋于饱和的铁道、公路、机场、港口、电力等传统基础设施建设,5G、人工智能、...
区块链应用创新
-
ATK全球震撼开启,文娱产业重获新生
2020年初,随着一场新冠肺炎的全球蔓延,实体行业遭遇经营压力和瓶颈。然而,疫情之下,区块链行业却逆势增长,有统计数据显示,2020年2月,全球披露的区块链应用项目明显增多,环比增长27.6%。区块链技术应用的...
区块链技术创新
-
南卡罗来纳州参议院将区块链视为关键的新兴技术
南卡罗来纳州参议院通过了一项决议,承认区块链技术的潜力。 该州对新兴技术的新推动 该法案被称为“参议院决议案,以承认新兴的区块链技术的重要性,并呼吁南卡罗来纳州的居民加入以鼓励在我们州...
卡尔达诺为金融交易推出智能合约
发布时间:2018/08/26 区块链技术创新 浏览:998
Marlowe是卡多诺的一种新的智能合约语言,主要针对区块链的金融合约,几天前就被曝光了。该语言由IOHK的研究人员开发,IOHK是区块链Cardano的主要开发者和维护者。
在白皮书中,编程语言被描述为在Haskell中被建模为代数类型,以及可执行的小步骤语义。该语言是针对特定领域的,并希望Marlowe将用于金融行业的托管和结算等事务。在该文件中,还发现可以将用Marlowe编写的合同编译成用以太坊和其他系统编写的智能合同。
除了Marlowe的发布,IOHK还发布了Meadow,这是一个允许用户在浏览器窗口中可视化和测试不同智能合约代码的工具。 Meadow本身已经用Haskell编写并编译成JavaScript。该工具使用户更容易理解智能合约的运作方式,并允许用户逐块模拟和分析他们的智能合约。
IOHK最近开展的其他改进包括Project Icarus,这是一款轻量级钱包,将作为Cardano钱包参考实现。同时正在开发的是Yoroi,一个轻量级钱包,作为Chrome扩展程序运行。
卡尔达诺似乎在不断进步,随着智能合约的实施,IOHK进一步采取了卡尔达诺。 IOHK首席执行官,卡尔达诺和以太坊联合创始人查尔斯·霍斯金森也看到了未来,并认为卡尔达诺最终将成为一个万亿美元的经济体。
什么是卡尔达诺?
https://input-output-hk.github.io/scdsl/
https://iohk.io/research/papers/#2WHKDRA8
为区块链设计DSL以获得金融合约:Marlowe。
– 在Haskell中定义Marlowe的可执行,小步语义。
– 让Marlowe成为Haskell中的嵌入式DSL。这扩展了语言的可表达性,因为我们可以使用Haskell的所有功能来定义Marlowe合同;我们通过将Marlowe定义为Haskell数据类型来实现这一点。
– 开发Meadow工具,允许用户与Marlowe合约和嵌入式Marlowe合约的操作进行交互并模拟其运作。
许多人一直想知道伊卡洛斯是什么。 Cardano的博客将Icarus称为镀铬扩展,并且是“由IOHK开发的轻量级钱包的参考实现”。