• 为什么是 Move 之编程语言的生态构建

    作为一个 Move 的鼓吹者,每次给开发者推广 Move 的时候都会遇到这样的问题。Move 有什么优势吗?为什么是 Move?就像你给好友介绍自己的新恋人,总会遇到类似的问题。但这种问题其实不易回答,如果一条一条列举优缺点,总是会有人质疑,毕竟新语言的生态都不成熟,选择只能基于它的潜力来判断。我先说一个论断: Move 是最有潜力构建出 Solidity 这样的生态系统,甚至超越的智能合约编程语言。

    目标读者:开发者以及对区块链领域的技术感兴趣的朋友。本文希望尽量以通俗的方式说明智能合约当前遇到的难题以及 Move 的一些尝试,尽量少用代码,期望不懂编程语言的朋友也能大致理解,但这个很难,希望读者给一点反馈。

    Read more...
  • 从智能合约的演进看 Move 的架构设计

    本文首发于 Westar 实验室博客

    智能合约是区块链领域大家一直比较关注的主题,本文试图从智能合约的演进角度分析 Libra 的 Move 合约要解决的问题,以及其架构设计,也就是回答『 Libra 为什么要重新设计一种编程语言?』这个问题。

    Read more...
  • 开启比特币智能合约的「三把锁」

    本文首发于币信研究院公众号,是李画和我的一个访谈文章,探讨比特币的智能合约。

    Read more...
  • 智能合约到底是什么?

    区块链的『智能合约』是一个容易引起争议的概念,一次 Vitalik 也说后悔用智能合约(smart contract)这个名字了,不如当初叫 “persistent scripts”,大约是为这个概念吵累了。有人也问这玩意就一是一段程序脚本,哪里智能了?但如果这样说,大约现在命名为『智能』的东西没有一个配得上吧,智能手机大约可以叫做可以自由安装软件的手机?何况英文的 smart 和 intelligent 在中文中都翻译成『智能』,这更是容易引起误解。

    所以那次争论中,也有人建议叫做 “stored procedures”,就是数据库的存储过程。如果把区块链看做一个分布式数据库的话,从技术实现上来看,智能合约确实很像数据库存储过程。使用一种新的编程语言也不是更本区别,如果使用更通用的 VM,可以和其他的程序使用完全一样的编程语言。另外大家常说的确定性(deterministic),实际上也是图灵机本身具备的特性,只要不引入随机机制,也很难写出不 deterministic 的程序。那为什么新造出个词汇呢?套用一句俗话,我们在谈论『智能合约』的时候,到底指的是什么?

    Read more...
  • 我看知识付费

    最近朋友圈因为罗振宇的跨年演讲两级分化严重,引发了朋友圈转发斗文章大战。

    一派从罗振宇的演讲中感受到了知识,力量以及趋势,另外一派则认为是忽悠,鸡汤和骗局,还有一部分吃瓜群众不知道支持哪边好,好像都有点道理,或者两边都有熟人,抹不开脸,于是作壁上观。

    Read more...
  • 通过 ofo 退押金事件看区块链二层解决方案

    最近几天 ofo 退押金一直是个热门话题,据说排队退押金的人已经超过 1000 万了。

    像 ofo 这种退押金机制的关键问题是退押金必须和商家协作完成,如果商家不协作,或者故意制造门槛,用户就很难退押金。当然更恶劣的情况就是直接跑路了,比如各种美容店,健身房卷了会员充值的钱跑路的例子。

    从法律角度说,用户给服务方的押金以及充值,都是服务方代管的资金,当用户没发生实际消费之前,服务方无权动这些资金。但钱都转到人家帐上了,如何防止被挪用?

    那能不能设计一种非协作式退款提现机制,把充值资金托管给有公信力的第三方,比如银行,然后用户退款的时候直接和银行交互,无需商家协作?比如直接拿从银行给商家充值的订单退款? Read more...

subscribe via RSS