【Kcash】为什么我们不用图灵完备的智能合约?

话说女娲补天时遗留下来一块石头,它吸取日月之精华,见风而成猴形,终于在一千多年前,一道晴天霹雳,美猴王问世了。在花果山占山为王三五百载,后为了寻求长生不老的方法,历经八九载,跋山涉水,在西牛贺洲灵台方寸山斜月三星洞拜须菩提老祖为师,习得地煞七十二变和筋斗云,并首次取姓为孙,取名悟空。

此后,孙悟空为了寻一件称手的兵器,大闹东海龙宫,终寻得天河定海神针如意金箍棒,因阳寿已尽而大闹地府,修改了生死簿,返回人间。后来孙悟空第一次受天界招安,封为弼马温。因嫌官小受骗受辱,反叛下凡,自封为齐天大圣。后被天界第二次招安,又偷吃蟠桃、御酒、仙丹,继续大闹天宫,被如来佛祖压于五行山下五百年(山上贴有唵嘛呢叭咪吽六字真言)。

五百年后唐僧西天取经,路过五行山,揭去符咒,才救下孙悟空,收起为徒弟。同往西天取经。取经路上,孙悟空降妖除怪,屡建奇功,然而数次被师傅唐僧误解、受到紧箍咒的惩罚,两次被驱逐。历经八十一难,终于大功告成,师徒四人到达西天雷音寺,取得三藏佛经。孙悟空修得正果,加封斗战胜佛。

故事来源:维基百科


图灵完备:没被带上紧箍咒的孙悟空
非图灵完备:带上紧箍咒的孙悟空

为什么图灵完备的智能合约有巨大安全风险?

首先一个图灵完备的语言意味着,一台计算机可以通过执行这个语言,来完成任何计算机可以完成的任务,也就是说这个语言可以把计算机的能力发挥到最大化!然而这中间存在一个问题,就是当图灵完备的程序写好之后,一旦开始运行,就像没被带上紧箍咒的孙悟空一样,除了如来佛(下线),没人能制服它。它意味着脚本(程序)复杂的无限性,交易可执行的次数也无限,会摆脱人类的控制,有可能导致陷入死循环或系统崩溃。

同时产品在使用的过程中,肯定是需要不停的优化、改进,如果做不到这一点,被淘汰掉是早晚的事!如果没有唐僧给孙悟空带上紧箍咒,时刻提醒他该做什么,可能孙悟空还会再次被压在五指山下面,或许就不是 500 年了。有哪个公司不希望自己做出来的产品,不断迭代精进呢?

所以 Kcash 选择了图灵非完备的智能合约,给智能合约戴上了紧箍咒,加了一些限制条件,不会让它陷入死循环导致系统崩溃,而是保证每段代码都有运行完毕、看到结果的时候!而且可以不断升级,在保证用户资产安全的同时,还给用户带来更好的体验。或许你会以为这不是违背了去中心化的思想了吗?但是世上总有很多事情无法做到两全其美,就像鱼与熊掌不可兼得一样,在选择与放弃之间,我们总得深思熟虑、权衡利弊之后,再做决定。

一点浅见,如果表达有误,欢迎指正!

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 162,710评论 4 376
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 68,839评论 2 308
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 112,295评论 0 255
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 44,776评论 0 223
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 53,198评论 3 297
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 41,074评论 1 226
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 32,200评论 2 322
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 30,986评论 0 214
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 34,733评论 1 250
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 30,877评论 2 254
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 32,348评论 1 265
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 28,675评论 3 265
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 33,393评论 3 246
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 26,209评论 0 9
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,996评论 0 201
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 36,212评论 2 287
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 36,003评论 2 280