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

向量承诺的简洁证明

in  零知识证明之书
文章介绍了如何在不发送整个向量的情况下，证明已知 Pedersen 向量承诺的开启，并详细描述了算法的实现和安全问题。
Pedersen Commitment  inner product  outer product  Zero Knowledge  verifier  prover 

用于检测变形智能合约的工具

变形智能合约指的是在合约地址上的代码会被修改。 本文介绍一个工具用于检测变形智能合约
CREATE2  变形智能合约  create3 

如何构建一个以太坊网址缩短器去中心化应用程序（dApp）

本文详细介绍了如何在以太坊上构建一个去中心化的URL缩短应用程序（dApp），包括必要的准备工作、智能合约的编写与解析、前端开发以及后端服务器的设置。文章不仅提供了完整的步骤和代码示例，还强调了去中心化应用在数据安全性和抗审查方面的优势，适合希望深入了解以太坊dApp开发的开发者。
DApp  以太坊  URL缩短器  Solidity  智能合约  前端开发 

内积的零知识证明

in  零知识证明之书
本文详细介绍了如何在零知识证明中构造内积证明，通过向量多项式和内积计算，展示了如何在不泄露原始数据的情况下证明内积计算的正确性。文章还提供了相关算法的具体实现步骤，并指出如何进一步优化证明大小。
零知识证明  内积证明  向量多项式  Hadamard积  椭圆曲线密码学  证明优化 

以太坊 - 钻石标准（EIP-2535）解析 - 第一部分 - Quicknode

这篇文章详细介绍了以太坊的钻石标准（EIP-2535），包括其基本概念、核心组件及其优势。文章结构清晰，包含了对钻石合约及其各个组成部分的深入分析，以帮助读者理解如何模块化和升级智能合约。
钻石标准  EIP-2535  智能合约  模块化  区块链  升级 

如何在Arbitrum Nova上部署智能合约

本文介绍了如何在Arbitrum Nova区块链上使用QuickNode和Hardhat工具构建、部署和交互一个简单的存储智能合约。文章详细解释了Arbitrum Nova的AnyTrust协议及其工作原理，并提供了从开发环境设置到合约部署和交互的完整指南。
Arbitrum Nova  智能合约  Hardhat  QuickNode  AnyTrust  DAC 

合约创建指南： create、create2 和 create3

合约创建指南： create、create2 和 create3 的区别及应用场景
CREATE2  CREATE  create3 
  • Solichain
  • 发布于 2024-10-30
  • 阅读 ( 2576 )
  • ( 51 )

我们准备好提高 gaslimit 了吗？

我们准备好提高 gaslimit 了吗？
Gas  以太坊升级 
  • Erigon
  • 发布于 2024-10-30
  • 阅读 ( 1720 )
  • ( 61 )

密码学基础：协议大全

in  密码学101
本文是密码学系列文章的一部分，重点介绍了基于椭圆曲线的加密协议，包括密钥交换、承诺方案、签名、零知识证明和可验证随机函数等。文章通过清晰的示例和图示，详细解释了这些协议的原理和实现方法。
椭圆曲线  密钥交换  零知识证明  承诺方案  签名  可验证随机函数 

Solana 代币 2022 — Transfer Hook

Solana 代币 2022 — Transfer Hook
Solana  SPL  Token-2022 

十大Web3.0安全最佳实践方式（全篇）超长干货收藏版！

in  CertiK 安全知识分享
十大Web3.0安全最佳实践方式
安全  重入攻击  预言机 
  • CertiK
  • 发布于 2024-10-29
  • 阅读 ( 3429 )
  • ( 106 )

如何集成 Permit2

如何集成 Permit2
permit  Permit2  ERC20 

密码学基础：算术电路

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

零知识乘法

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

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

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

区块链应用案例指南

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

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

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

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

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

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  去中心化交易所  流动性管理  动态费用  安全机制  多代币池