LUNA:如何为你的智能合约“上保险” 形式化验证了解一下?

Coinbase Wallet推出交易模拟功能,可了解智能合约代码如何处理加密资产:金色财经报道,据 Coinbase Wallet 社交媒体账户透露,Coinbase Wallet 已推出交易模拟功能,通过自动模拟兼容 EMV 网络上授权交易时将执行的代码,用户可以了解哪些资产将离开自己的钱包,以及收回相关资产的近似估值。Coinbase 表示,该功能的主要目的是让用户清楚地了解区块链应用程序或智能合约将如何处理他们的加密资产。[2022/11/21 7:52:42]

成都链安最具实力“单品”之一

维珍银河董事长:PayPal消息传出后各大银行讨论如何支持比特币:维珍银河董事长Chamath Palihapitiya今晨发推表示,PayPal消息传出后,各大银行都在开会讨论如何支持比特币。它不再仅作为一个选项。[2020/10/22]

链必验 v3.1 强势进阶

目前已开启第一批试用

别犹豫,请立刻添加“链安田大侠”的微信

现场 | 以太坊行业峰会第一场圆桌 如何应对智能合约安全问题:金色财经9月8日现场报道,Loi Luu (KyberNetwork 创始人)、Shawn Douglass

(Amberdata 联合创始人兼CEO)、Jay Zhou (Loopring Protocol 联合创始人)、Alan Li (FBG X 研发部负责人)、Antoine Cote (Enuma Technologies 联合创始人兼CEO) 参与了讨论,嘉宾们一致认为,由于智能合约涉及资产交易且不可篡改,一旦发生安全问题将引起资产严重受损,关注智能合约安全是必要的。Loi Luu指出,区块链行业项目方,需要为开发者设立预警机制。开源代码要引入第三方检测,避免犯一些显而易见的错误。

Jay zhou认为,需要更有经验的开发者去开发用户易用、以人为本的合约,同时也有必要引入交叉审计。

Shawn Douglass说:“因为智能合约的不可篡改性,在程序员开发前,就必须告知开发者未来可能造成的后果,特别是在涉及资产的领域必须确保事前万无一失甚至考虑保险。”

Antoine Cote表示,可以在早期时候引入悬赏机制让黑客或者社区成员共同发现漏洞。大家讨论后得出共识,每一个开发者都必须在开发速度和安全性之间做一个平衡。在区块链领域,注重安全和责任心是必须的。[2018/9/8]

让他给你发试用链接

更多阅读

1 链必验V3.1版本上线 | 找100人,试试冰山力量

2 智能合约自动检测工具『链必验』,如何带你解锁Web3.0世界

3 从DeFi、NFT到Web3.0,为什么都离不开智能合约?

听说“牛逼的朋友”都会默默点击关注

媒体矩阵

新浪微博

weibo.com/u/6566884467

百家号

http://mtw.so/5xn0jG

头条号

http://mtw.so/5N5Oyd

搜狐号

http://mtw.so/6o0u4A

知乎

http://mtw.so/5ULxuQ

B站

https://space.bilibili.com/2093257939

↙点击阅读全文

立刻直达官网

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

币赢区块链:密西西比大学法学院教授:区块链如何解决数字殖民主义?

本文转自公号:老雅痞(laoyapi) 区块链在供应链物流中的应用要使全球高收入国家和全球中低收入国家都受益,就需要让全球中低收入国家的参与者能够使用区块链技术,并采取措施减少被利用的可能性。 作者:密西西比大学法学院副教授 Antonia Eliason 注:全球南方国家是指中低收入国家,全球北方国家只指高收入国家。

[0:0ms0-3:215ms