Constantine是一个高性能密码学库,专注于区块链协议和零知识证明系统。它提供常数时间实现的密码学原语,支持多种椭圆曲线和协议,包括以太坊BLS签名、KZG承诺等,并提供Nim、C、Rust、Go等多种语言的接口。该库旨在提供快速、紧凑和强化的椭圆曲线密码学解决方案。
Flashbots 发布了 Builder Playground,这是一个开源框架,用于快速启动 L1 和 L2 的全面区块构建测试环境。它通过简化部署、优化性能和降低认知负荷,解决了现有工具在速度、灵活性和复杂性方面的挑战,旨在提高区块构建测试的效率和可靠性。
本文介绍了 Circom 编程语言,它用于创建 Rank 1 Constraint Systems (R1CS) 并填充 R1CS 的 witness 向量,主要是为了简化约束系统的设计和自动化 witness 的生成。文章还解释了 Circom 存在的意义,以及它如何帮助开发者更轻松地进行零知识证明相关的开发,最后说明了学习 Circom 的理由,并概述了资源结构,包括语法和约束设计。
本文介绍了Circom代码与其编译成的Rank 1 Constraint System (R1CS)之间的关系,并通过几个例子详细解释了如何在Circom中编写约束,以及如何使用Circom命令行工具编译电路、生成witness,并验证电路的正确性。文章还介绍了zkRepl在线IDE的使用,以及Circom中有限域的概念,以及如何将snarkjs导出的R1CS约束转换为Circom中的原始约束。
本文详细介绍了如何在 Circom 中实现 MD5 哈希算法,包括计算哈希值和约束其正确性。文章首先介绍了 MD5 哈希的原理和步骤,然后展示了如何在 Circom 中构建实现 MD5 哈希所需的各种组件,如位运算、循环左移、32 位加法以及初始填充。并通过一个python的例子,展示了MD5哈希的计算过程。
本文介绍了在零知识证明友好的哈希函数,重点介绍了Minimal Multiplicative Complexity (MiMC) 和 Poseidon 这两个流行的 ZK 友好哈希函数的工作原理和性能, 并对比了他们的优劣. 此外还提及了基于椭圆曲线的Pedersen哈希,并指出了以太坊基金会悬赏征集MiMC哈希碰撞,以及对Poseidon安全性的研究。
该报告深入分析了 Solana 上 Jito Tips 的使用情况,Jito Tips已经从 MEV 提取的小众工具演变为Solana 交易优先级排序的主要机制,成为 Solana 执行层的引擎。
Lotus Router是一个专门针对MEV交易的交易路由合约,支持多种DeFi协议,如Uniswap V2/V3等。文章详细介绍了合约的核心逻辑、数据结构及压缩编码方法,展示了如何在处理复杂回调及数据解码时,使用内联汇编来优化执行效率和减少calldata体积,并指出代码中存在重入攻击的风险。
关于将以太坊转变为一个以隐私为优先的金融系统的路线图。作者强调隐私必须成为以太坊网络的默认状态,而不是用户需要主动开启的特性。文章详细阐述了实现这一目标的必要步骤,以及当前以太坊隐私的技术挑战,并提出了分阶段的具体方案。
本文探讨了人工智能工具在区块链安全审计中的应用,包括其优点、局限性及实际案例。文章详细描述了AI工具如何增强代码理解、漏洞检测、攻击向量验证和文档报告写作等过程,同时强调了人工审计师在验证工具输出的重要性。各类AI工具的选择与使用对提高审计效率。文章对当前AI技术的快速发展及其未来趋势进行了展望。
本文深入探讨了区块链中的抢跑攻击,分析了攻击者如何利用透明交易的特性实现自己的利益。通过实例和示例代码,作者提供了防范抢跑攻击的最佳实践,包括保护'获取或创建'模式、两步交易的安全性检查、避免尘埃攻击和正确使用承诺-揭示方案。通过理解这些攻击方式,开发者可以更好地设计安全的智能合约。
本文介绍了OpenZeppelin最新发布的开源Relayers和Monitor工具,旨在为区块链开发者提供更高的自定义和灵活性。Relayers支持各种自动化交易需求,而Monitor则用于实时监控区块链活动,两者均有助于提高开发效率。文章还讨论了这些工具在Solana和Stellar网络的应用,并鼓励开发者参与反馈和建议。
本文详细介绍了如何在智能合约中防止拒绝服务(DoS)攻击,探讨了常见的攻击模式和安全编码实践,强调了拉取模式和最低交易额的必要性,以及黑名单功能可能带来的风险。文章通过代码示例清晰展现了这些关键点,并提出了实用的预防措施。
本文探讨了以太坊的网络更新过程,包括硬分叉和软分叉的基本概念以及其对以太坊生态系统的影响。文章还介绍了以太坊改进提案(EIP)的过程,以及如何通过开发网络和测试网络来确保网络升级的安全性。在最后部分,文章简述了以太坊的原生货币以太币及其与Gas费用的关系,提出了以太坊的经济模型。
本指南详细介绍了Solana的保密转移扩展功能,该功能允许安全且隐私保护的代币转账。文章阐述了原理、实现细节及使用方法,包括如何使用零知识证明和同态加密保护账户余额和转移金额,同时还提供代码示例和最佳实践建议。
本文深入探讨了如何在Dune平台上构建Solana区块链仪表板,介绍了Solana的高吞吐量所产生的数据,以及如何利用Dune分析和可视化这些数据。通过示例引导读者,作者详细介绍了Solana的账户模型、交易结构以及如何有效查询和分析交易,最终帮助用户有效利用这些数据进行决策。
本文详细讲解了以太坊验证者的退出过程及即将到来的Pectra硬分叉带来的变化,重点介绍了退出队列、取款时延及验证者清算等步骤,同时解释了相关术语与安全性保障。文中讨论了验证者如何更好地管理退出和取款,提供了当前和未来机制的对比,确保经济安全与程序性能的平衡。
本指南提供了在Dune上编写干净、可读和可维护SQL查询的最佳实践,适用于DeFi协议、NFT集合和区块链指标的分析。推荐采用使用公用表表达式(CTEs)而非子查询的结构,以提升代码的可读性和可维护性,同时强调一致的格式和命名约定对于社区分析的价值。
本文讨论了Recon团队如何改善Centrifuge现有的不变性测试套件,主要通过引入最佳实践以简化测试过程并提高代码质量。这些实践包括专门使用断言测试、实现ActorManager、简化无状态测试和采用归纳法简化属性检查,以及设置Fork测试环境,结果揭示了一个之前未知的边界情况。
本文介绍了多方计算(MPC)尤其是姚的加密电路协议的实现,涵盖了从理论基础到代码实现的各个方面,包括RSA、模糊传输、加密电路的生成与评估等。特别强调了如何在保持私人输入的隐私前提下进行安全计算,适合对MPC感兴趣的读者深入学习。
扫一扫 - 使用登链小程序
482 篇文章,571 学分
184 篇文章,477 学分
409 篇文章,378 学分
44 篇文章,357 学分
58 篇文章,331 学分