全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

Solidity智能合约中的Gas优化：开发者指南 – ImmuneBytes

本文深入探讨了如何在Solidity中优化Gas费用，涵盖了从存储、内存和calldata的选择，到变量打包、减少冗余存储写入、函数层面的优化、循环效率提升以及数据结构选择等多个方面。此外，还介绍了高级的Gas优化策略，如使用inline assembly和bitwise操作，旨在帮助开发者编写更高效、更经济的智能合约。
gas优化  Solidity  智能合约  存储  EVM  bitwise操作 

链上 Vault - ERC4626 与通胀攻击

本文主要分析了 ERC4626 标准下的 On-chain Vault 可能遭受的通胀攻击，攻击者通过操纵 Vault 中的资产总量来稀释其他用户的份额，并探讨了多种防御方法，包括初始化 Vault 资产、内部控制资产总量、使用 decimals offset 以及 OpenZeppelin 提出的虚拟份额和资产方案。
ERC4626  On-chain Vault  通胀攻击  安全  OpenZeppelin  智能合约 

EigenLayer 改进提案-001：奖励 v2

该提案介绍了EigenLayer的奖励机制的第二次迭代（v2），旨在增强EigenLayer生态系统中奖励的灵活性。Rewards v2的主要功能包括：AVS根据operator表现定向奖励；AVS奖励的可变operator费用；专门用于Programmatic Incentives的operator拆分；以及方便staker和operator批量申领奖励。
EigenLayer  奖励  AVS  Operator  Staker  批量申领 

Vitalik: 一个最大程度上简化的 L1 隐私路线图

Vitalik: 一个最大程度上简化的L1隐私路线图
隐私 

合约 - OpenZeppelin 文档

本文档介绍了OpenZeppelin Contracts库的使用，它是一个用于安全智能合约开发的库，提供了如ERC20和ERC721等标准的实现，以及灵活的基于角色的权限控制方案和可重用的Solidity组件。文档涵盖了安装、使用方法、安全注意事项以及学习资源。
智能合约  Solidity  OpenZeppelin  ERC20  ERC721  安全 

以太坊协议奖学金第五期回顾

以太坊协议奖学金（EPF）第五期成功结束，Protocol Study Group 2025也已完成，目前正在为第六期（EPF6）做准备。第五期包括为期5个月的沉浸式学习、研究和贡献，参与者为以太坊核心生态系统做出了贡献。Protocol Study Group 第二次迭代，学生们进行了为期2个月的关于核心协议的强化学习。
以太坊协议奖学金  核心开发  客户端  研究  协议研究小组  DEVCON 

R0VM 2.0 介绍

RISC Zero 发布了 R0VM 2.0，这是一个为实时时代构建的 zkVM，它更快、更大、更安全。R0VM 2.0 的证明速度更快，成本更低，内存更大，并支持所有主要的以太坊预编译，目标是在 2025 年 7 月实现实时证明，同时，R0VM 2.0 还非常注重安全性，通过形式化验证来确保系统的可靠性。
零知识证明  zkVM  R0VM  性能优化  形式化验证  区块链 

Concrete v2.10：引入 Rust 支持并增强 TFHE-rs 互操作性

Zama 发布了 Concrete v2.10，引入了对 Rust 的支持，通过 concrete-macro 和 concrete 这两个 crates，可以直接在 Rust 中使用 FHE（全同态加密) 功能，使得开发者能够更容易地将 Python 原型移植到生产环境。此外，新版本还增强了与 TFHE-rs 的互操作性。
全同态加密  FHE  Rust  concrete-python  TFHE-rs  concrete-macro 
  • ZamaFHE
  • 发布于 2025-04-11
  • 阅读 ( 751 )
  • ( 10 )

ZKsync加密预编译审计

本篇文章对Matter Labs的zksync-crypto库进行了详尽的审计，重点指出多项高严重性问题，包括实现错误、缺少安全检查等，并提出了一些优化建议。审计内容广泛，深入探讨了加密算法的实现细节及其对ZKsync的影响。
zkSync  审计  安全性  代码优化  加密算法  BN256 

作为货币的密码学资产

本文为作者在 2017 年出版的文章《An Investor’s Take on Cryptoassets (v6)》（“一位投资者对密码资产的看法”）的节选。节选部分出现在原文链接所附带的 PDF 文件第 12 ~ 21 页。
货币  密码学 

