2217 天前

09月10日,星期一 02:11

猎豹区块链研究中心专家:智能合约自动化审计存在三大问题

9月10日讯,据36kr报道,近日猎豹区块链研究中心安全专家杨文玉在关于如何有效保障海量智能合约的安全的问题时表示,最好的方法是降低人工审计复杂度,采用智能合约自动化审计。即主要通过特征代码匹配、基于形式化验证的自动化审计方法、基于符号执行和符号抽象自动化审计这三类方法。此外,她也指出,现在自动化审计方法处于一个很不成熟的阶段,主要面临三大问题:误报率高,自动化程度低、依赖人工二次审计,审计时间比较长。(责任编辑:翟睿聪)

1
0
  • Coinlist CEO称EigenLayer没有抓住发布“合法代币”的机会

    火讯财经讯,10月6日消息,Coinlist首席执行官RaghavGulati在X发文解释如何推出一个“合法代币(legittoken)”,并称EigenLayer没有抓住这个机会。此外,RaghavGulati提供了一些建议供社区学习借鉴: 1、社区需要感觉自己是内部人士,应该为最好的社区成员进行积极的内部销售,折扣幅度更大,可以选择500-2000人,给他们有意义的股份,甚至可以为这个群体做一个定制NFT; 2、对于其他人,给他们一个公平的社区轮预发布价格; 3、保持透明,不要搞恶作剧,有二级市场吗?锁定的持有者可以质押吗?是否每个人都应该知道“奇怪”的做市商交易? 4、说到归属,不相信第一天就能100%解锁,因为团队绝对应该进行持续代币归属,数据显示,销售参与者/社区应该获得权益,投资者和合作伙伴应该获得权益吗?很可能不应该。

    18 分钟前

  • 以太坊巨鲸vladilena.eth于11小时前向币安充值3000枚ETH

    火讯财经讯,10月6日消息,据@ai_9684xtpa监测,11小时前以太坊巨鲸vladilena.eth向币安充值3000枚ETH,价值约合725万美元,疑似卖出,该巨鲸在过去17小时内将15033枚weETH(约3639万美元)兑换为ETH后存入Aave,并将其中三千枚转移至交易所,目前Aave共存有20,000枚ETH。

    18 分钟前

  • Puffer Finance:PUFFTOBER活动快照已完成

    火讯财经讯,10月6日消息,再质押协议PufferFinance在X平台发文宣布,PUFFTOBER活动的快照已完成,并配文“你准备好迎接PUFFER代币了吗?” 此前消息,PufferFinance宣布推出PUFFTOBER活动,活动期间,每新增1万ETH存入,$PUFFER的社区分配将增加0.1%。其中70%的奖励将分配给新质押者,剩余部分归于已有用户。

    48 分钟前

  • 市场消息:特朗普重返“未遂刺杀”地举行竞选集会,Elon Musk与其同框

    火讯财经讯,10月6日消息,据美国有线电视新闻网(CNN)、法新社等媒体报道,美国前总统、共和党总统候选人特朗普当地时间周六(5日)重返宾夕法尼亚州巴特勒市并举行了一场“备受瞩目”的竞选集会。报道提到,今年7月,特朗普曾在该地遭“未遂刺杀”。另据CNN报道,当天,美国亿万富翁ElonMusk受邀参加了上述竞选集会,并上台与特朗普同框。据悉,ElonMusk还将其X账户头像更换为带有美国大选元素个人照片,背景为美国国旗,主体为个人照片并戴有“MAKEAMERICAGREATAGAIN”字符的黑色帽子。

    1 小时前

  • 加密数据追踪服务Spot On Chain的X账号疑似被盗

    火讯财经讯,10月6日消息,加密数据追踪服务SpotOnChain的X账号疑似被盗,据悉该账号今晨发布了虚假EIGEN空投钓鱼链接,同时关闭了推文评论区,用户需警惕访问。

    1 小时前