本文介绍了有限域上的椭圆曲线,解释了其如何构成循环群以及其同态性质,并探讨了离散对数问题如何提供加密安全性。文章详细阐述了椭圆曲线在有限域上的点加法和标量乘法,以及椭圆曲线离散对数问题(ECDLP)的计算难度,这为现代公钥密码学奠定了基础。
本文深入探讨了椭圆曲线的数学结构、性质以及点加运算,并阐述了它们在密码学和零知识证明中的应用。文章介绍了椭圆曲线的定义、群的性质、点加法的几何规则以及射影坐标系中的无穷远点,为读者理解基于椭圆曲线的密码学原理及零知识证明技术奠定了基础。
本文介绍了同态的概念,即在代数结构之间保持结构的映射,允许在转换后的数据上进行操作,同时维护与原始数据的关系。同态对于零知识证明至关重要,因为它允许在不泄露原始值的情况下对加密或承诺的数据执行计算。文章还提供了群同态和环同态的例子,并解释了同态在零知识证明中的应用,如PLONK中使用的同态承诺方案。
Aave V3 是一个去中心化金融协议,旨在改进借贷效率、加强风险管理和提供更大的灵活性。它通过引入虚拟会计、E-Mode、隔离模式和改进的利率模型等关键特性,优化了资本效率,并通过更灵活的风险控制和治理机制,提高了协议的安全性和适应性。
Rocket Pool 是以太坊的去中心化流动性质押协议,旨在降低 ETH 质押的门槛,允许用户通过存入少量 ETH (例如 0.01 ETH) 来参与质押并赚取奖励,同时支持节点运营商通过运行 Rocket Pool 节点来获得收益。Rocket Pool 通过 rETH 流动性质押代币和智能节点技术,实现了更加灵活和去中心化的以太坊质押方案。
本文介绍了零知识证明中所需的循环群的数学概念。循环群由生成元通过重复应用群操作生成所有元素,同时解释了离散对数问题(DLP)的困难性,以及它如何在密码学中用于隐藏秘密信息,并以具体的数学例子说明了如何验证生成元以及求解离散对数问题。
本文介绍了 Curve Finance,一个为稳定币交易优化的去中心化交易所(DEX)和自动化做市商(AMM)。 它通过智能合约和流动性池实现高效的稳定币交易,并采用 CRV 代币进行激励和治理,鼓励长期参与。Curve 在 DeFi 生态系统中扮演着关键角色,为稳定币交易、费用优化和治理提供了基础。
本文深入探讨了传统金融(TradFi)机构的许可型资本市场(PCM)智能合约协议中存在的独特漏洞,这些协议用于在受监管的环境中进行代币化真实世界资产(RWA)的链上交易和结算。文章揭示了审计中发现的多种漏洞类别,包括数据跟踪损坏、不一致的状态管理、权限配置错误、以及跨链问题等,强调了与DeFi协议相比,TradFi协议因其合规性和监管要求而面临的特殊安全挑战,并提出了Gas优化建议。
本文介绍了环和域这两个代数结构,它们都具有两个二元运算,通常称为加法和乘法。环是在加法下构成阿贝尔群,乘法下满足封闭性和结合律,且乘法对加法满足分配律的集合。域则是在加法和乘法下都构成阿贝尔群,且乘法对加法满足分配律的集合。
本文介绍了 Uniswap V3 的核心概念和创新,包括集中流动性、费用等级、NFT 仓位以及开发者增强功能和 Gas 优化。V3 通过允许流动性提供者更有效地部署资金,为交易者提供更优惠的价格,并帮助开发者更快地构建,从而解决了 V2 的资本效率低下问题。