码云推荐 | 可实现智能合约的类 Lisp 语言 tlang

栏目: Lisp · 发布时间: 6年前

内容简介:一个类lisp语言我准备去除区块链的虚拟机,因为虚拟机不是必要的,改以解释执行类list语言的形式表达智能合约,然后提供标准交易模板,普通交易使用交易模板进行,有复杂逻辑的交易由应用者使用tlang语言书写逻辑表达(也可以使用面向java、.net、js、go等语言的sdk书写,使用sdk书写的程序会自动翻译为tlang)。这个合约的逻辑是:要么知道我的birthDay是2017-06-23 要么 给出pubKey和用对应的私钥对你的pubKeyHash的签名。

tlang

一个类lisp语言

我准备去除区块链的虚拟机,因为虚拟机不是必要的,改以解释执行类list语言的形式表达智能合约,然后提供标准交易模板,普通交易使用交易模板进行,有复杂逻辑的交易由应用者使用tlang语言书写逻辑表达(也可以使用面向 java 、.net、js、 go 等语言的sdk书写,使用sdk书写的程序会自动翻译为tlang)。

案例

下面是用tlang书写的一段合约逻辑

这个合约的逻辑是:要么知道我的birthDay是2017-06-23 要么 给出pubKey和用对应的私钥对你的pubKeyHash的签名。

由合约调用者传入的三个参数赋值下面三个变量。

合约定义方定义逻辑,合约调用方定义数据。

合约调用方提供数据:

(define birthDay "{birthDay}")
(define pubKey "{pubKey}")
(define sign "{sign}")

上面的键值对来自合约调用者,数据是键值对,执行时直接把键值对加入作用域不需要拼代码从而没有注入代码的可能。

下面三行是智能合约的逻辑,这三行是死的不会被调用者注入代码。

合约定义方定义的逻辑:

(define pubKeyHash="8658cefd0c1cf0ff294d14a66278f5a5490a1f8e")
(define myBirthDayHash="d4a0f6c5b4bcbf2f5830eabed3daa7304fb794d6")
(or 
	(= (hash160 birthDay) myBirthDayHash) 
	(and 
		(= (hash160 pubKey) pubKeyHash) 
		(= (decrypt pubKey sign) pubKeyHash)))

and = hash160 or decrypt是系统函数。

如果提供checksig系统函数的话(= (decrypt pubKey sign) pubKeyHash)也可以是(checksig pubKey sign pubKeyHash)。

ps:话说,这个案例不好,因为生日可以被枚举出来,从今天往前推100年挨着计算每一天的hash然后跟myBirthDayHash比对的话就能取走被这个合约锁定的资产了。


以上所述就是小编给大家介绍的《码云推荐 | 可实现智能合约的类 Lisp 语言 tlang》,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持!

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

口碑

口碑

[美] David Meerman Scott / 高游、郭成钢、薛松 / 人民邮电出版社 / 2010-10 / 25.00

Web 2.0时代,怎样让你的产品或创意风靡一时,为百万大众喜闻乐道?本书将为你揭开其中的奥秘。作者将理论创新与实务操作相结合,总结出了利用Web 2.0营销手段制造网络狂欢效应的六条金科玉律,并介绍了一个个生动鲜活的成功范例,如:哈利?波特魔法公园如何策划一场小型活动,达到引爆网络热潮的效果;贝克?霍尔克拉夫特如何通过网络发布音乐作品,从默默无闻成长为全球炙手可热的明星;看似平淡无奇的电子书,如......一起来看看 《口碑》 这本书的介绍吧!

JS 压缩/解压工具
JS 压缩/解压工具

在线压缩/解压 JS 代码

RGB CMYK 转换工具
RGB CMYK 转换工具

RGB CMYK 互转工具