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


发表评论
相关文章
IBM泰国推广AI和区块链技术创建区域销售中心
IBM泰国推广AI和区块链技术创建区域销..
韩国监管现状:银行被要求向加密货币交易所提供公平服务
韩国监管现状:银行被要求向加密货币交易所..
美国银行获得一项企业客户加密资产存储系统的专利
美国银行获得一项企业客户加密资产存储系统..
澳大利亚税务监管机构警告公民小心欺诈性纳税请求
澳大利亚税务监管机构警告公民小心欺诈性纳..
瑞士证券交易所:基于区块链的交易所将在10年内取代传统交易所
瑞士证券交易所:基于区块链的交易所将在1..
泰国证券交易委员会敦促公众规避无牌加密货币交易所
泰国证券交易委员会敦促公众规避无牌加密货..

热文

合作伙伴


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