Recon 帮助你构建和运行不变性测试 Recon 扩展：现在有了更多的 Halmos 运行 Halmos、Echidna 和 Medusa，生成报告，并使用 Recon 扩展将损坏的测试转换为 Foundry reproducers。...
重心插值（Barycentric interpolation ）是拉格朗日插值的变换。 有时候需要通过一组多项式点值直接计算另一个不同点处的值，例如，$p(x)$ 是一个度为 2 的多项式，可以在 O(N) 时间内用 $p(0), p(1...
Lookup (Log Derivative Lookup Argument) 是一种通过预计算表（Lookup Table）来验证某个值是否存在于特定集合中的技术。在 ZKP 中，它通常用于减少电路约束的复杂性，将复杂的算术约束（如位操作...
问题的规模 如果你是一个 DAO 的一份子，你已经知道数字很大。国库集体持有数十亿美元，每年有数亿美元用于审计、资助、营销和工具。 但这里有一个令人不安的事实：很多钱都被浪费了。我们都见过这种情况发生。一个提案看起来很可靠，社区批准...
介绍 模糊测试对于安全的智能合约测试至关重要，但也面临着挑战。测试执行通常很慢，而分析失败可能需要更多的时间和精力。 Shrinking（缩减）解决了这个问题。当模糊测试在有状态测试期间发现错误时，缩减算法会最小化重现该错误所需的操作序...
在以太坊与通用区块链生态中，智能合约安全性与效率始终是关键命题。许多开发者停留在 Solidity 编写层面，对编译后的字节码、Gas 优化、底层执行机理、形式化验证等难以深入理解。 Patrick Collins 出品的这门课程正是为那...
作者：bitvault 来源： https://blog.bitvault.sv/common-multisig-setup-errors-and-fixes/ 多签名钱包 通过要求多个密钥为交易签名来提高比特币保管装置的安...
Hazeflow 是一家区块链研究公司。我们正在撰写关于区块链行业独特视角和观点的文章，并发布教育研究材料。 Raiku：解决 Solana 最大的痛点 尽管 Solana 具有高速和低费用的特点，但它缺乏解锁机构采用所需的确定性执行保...
隐私属于每个人 隐私是选择你分享什么、何时分享以及与谁分享的自由。在日常生活中，我们都认为这是理所当然的：关上房间的门，投一张秘密选票，或者与朋友私下交谈。但是在线上和链上，这些保护措施通常是缺失的。 以太坊的创建是为了成为数字信任...
第17篇：想加仓、减仓？Freqtrade 仓位调整机制一网打尽 在实际交易中，灵活调整仓位、实现多次分批买入卖出是提升收益和控制风险的重要手段。Freqtrade 支持动态仓位调整和多次入场机制，帮助策略实现加仓、减仓等进阶操作。本篇详...
区块链技术网