近50年后，RSA仍在新闻中：费马对RSA的攻击

本文介绍了针对RSA加密算法的Fermat攻击方法，该方法利用了当RSA使用的两个质数因子非常接近时，模数可以被容易地分解的漏洞。文章给出了Fermat分解算法的Python代码示例，并提供了一个CTF挑战，要求读者利用该方法解密RSA加密的消息，找出对应的英文城市。
RSA  Fermat分解算法  质数因子  加密  解密 

ACDE#209：会议纪要

以太坊开发者重新确认 Pectra 主网激活的预期日期为 5 月 7 日，主要讨论了哪些执行层（EL）的以太坊改进提案（EIP）应考虑纳入 Fusaka 升级。最终确定了Fusaka升级中需要考虑的EIP提案，包括EIP-7883、RIP-7212、EIP-7834、EIP-7761、EIP-7880、EIP-5920等。
以太坊  Pectra  Fusaka  EIP  ACD  升级 

阈值加密内存池的反合谋机制

本文探讨了一种针对阈值加密内存池的反合谋机制，旨在解决公共区块链（如以太坊）中恶意提取最大可提取价值(MEV)的问题。该机制通过要求区块提议者对包含解密交易的承诺进行签名，并将该签名作为解密密钥，从而确保只有在提议者承诺包含交易后才能解密交易，从而降低了对密钥管理者的信任。
加密内存池  最大可提取价值(MEV)  阈值加密  反合谋机制  Shutter  提议者承诺 

快速入门指南 - OpenZeppelin 文档

本文档是OpenZeppelin Relayer的快速启动指南，介绍了设置Relayer的步骤，包括环境准备、配置文件的创建、API密钥的生成、以及如何通过本地或Docker运行服务。文章还简要说明了如何通过API和SDK使用Relayer，并提供了故障排除的建议。
OpenZeppelin Relayer  Relayer  API  SDK  Docker  redis  Rust 

ZK论文解读--SoK: Understanding zk-SNARKs: The Gap Between Research and Practice

这是一篇论文解读：SoK: Understanding zk-SNARKs: The Gap Between Research and Practice.
零知识技术  zkSNARK 

TFHE-rs v1.1：细粒度的 GPU 控制和更多算子

Zama 发布了 TFHE-rs v1.1 版本，该版本在 GPU 和 CPU 后端都有重大改进和新特性。GPU 方面，升级了后端，采用了与 CPU 相同的默认加密参数，显著提高了多 GPU 的支持，CPU 方面，通过支持更多的标量案例扩展了算子集，该版本还引入了分块引导密钥生成，以更好地支持内存受限环境中的操作。
同态加密  GPU  TFHE-rs  多 GPU  CPU  FHE 
  • ZamaFHE
  • 发布于 2025-04-11
  • 阅读 ( 615 )
  • ( 8 )

Web3钱包的助记词作用与底层实现机制

Web3钱包的助记词作用与底层实现机制
助记词 

日常用户安全运营：保持安全的实用指南 - 第二部分

本文是OpSec系列文章的第二部分，主要关注设备安全，包括系统加固、虚拟化、沙盒隔离、网络安全、恶意软件防御以及操作安全最佳实践。文章还探讨了在Web3中维护隐私的方法，包括选择合适的隐私级别、使用隐私工具和技术，以及应对现实世界的威胁和隐私风险，旨在帮助用户保护其加密资产和个人信息。
OpSec  设备安全  虚拟化  沙盒  网络安全  隐私 

Concrete v2.10：引入 Rust 支持并改进 TFHE-rs 互操作性

Concrete v2.10 发布，引入了对 Rust 的支持，通过 concrete-python 将 Python 程序编译为 FHE 等效程序，然后在 Rust 项目中使用，以便在生产环境中部署。新版本还增强了与 TFHE-rs 的互操作性，可以更轻松地结合两者的优势。
全同态加密  FHE  Rust  Concrete  TFHE-rs  密码学 
  • ZamaFHE
  • 发布于 2025-04-11
  • 阅读 ( 795 )
  • ( 12 )

随笔小记—Move篇（1）

本篇笔记学习 Move 合约的父子对象和灵魂绑定
Sui Move  Move 
  • Ch1hiro
  • 发布于 2025-04-11
  • 阅读 ( 937 )
  • ( 17 )