Legalese获得赞助用于修复智能合约

Legalese获得赞助用于修复智能合约

暴走时评:The DAO众筹项目曾经承载很多的期待,可是智能合约的漏洞导致资金被盗,系统崩溃,大大地打击了区块链社区。虽然之后多次提出修复方案,可是难挽颓势。为了避免将来再次发生类似情况,社区积极寻求技术完善。初创企业Legalese就获得String Labs赞助,用于完善智能合约编程语言。今后String Labs会持续为区块链社区提供更多赞助。

翻译:Annie_Xu

“快速行动敢于突破”的信条也许适合传统软件,但是The DAO失窃事件显示,这个方法也许不适用于试验性金融技术。

不过The DAO事件之后,开始有人尝试解决智能合约开发者遇到的挑战;智能合约是这个项目的核心区块,其漏洞也正是导致该项目失败的主因。

其中包括初创企业Legalese,这个企业参加了JFDI Asia加速器,而且JFDI的著名联合创始人也加入了该公司。

Legalese是Virgil Griffith和Wong Meng Weng联手创办的,专门为智能合约编写新编程语言的开源项目。这个语言称为L4,是为了帮助编码员在合约生效前完成严格检查。

Legalese获得赞助用于修复智能合约

Griffith说,自治金融项目String Labs为Legalese提供了8888美元的赞助,这样公司就可以与业界领导者共同推进项目了。

“它的基本概念是,我们想为法律撰写编程语言。它主要是用数学方式来描述关系与责任”。

Wong和Griffith曾搭建邮箱基础设施RFC4408,这次他们用modal mu-calculus论证系统打败其他30多个应用,获得本次赞助。


新的编程语言

Legalese的旗舰产品是L4形式语言,让编程员简单地完成公用智能合约发布,无需事先检查合约内容。

该项目主管说,编码员可以用L4进行编程,然后转换成Solidity——以太坊的新编程语言。之后把这个语言编译成以太坊虚拟机(EVM,读取和处理动态指令的协议组件)可以读取和解析的字节码。

这个项目的首个产品是软件即服务应用(software-as-a-service),帮助企业家完成种子轮融资或天使投资需要的文书工作,包括股东协议加密、企业解决方案、企业决议、权利声明。

Legalese获得赞助用于修复智能合约

String Labs联合创始人兼区块链大学(Blockchain University)联合创始人Tom Ding说,未来Legalese会避免发布有漏洞的代码,以防黑客攻击。

“撰写合约的时候都希望避免漏洞、律师用自己的教育经历捕捉漏洞,智能合约也同样应该这样”。


长期赞助项目

String Labs宣布,链上信用记录初创企业Distory也获得了10000美元赞助,用于搭建国际通用的信用记录系统。

然后智能合约可以用这些记录进行线上线下借贷。

Ding说:

“最终的想法是降低交易成本”。

Legalese是Distory首批赞助获得者,Ding希望String Labs可以成为公有区块链中长期的赞助项目。

+1
0


发表评论
相关文章
前特朗普顾问Steve Bannon计划推出功能性代币
前特朗普顾问Steve Bannon计划..
摩根大通提交分散式虚拟收据系统新专利
摩根大通提交分散式虚拟收据系统新专利
PlatON团队受邀出席Distributed 2018峰会 发布下一代计算架构PlatON
PlatON团队受邀出席Distribu..
俄罗斯加密货币矿工和持有人将受到现行法律监管
俄罗斯加密货币矿工和持有人将受到现行法律监管
越南距中止加密货币采矿机进口仅一步之遥
越南距中止加密货币采矿机进口仅一步之遥
韩国建立基于区块链的“建议评估系统”
韩国建立基于区块链的“建议评估系统”

热文

合作伙伴


万向区块链实验室 趣块链社区 万向新链加速器 布比 币看 云币 Stellar 矩阵金融 网录科技 Bitse sosobtc China Ledger