ERC-4337提议了账户抽象的概念,旨在简化以太坊账户的管理,为传统账户和智能合约账户提供通用界面,改善用户体验并提高安全性。文章详细讨论了当前钱包解决方案的不足,解析了账户抽象的优点、安全考虑及其运作机制,目的是为了使以太坊的使用者体验更流畅且易用。
这篇文章讨论了如何发现和修复区块链项目中的安全漏洞,特别是Premia Finance的一个例子。文章深入探讨了寻找目标、研究方法、发现和修复漏洞的过程,强调了了解项目机制的重要性和不同协议的风险评估。
本文深入探讨了零知识证明(ZKP)的不同应用,包括ZK支付、ZK硬件加速和zkVMs,强调了如何通过ZK技术提升区块链交易的隐私性和效率。文章详细介绍了ZK支付中的私密交易机制、使用特定硬件加速证明生成的优势,以及zkVM的通用性和实现原理,展现了零知识技术的广泛应用潜力。
这篇文章深入探讨了去中心化金融(DeFi)中的抵押债务头寸(CDP)和借贷协议的主要安全问题,通过多个经典黑客案例分析了价格操控、重入攻击和输入验证不足等漏洞,并提供最佳实践以避免这些安全隐患。
本文介绍了最近发布的Cairo 1.0,Starknet的原生编程语言,重点关注其安全特性以及在Starknet上编写合约时可能遇到的陷阱。通过具体的代码示例讲解了如何编写Starknet智能合约,并指出了潜在的安全问题,如溢出、重入和存储冲突等。作者还提到了Cairo 2.0即将发布的改变,旨在增强语言的易用性和安全性。
本文讨论了以太坊上的最大可提取价值(MEV)及其相关的安全问题,包括常见的攻击方式和智能合约中的气体优化缺陷。通过对一个存在气体优化漏洞的MEV机器人的分析,展示了如何利用其漏洞进行恶意操作,并介绍了如何在避免被MEV机器人影响的情况下保护普通用户的策略。
本文深入探讨了针对ZK友好哈希函数的多种代数攻击,包括插值攻击、GCD攻击和格布尔基攻击等。文章首先介绍了这些哈希函数的设计原理及其安全性,随后详细分析了各类攻击的机制及其对哈希函数安全性的影响。通过实例化具体攻击,强调了在设计安全算法时必须考虑的潜在弱点与新兴攻击方式。
这篇文章深入探讨了零知识证明(ZKP)及其在区块链技术中的应用,特别是 zkSNARKs、zkEVMs 和 zkBridges。
ERC-4626是一个标准,用于定义代币化的收益型保险库,以便降低集成难度并创建一致且稳健的实现模式。文章详细讨论了ERC-4626的背景、核心功能及其在DeFi领域中的重要性,强调了标准化对于减少安全风险和促进跨协议集成的重要性。文章还通过Rari Capital和Cream Finance事件,说明缺乏标准化可能导致的安全问题。
本文探讨了ZK-friendly哈希函数的设计原则和性能,详细介绍了几种AOC(算术化导向密码)。文章分析了MiMC、Poseidon、Vision和Rescue等多个哈希函数在SNARK和STARK协议中的效率,强调了在不同上下文中选择合适哈希函数的重要性,同时也提及了新提出的高效哈希函数如Anemoi和Griffin。