除了常规审计,Euler还用了Certora做形式化验证,这个我们之前也用过,形式化验证能帮助穷尽“已知”路径的覆盖范围,但是无法穷尽“未知的未知”.
FINA
原文:《GMX 的挑战者们》出品:DODO Research 编辑:Lisa 作者:Flamie 自 22 年 GMX 代币上线币安后,GMX 的各项数据接连创下新高.
撰文:Karen,Foresight News作为 Web3 世界最重要的基础设施和庞大流量入口,加密钱包对于 Web3 大规模采用的重要性不言而喻.
作者:Mike Wawszczak 翻译:卡丘zircon 文章来源:SeeDAO这是「 DAO 的法律实体结构」系列中的第一篇文章.
撰文:0xLoki 最近在推上和 Space 上和很多朋友讨论了 LSD 杠杆挖矿的问题,主要的问题在于:杠杆 Staking 高收益的本质是什么?风险点在哪里?杠杆 Staking 的高收益是.
作为万亿级别赛道,LSD板块乘着上海升级的东风获得了大量的关注,不仅龙头项目 $LDO $SSV 涨了很多.
原文来源:CryptoSlate美国商品期货交易委员会 (CFTC)已起诉全球最大的加密货币交易平台 Binance 及其首席执行官赵长鹏 (CZ),指控其允许美国人交易加密货币衍生品.
2023年3月27日,美国商品期货交易委员会(CFTC)宣布向美国伊利诺伊州北区地方法院提起民事诉讼,指控赵长鹏和运营Binance平台的三个实体多次违反《商品交易法》(CEA) 和 CFTC 规定。
Conflux代币CFX是今年表现最好的代币之一,自1 月以来最高涨了近20 倍,即使最近有所回落,也有逾16 倍涨幅.
原文作者:Ignas,DeFi 研究员原文编译:Leo,BlockBeatsPancakeSwap 刚刚推出了新的 V3 版本,也是 Uniswap V3 的一个分叉.
上海升级暂定于 4 月13 日进行,将首次允许验证者从信标链撤出以及提款。相关预期迭加,市场又一次将注意力聚焦于以太坊流动性.
文/Martin Lee,Nansen;译/金色财经xiaozou区块链在现实世界中的使用越来越广泛,区块链分析的重要性也随之增加.
文章作?者:??0xShadow现在是2077年,我们进入了新产权时代,通过在元宇宙建立新的秩序,我们为所有人构建了对抗资本垄断的工具-全民公有土地,利用哈伯格税实现全民UBI.
原文:《别再只盯着Layer2空投,Layer 1 或将风云再起》作者:比推BitpushNews Asher Zhang哪些Layer1项目值得关注?加密大V都看好哪些项目?这些项目大热背后的.
撰写:Asif Khan本文将分享一些还没有发行代币的新型原生 zkEVM 协议,未来它们完全有机会成为市场的主流。zkEVM 向我们释放了一个新的生态系统,它建立在最前沿的 zk 执行层上.
撰写:blocmates随着四月份的到来,故事远未结束,在前四天里,就已经出现了许多惊人的事件。三月份真是一场疯狂的旅程.
进入2023年,国内元宇宙政策延续了2022年的快速增长势头,国家级和地方层面的产业扶持政策和项目不断落地,为元宇宙产业发展奠定了坚实基础.
本文来自币安,原文作者:CZ3 月 27 日晚间,彭博社披露美国商品期货交易委员会(CFTC)在芝加哥联邦法院对加密货币交易平台币安及其首席执行官 CZ、第一任首席运营官 Samuel Lim.
原文:lattice 摘要: 由于需要直接与基本协议层(L1s)进行交互,构建和使用加密货币仍然非常困难.
文章作者:Riyad CareyBinance以巨大的优势成为世界上最大的加密货币交易所。自2017年成立以来,它取得了持续的增长,但自2020年以来,其日益增长的主导地位令人瞩目,当时它占据了.
▌AI社交资讯流媒体Techub.NEWS产品正式上线据官方消息,AI社交资讯流媒体平台Techub.NEWS今日在香港数码港举办首届新闻发布会,标志着产品的正式上线.
Binance 以巨大的优势成为世界上最大的加密货币交易所。自 2017 年成立以来,它取得了持续的增长,但自 2020 年以来,其日益增长的主.
截至目前,美国针对 Web3 虚拟资产行业尚未形成统一的监管框架,呈现“多头监管”的态势,主要在联邦和州这两个层面进行监管,并由以美国证券交易委员会(SEC)为代表的金融监管机构.
ZK领域头部专家在本文中分享了零知识证明协议在机制设计和工程建构上的安全原则与新颖方案,以及在设计过程中的种种权衡。 近日,zkSync和Polygon都推出了各自的zkEVM,掀起了一波行业的热潮。与此同时,社区对于zkEVM的安全性和去中心化也有了很多讨论。
Intro 2023年4月13日,以太坊计划执行上海升级,海量质押ETH即将解锁,其导致的极限抛压究竟有多大?抛售行为又会持续多久?质押ETH提款须更新取款凭证以太坊上海升级将允许验证者提取存入.
头条 ▌CZ回应遭起诉:忽略FUD金色财经报道,CZ回应“Binance及其CEO因违反监管规定被美CFTC起诉”事件时,引用其年初发布的“2023专注目标及建议”的第四条款作出回应.
zkSync是由2018年成立的区块链技术公司Matter Labs开发的第二层(L2)扩展解决方案.
如何利用区块链和智能合约技术构建出十亿用户的 Web3 社交图谱?随着埃隆 - 马斯克最近接管了 Twitter,关于从大型社交网络迁移到独立或开放的替代方案的讨论已经越来越多.
金色财经 Jessy 美国商品期货交易委员会(CFTC)在当地时间周一向法院提起对 Binance 的民事诉讼.
原文来源:The Block 原文编译:白泽研究院 商品期货交易委员会(CFTC)周一向美国联邦法院对加密货币交易平台 Binance、其创始人兼首席执行官赵长鹏“CZ”和首席合规官 Samue.
▌ 以太坊基金会研究员披露质押以太坊或会泄露用户IP地址等信息4月14日消息,以太坊基金会研究员Justin Drake透露,ETH质押者的IP地址作为元数据集的一部分受到了监控.
本文来自:substack,原文作者:Sitesh Kumar Sahoo、Yash Agarwal 和 Anna YuanOdaily 星球日报译者 Moni Solana 拥有一个蓬勃发展的.
撰写:The DeFi Investor2023 年将是一个关键的转折点,有六个重要因素将推动以太坊及其二层扩展更接近于大规模采用。让我们来看看这些因素是什么.
原文作者:The DeFi Investor当下,zkSync 生态系统正准备迎来爆发式增长,而现在正是加入的最佳时机.
据慢雾区情报,2023 年 4 月 13 日,去中心化收益聚合平台 Yearn Finance 遭到攻击,攻击者获利超千万美金.
3月28日,工业和信息化部科技司就《区块链和分布式记账技术标准体系建设指南(2023版)》(征求意见稿)(以下简称《建设指南》)公开征求意见.