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

密码学基础：算术电路

in  密码学101
本文介绍了算术电路的概念及其作为通用计算模型的作用，探讨了如何利用算术电路验证问题的解决方案，并提到其在零知识证明中的应用。文章还提到算术电路可以分解为其构建模块（门），便于验证计算过程。
算术电路  零知识证明  有限域  逻辑门  多项式 

零知识乘法

in  零知识证明之书
文章详细介绍了如何使用多项式承诺方案在零知识证明中验证多项式乘法的正确性，包括算法步骤和优化方法，并附有代码实现。
多项式承诺  零知识证明  Schwartz-Zippel Lemma  椭圆曲线  Pedersen承诺  有限域 

密码学基础：加密技术与数字签名解析

in  密码学101
本文介绍了椭圆曲线在加密和数字签名中的应用，详细阐述了公钥和私钥基于离散对数问题的生成原理，以及椭圆曲线集成加密方案（ECIES）和椭圆曲线数字签名算法（ECDSA）的工作机制。文章强调椭圆曲线群运算在保障加密和签名安全性中的核心作用，并指出哈希函数等进阶主题将在后续讨论。
椭圆曲线  数字签名  加密  离散对数问题  ECDSA  ECIES 

区块链应用案例指南

本文探讨了区块链技术的真正价值和应用，强调了智能合约在房地产、金融和保险领域的作用，指出区块链如何减少信任需求并增加透明度。此外，文章也提到了区块链行业面临的挑战和未来的机会，特别是在Web3领域。
区块链  智能合约  NFT  去中心化  应用案例  金融透明度 
  • cyfrin
  • 发布于 2024-10-26
  • 阅读 ( 620 )

Solidity语言 - 如何使用 Hardhat 在 Solidity 中创建智能合约工厂

本文介绍了如何使用Solidity实现工厂合约模式。首先，读者需要具备一些Solidity基础知识。接着，通过具体步骤展示了如何创建工厂合约，使其能够生成多个Greeter合约实例，并详细讲解了相关函数及其功能。最后，读者可以在本地环境中与合约进行互动，巩固所学内容。
Solidity  工厂合约  Greeter合约  Hardhat  智能合约  区块链 

学习 Solidity 的五大最佳免费课程

本文介绍了五个免费的Solidity智能合约开发课程，适合不同级别的学习者。每个课程都提供了详细的主题和内容，帮助开发者入门和深入探索区块链技术。
Solidity  智能合约  区块链  DeFi  课程  开发 
  • cyfrin
  • 发布于 2024-10-26
  • 阅读 ( 625 )

BulletProofs 详解

in  零知识证明之书
该文章深入探讨了Zero Knowledge Bulletproofs的概念，详细介绍了其原理、实现及应用。文章结构清晰，搭配丰富的数学公式和代码块，适合希望了解零知识证明的开发者和研究者。
Bulletproofs  Zero Knowledge  Pedersen Commitment  Inner Product Proof  cryptography  Range Proof 

现代DEX - Balancer V3 是如何构建的

in  现代DEX
本文深入分析了Balancer V3协议的设计与实现，介绍了其三层架构、核心功能、流动性管理、交易逻辑及安全机制，包括动态费用计算和防重入攻击设计。文章通过丰富的代码示例与技术细节，为了解去中心化交易所（DEX）提供了全面的视角，适合希望深入了解现代DEX设计的开发者和审计人员。
Balancer V3  去中心化交易所  流动性管理  动态费用  安全机制  多代币池 

现代DEX - Uniswap V4 是如何构建的

in  现代DEX
本文介绍了Uniswap V4的关键技术细节及其架构变化，与之前版本相比，Uniswap V4在池的创建、管理和交易成本优化方面进行了重大的改进，同时引入了Hook系统和简化了对原生ETH的支持。作者强调了在DeFi开发过程中需要关注的安全机制和代码实现细节，适合开发者和审核者深入学习。
uniswap v4  DEX  DeFi  智能合约  以太坊  流动性 

探索 zkVMs：哪些项目真正符合零知识虚拟机的标准？

探索市面上的 zkVMs：哪些项目真正符合零知识虚拟机的标准？
zkVM  零知识证明 
  • Vac.dev
  • 发布于 2024-10-25
  • 阅读 ( 2336 )
  • ( 58 )

干货分享：区块链运行时环境与智能合约安全建模

in  CertiK 安全知识分享
在Web3.0领域，智能合约的安全性也会被其部署区块链的设计和运行时环境影响。这有很多原因，例如：①开发者必须使用新的特定领域语言；②交易执行可能涉及异步函数最终性；③对于不同的区块链环境，并不总是具有相同的工具。在本文中，我们将探讨基于不同的运行时模型，智能合约安全性是如何变化的。
  • CertiK
  • 发布于 2024-10-25
  • 阅读 ( 1383 )
  • ( 73 )

链抽象：朝着新互联网的可组合性进行协调

本文探讨了区块链的碎片化问题及其背后的原因，并提出了链抽象的设计理念，以应对这些挑战。文章详细分析了以太坊及其EVM的优缺点、扩展方案、跨链通信协议以及SOCKET协议如何促进多链应用程序的互操作性，同时阐明了通过链抽象实现用户体验统一的重要性。
区块链  链抽象  EVM  以太坊  SOCKET协议  去中心化应用 

学习不变量测试 第一天

不变量测试
Solidity  测试 
  • Recon
  • 发布于 2024-10-24
  • 阅读 ( 1680 )
  • ( 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
  • 阅读 ( 1763 )
  • ( 63 )

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

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

如何用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
  • 阅读 ( 405 )

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

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

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

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