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

学习不变量测试 第一天

不变量测试
Solidity  测试 
  • Recon
  • 发布于 2024-10-24
  • 阅读 ( 1302 )
  • ( 53 )

密码学101：全同态加密

in  密码学101

本文深入分析了完全同态加密（Fully Homomorphic Encryption， FHE），强调了它在允许对加密数据进行计算而不进行解密方面的重要性。
homomorphism  cryptography  error management  Gentry's thesis  全同态加密  密码学 

EOF 详解：开发者需要了解的内容

EVM 对象格式(EOF)详解：开发者需要了解的内容
EOF  EVM  Pectra 
  • BuildBear
  • 发布于 2024-10-23
  • 阅读 ( 1438 )
  • ( 63 )

隔离开发环境：降低网络攻击风险

本文探讨了隔离开发环境（如 Docker 容器）如何保护代码和敏感数据免受网络攻击的威胁。通过介绍 Docker 的原理、优势及最佳实践，作者强调使用这一技术可以降低开发过程中遭遇的安全风险，并提供了一系列具体建议以提升安全性。
Docker容器  网络攻击  隔离开发环境  安全最佳实践  私钥泄露  开发者工具 
  • cyfrin
  • 发布于 2024-10-23
  • 阅读 ( 189 )

如何用Vyper编写安全的智能合约

本文介绍了如何使用Vyper语言开发和部署一个权限控制的智能合约。教程详细说明了Vyper的语言特性、开发环境配置以及合约代码的编写和部署过程，适合有一定Python和Ethereum知识的开发者。通过实例，读者能够学习到如何运用Vyper实现合约逻辑，并了解安全注意事项。
Vyper  智能合约  以太坊  Goerli Testnet  权限控制  Python 

精通 Solidity 的 Gas 效率：应对 Base 和其他 L2 链上不断上涨的费用的 12 个技巧

本文提供了十二个关于Solidity智能合约的gas优化技巧，旨在帮助开发者在Layer 2链如Base上降低交易费用。技巧包括最小化链上数据、使用映射代替数组、利用常量和不可变量等，旨在有效提高合约的执行效率和降低成本。
Solidity  gas优化  Layer 2  合约效率  映射  常量 
  • cyfrin
  • 发布于 2024-10-22
  • 阅读 ( 148 )

在不到100行代码的情况下创建一个Solana Telegram机器人

本文提供了一个创建Telegram机器人以实时追踪Solana链上活动的指南，使用NFT销售追踪器作为示例，详细介绍了项目的设置、Webhook创建、代码拆解及自定义选项，适合想要构建链上监控工具的开发者。
Telegram Bot  Solana  NFT  Webhook  Cloudflare Workers  Helius 
  • Helius
  • 发布于 2024-10-20
  • 阅读 ( 295 )

DeFi 模式：ERC20 代币转账如何操作

这篇文章深入探讨了在 DeFi 协议中进行 ERC20 令牌转移时可能遇到的安全问题及其解决方案。文章分析了不同的转移方法（直接转移、批准后转移、回调转移）及其潜在的安全隐患，参考了多个实际漏洞案例，并提出了一系列改进最佳实践，以增强协议的安全性。
ERC20  安全问题  DeFi  token转移  漏洞案例  最佳实践 

区块链入门：重温比特币

本文提供了比特币的全面概述，解释了提交交易的过程、区块的组织以及共识、内存池和默克尔树等概念的重要性。
Bitcoin  mempool  交易  Merkle树 

a16z : 发布 2024 年加密货币现状报告

a16z 这份 2024 年加密货币报告由涵盖了加密行业的多个方面，包括其增长、政治重要性、基础设施改进和新兴应用。报告分为几个部分，讨论了加密行业的规模、政治影响、基础设施进步和关键应用。报告指出，加密用户数量增长显著...
报告  a16z 

Solana eBPF 虚拟机

本文详细介绍了Solana的rBPF虚拟机，包括其架构、工作原理以及如何通过Agave验证器执行Solana程序。文章还探讨了Berkeley Packet Filter (BPF) 和Extended Berkeley Packet Filter (eBPF) 的背景，以及Solana虚拟机的指令集架构 (ISA)。
Solana  rBPF  eBPF  虚拟机  ISA  Agave 

