Uniswap V3 是如何集中流动性的
详解 ERC-7201 存储命令空间
在 Solana 上实现 SOL 转账及构建支付分配器
在 Anchor 中的跨程序调用(CPI)
本文详细介绍了如何通过内联汇编更高效地实现 Solidity 中的回滚操作,深入探讨了 mstore 和 mstore8 操作码的使用方式,并通过示例代码展示了如何在汇编中实现无消息回滚、自定义错误回滚以及带有原因字符串的回滚。
mstore
mstore8
本文详细介绍了Bulletproofs在范围证明中的构建方法,通过验证向量aL的二值性和其与向量2n的内积来证明标量v的范围在2^n内。文章还展示了几种代数技巧,并通过Monero的使用实例说明了该技术的应用。
Foundry forge 输出覆盖率测试报告
Foundry 单元测试
本文深入探讨了如何在零知识证明算法中利用随机线性组合来有效地检查多个等式的相等性。通过实例展示了Pedersen承诺的等式验证过程,并提出了一种减少通信开销的方法。这种技术能够实现对多个内积同时进行验证,从而提高效率。
文章介绍了在推导范围证明和编码电路时,内积运算的一些有用代数技巧,并提供了每个规则的简单证明。