北京时间2023年6月18日,MidasCapital遭受攻击,攻击者已获利约60万美元。SharkTeam对此事件第一时间进行了技术分析,并总结了安全防范手段,希望后续项目可以引以为戒,共筑区块链行业的安全防线。
本文将从代码层面聚焦分析新推出的链上 Limit order 功能并与 iZUMi Finance 在 iZiswap 的链上 Limit order 做相应的对比,并探讨这一功能的更新对 DEFI 和未来 DEX 带来怎样的改变。
Web3 极客日报 1238
无疑,当下的加密市场处于深熊阶段,流动性萎缩叠加 SEC 监管升级都如同乌云笼罩在整个市场上空。与此同时,Uniswap 的交易量已经连续四个月超过 Coinbase,在监管压力之下,优秀的 DeFi 产品愈发证明其价值。时至今日,我们依然可以毫不吝啬地说,Uniswap 是以太坊上最伟大的用例之一
Web3 极客日报 1237
探索区块链技术的无限可能性,在这篇博客中,我整理了我在学习区块链技术过程中接触到的一些非常有价值的资源。这些资源按照我接触到的时间顺序排列,涵盖了各种主题,包括智能合约、DeFi、安全等,来自于全球各地的专家和爱好者们的贡献。无论你是区块链初学者,还是已经有一定经验的开发者,你都可以在这里找到有价值
本文使用create2创建合约、预测合约地址
本文是“STARKs中的算术化”系列的第二部分,详细探讨了预处理AIR(PAIR)的概念,该方法通过将多个不相交的约束合并为一个更大的约束来提高计算完整性。文章介绍了执行跟踪的定义,结合示例说明了如何使用选择器列进行约束的组合,并分析了该方法对后续低阶邻近测试的影响及其复杂性。适合有一定基础的读者,持续深入该领域的理解。
该文章详细介绍了Silo Finance中的一个严重逻辑错误漏洞,该漏洞可能导致黑客盗取价值300万美元的资产。作者分析了该漏洞的原理、攻击步骤及影响,并介绍了Silo Finance团队如何迅速修复该问题,确保用户资金安全。文章中包含了相关代码块、漏洞分析及修复措施,内容丰富且具有较高的技术深度。
以太坊的下一次升级主要是引入了EIP4844(Proto-danksharding), 这篇文章介绍了Proto-danksharding 是如何降低大幅 Rollup 的成本, 以及他有哪些局限性。
本教程详细介绍了如何从零开始构建一个高效的零知识Merkle树(ZMT)实现,并讨论了如何构建仅需要O(log(n))存储的仅追加Merkle树。文章还探讨了如何生成和验证批量更新的Spiderman证明,并提供了TypeScript的实现代码。
怎么从Ordinals NFT 铭文的原始交易数据解析出NFT图片?
Web3 极客日报 1236
这篇文章介绍了 V 规范语言,主要用于形式验证以证明程序逻辑的正确性。文章详细阐述了 V 语言的核心构建块—— V 语句,以及如何使用它们来指定智能合约的属性、合约不变性、方法合约和行为规范,强调了这些规范在开发安全智能合约中的重要性。
本文详细介绍了Medjai,一种用于寻找Cairo程序中的错误的符号执行工具。文章从Cairo语言的背景出发,深入探讨了零知识证明、Cairo工作流程、符号执行技术及其在实际开发中的应用,特别是如何帮助开发者发现Bug并验证修复。文章结构清晰,内容丰富,适合对区块链智能合约开发和安全感兴趣的读者。
以太坊的 101 关键知识点
本文将介绍第一个上线主网使用 zk-rollup 技术的二层网路 zkSync 从公链本身介绍到生态项目的发展,从基本面、数据面再到生态系做全盘的解析。
Polygon是一个去中心化的以太坊扩展平台,使开发人员能够以低交易费用构建可扩展的用户友好 Dapp,而无需牺牲安全性。Polygon计划成为以太坊上首个 Layer2 解决方案聚合器,为以太坊建设一个模块化、通用、灵活的扩容框架。
近期NOVA作为当前ZK领域热门的FoldingScheme解决方案,备受工业界追捧,该系列专题将逐一拆解它:PedersonandPoseidonR1CSNIFSCircuitRecursiveSNARKCompressedSNARK希望通过详尽且直白的逻辑能够把NOVA
本期文章我们继续介绍以太坊区块浏览器的其他功能。
扫一扫 - 使用登链小程序
116 篇文章,474 学分
406 篇文章,412 学分
171 篇文章,318 学分
67 篇文章,285 学分
121 篇文章,274 学分