使用Foundry进行智能合约模糊测试的完整指南

本指南详细阐述了如何使用Foundry框架进行Solidity智能合约的模糊测试（fuzz testing）。文章首先介绍了什么是不变性（invariant），然后分别讲解了无状态和有状态的模糊测试的实现，并通过代码示例展示了相关实现步骤。最后强调了模糊测试在保证智能合约安全性方面的重要性。
模糊测试  Solidity  Foundry  智能合约  不变性  代码安全 
  • cyfrin
  • 发布于 2024-10-16
  • 阅读 ( 202 )

如何使用PHP连接到以太坊

本文介绍了如何使用PHP及web3.php库连接到以太坊区块链，内容涵盖从PHP的基本介绍到环境配置，以及具体的代码示例与运行步骤，帮助开发者在后端应用中集成以太坊功能。
php  以太坊  web3.php  区块链  代码示例  开发者工具 

密码学基础：配对应用及其他

in  密码学101

本文介绍了配对（pairing）在加密技术中的应用，重点讨论了基于身份的密钥交换和签名方案。配对作为一种双线性结构，使得身份加密成为可能，并展示了如何在不需要传统公钥的情况下实现密钥交换和签名。
配对  身份加密  密钥交换  身份签名  双线性 

热门Web3开发工具、编程语言、框架和安全性

本文介绍了五款主要的Web3开发工具，涵盖编程语言、框架、安全平台及钱包，旨在帮助区块链和智能合约开发者加快工作流程。通过对Solidity、Rust、Vyper等语言的分析，以及对Foundry、Hardhat等框架的讨论，读者能够了解到当前区块链开发的最佳实践和工具。文章还强调了安全性的重要性，并推荐了相应的安全平台和工具。
Web3  智能合约  编程语言  安全工具  区块链  开发框架 
  • cyfrin
  • 发布于 2024-10-15
  • 阅读 ( 184 )

Solidity 复杂类型状态变量在 EVM 中存储布局

in  代理模式与 Delegatecall 规范手册

全面理解复杂类型的存储布局
EVM  存储布局 

密码学基础：零知识证明（第一部分）

in  密码学101

本文介绍了零知识证明（Zero Knowledge Proofs, ZKP）的基本概念和应用，特别是Bulletproofs技术，用于证明某个数值是否在特定范围内。文章详细解释了ZKP的工作原理、协议设计以及数学实现，并通过一个简单的示例说明了如何在不泄露信息的情况下验证陈述的真实性。
零知识证明  Bulletproofs  Schnorr协议  范围证明  Pedersen承诺 

密码学101：承诺方案再探

in  密码学101

本文对承诺方案进行了深入探讨，特别是多项式承诺方案中的KZG承诺。在介绍之前的基础上，文章详细描述了如何构建一个承诺多项式的过程，包括信任设置、承诺生成、评估以及验证。使用公开参数和配对技术，能够在不知道秘密多项式的情况下进行验证，确保所提交计算是正确的。同时，文中提到这一承诺方案在零知识证明中的应用潜力。文章尽量简化复杂概念，使读者能更好理解这些高级密码学内容。
承诺方案  多项式承诺  KZG承诺  零知识证明  配对技术 

密码学基础：签名机制再解析

in  密码学101

本文详细介绍了数字签名的多种变体，包括盲签名、环签名和多签名。这些签名技术在特定场景下非常有用，如保护用户隐私、实现匿名签名以及多人共同签名。文章通过数学公式和图形化的方式解释了这些技术的实现原理。
盲签名  环签名  多签名  Schnorr签名  椭圆曲线  阈值签名 

密码学基础：配对(Pairings)

in  密码学101

本文介绍了加密学中的配对（pairings），首先定义了其概念及其在椭圆曲线中的应用，接着阐述了配对的双线性特性及其在身份基础加密中的重要性。配对不仅是一个数学操作，还因其在加密通信中通过身份生成私钥而显得极为强大。
配对  双线性映射  椭圆曲线  身份基础加密  公钥  私钥