DEN

火星币借着Euler黑客事件 聊聊DeFi的安全审计和安全

除了常规审计,Euler还用了Certora做形式化验证,这个我们之前也用过,形式化验证能帮助穷尽“已知”路径的覆盖范围,但是无法穷尽“未知的未知”。DeFi是一个开放系统,对于黑客(攻方)来说,它的输入是无限的,输出也是无限的.

LTCETHDenver2023参会指南

ETHDenver2023已于2月24日在美国科罗拉多州丹佛市开始啦!会议的核心活动将于北京时间3月3日至3月5日举行,将包括主题演讲、小组讨论和展示等。以下活动时间均为北京时间.

FTT融合环境与金融的可持续之路:ReFi能重塑Web3吗?

ReFi希望通过区块链技术将生态资产真实且不可篡改地迁移到在链上,上链后通过智能合约代币化生态资产,借助绿色公链使全球个体投资者能以去中心化金融的手段自由交易与借贷,以提高代币背后的生态资产价值.

火必Web3社区与文化:一场鸡与蛋的辩论

社区与文化 没有强大而积极的文化,就不可能拥有繁荣的社区。但什么是第一位的?两者经常被混淆为同一件事,然而,在建立和维持一个正和的飞轮动力方面,它们是相辅相成的,让志同道合的人一起完成伟大的事情.

区块链巨头倒下 加密市场的去中心化之路

加密市场中心化机构之间如同家族联姻一样,正在上演“一荣俱荣,一衰俱衰”的破产大戏,其不断冲击加密市场用户的信心,也冲击了中心化机构在加密市场的地位.

ADA谈以太坊的账户抽象化与ERC-4337

以太坊系统中实际存在两种类型的账户:一种是由私钥控制的外部账户(externally-owned account,EOA),比如我们所使用的钱包中的账户,这类账户都有自己的余额.

FIL币投融资活跃 多地出台政策推动元宇宙产业发展

元宇宙产业投融资持续活跃,近期多家元宇宙细分赛道公司宣布完成融资。数据显示,三季度国内元宇宙领域投融资事件总数为339起,较二季度增加188起,环比增长125%。从政策方面看,北京、上海、河南等地密集出台政策,支持元宇宙产业发展.

抹茶交易所专利分析:数字人民币与智能合约

移动支付网消息:7月16日,中国人民银行在官网发布了《中国数字人民币的研发进展白皮书》(以下简称“白皮书”),以阐明人民银行在数字人民币研发上的基本立场,阐释数字人民币体系的研发背景、目标愿景、设计框架及相关政策考虑.

LunaNFT租赁平台关门大吉 租借经济潜力在哪?

来源:老雅痞 NFT租赁平台Rentable在前几天宣布停止运营。虽然目前平台可以取款,但租赁功能现在已被禁用,用户可在10月13日前完成取款。在该日期之后,将启动紧急提款,并将代币发送给其各自的所有者.

FilNFT引爆市场的同时 也吸引大量的子和黑客

今年夏天NFT光速出圈,以OpenSea为例,NFT市场OpenSea目前的总交易额已突破50亿美元,其中约30亿美元的交易额是在八月一个月内完成的,超过此前交易额总和,足以见得NFT市场的火热.

[0:15ms0-18:122ms