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

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

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

密码学101：承诺方案再探

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

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

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

密码学基础：配对(Pairings)

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

密码学101：零知识证明（第2部分）

in  密码学101
本文深入探讨了零知识证明协议Plonk，详细介绍了如何将算术电路的计算过程编码为多项式，并利用多项式承诺方案和交互式预言证明（IOPs）实现高效验证。文章涵盖了SNARKs的基本概念、根的单位在多项式编码中的应用、电路约束的数学表达，以及如何通过Fiat-Shamir启发法将交互式协议转为非交互式证明。内容涉及密码学、多项式运算及复杂协议设计，属于高级密码学技术解析。
SNARKs  PLONK  多项式承诺  零知识证明  算术电路  根的单位 

Solodit如何帮助研究人员赢得区块链安全比赛

本文介绍了Solodit如何在区块链安全竞赛中成为一种转变性工具，分析了其功能、使用方法和成长过程序。作者分享了自己如何利用Solodit整理数据、建立检查清单并参与竞赛，最终在安全研究领域取得成功。
Solodit  区块链安全  安全竞赛  安全研究  报告分析  检查清单 
  • Cyfrin
  • 发布于 2024-10-14
  • 阅读 ( 807 )

利用这五种Web3开发工具更轻松地构建去中心化应用（dApps）

本文介绍了五种Web3开发工具，包括Chainlink、Alchemy、Solodit、OpenZeppelin和Thirdweb，这些工具能帮助开发者更高效和安全地构建去中心化应用（dApps）。每种工具的功能和应用场景都得到了详细阐述，强调了它们在数据集成、安全性和开发过程中的重要性。
Web3  去中心化应用  安全性  智能合约  开发工具  Chainlink 
  • Cyfrin
  • 发布于 2024-10-11
  • 阅读 ( 875 )

以太坊的未来 I：从信标链（Beacon Chain）到光束链（Beam Chain）

本文详细探讨了以太坊的Beam Chain提案，该提案旨在通过重构共识层以提高以太坊的扩展性和安全性。文中涵盖了Beam Chain的关键特性，如更快的区块时间、更快的最终性和使用零知识证明 (ZK) 技术来提高验证器的效率，以及针对量子计算的抵抗能力。文章结构清晰、论据详尽，对以太坊未来的可能性提供了深入的技术分析和展望。
以太坊  Beam Chain  零知识证明  量子计算  共识层  扩展性 

什么是零知识证明 | 给程序员的实用指南

零知识证明（ZKPs）是一种加密技术，允许一方在不暴露具体信息的情况下证明其对该信息的知识。文章深入探讨了ZKPs的工作原理、种类及其在区块链应用中的作用，旨在帮助程序员理解如何实际实现这一技术，并涵盖了交互式和非交互式证明、关键组件以及信任设置等重要概念。
零知识证明  ZKP  信任设置  SNARK  STARK  加密技术 
  • Cyfrin
  • 发布于 2024-10-10
  • 阅读 ( 898 )

Rust不寻常的语法

in  Solana 60 天课程
本文详尽地介绍了 Rust 的所有权、借用及其相关概念，包括 Rust 的复制类型、可变性、泛型、Option 和 Result 等内容。通过示例代码，深入解释了 Rust 的独特语法和其内在逻辑，尤其适合有 Solidity 或 JavaScript 背景的开发者。此外，文章结构清晰，包含代码示例和必要的注释，帮助读者更好地理解 Rust 编程语言。
Rust  所有权  借用  泛型  Option  Result 

Solidity 初学者常见的 20 个错误

Solidity 初学者常见的 20 个错误
Solidity  最佳实践 

使用 Jest 和 Bankrun 加速 Solana 程序测试

本指南将带你了解如何使用Bankrun测试你的Solana程序
Bankrun  Solana  测试 

闪电贷：你需要知道的一切

闪电贷：你需要知道的一切
闪电贷 

如何创建荷兰拍卖智能合约

本文介绍了如何在以太坊上创建和部署一个荷兰拍卖的智能合约。首先，文中详细解释了荷兰拍卖的概念，然后展示了必要的准备工作，包括QuickNode账户、MetaMask钱包和ERC721合约的知识。接下来，描述了具体的代码实现和部署步骤，最后展示了如何进行拍卖，并总结了整个过程。
智能合约  荷兰拍卖  ERC721  以太坊  Remix IDE  QuickNode 

智能合约 ABI 指南及获取方法

智能合约的 ABI（应用程序二进制接口）用于定义与以太坊智能合约交互的标准方法。本文详细介绍了 ABI 的构成，如何生成和使用 ABI，包括具体的示例代码，帮助开发者理解如何与智能合约进行有效的交互。
智能合约  ABI  以太坊  交互  Solidity  编码 
  • Cyfrin
  • 发布于 2024-10-08
  • 阅读 ( 1523 )

多方计算(MPC)解读：安全数据协作

多方计算（MPC）是一种加密技术，允许参与者在不公开各自私有数据的情况下进行安全计算。文章介绍了MPC的定义、历史、核心概念及其重要性，探讨了MPC在保护数据隐私中的应用和相关安全模型，最后讨论了其在区块链中的应用及未来前景。
多方计算  数据隐私  加密技术  安全模型  区块链  密钥管理 
  • Cyfrin
  • 发布于 2024-10-07
  • 阅读 ( 1084 )

探索 EVM 能做什么？

探索 EVM 能做什么？
EVM 

如何创建一个绑定灵魂的代币

本文介绍了Soulbound代币的概念及其安全性，提供了在Sepolia测试网使用Hardhat创建和部署Soulbound代币的详细指南。文中包括所需的配置、合约代码、测试案例以及部署步骤，是一篇结构清晰且内容丰富的技术文章。
Soulbound Tokens  Ethereum  Hardhat  Smart Contract  Deployment  Security 

深入解析Starknet Bolt升级

Starknet的最新升级（v0.13.2）Bolt引入了两大变化：并行执行和区块打包，旨在实现以太坊的快速和便宜的区块空间。并行执行使得非争用交易可以同时执行，从而降低交易确认时间和费用；而区块打包则通过生成单一证明来同时验证多个Starknet L2区块，从而减少资源使用和操作成本。这些改进将有助于提升Starknet的性能并确保其在L2空间的竞争力。
Starknet  并行执行  区块打包  Rollup  SNAR树  Block-STM 

DEFI - 如何使用JavaScript与Uniswap进行交互 - Quicknode

本文详细介绍了如何利用 ethers.js 和 Uniswap JavaScript SDK 与 Uniswap 协议进行交互。首先介绍了 Uniswap 的基础知识，包括其架构和核心合约。接着展示了如何安装所需库，并提供了用于获取 Wrapped Ether（WETH）和 DAI 之间价格的示例代码。最后，作者鼓励读者利用这一知识构建自己的 DeFi 项目。
Uniswap  ethers.js  JavaScript SDK  DeFi  智能合约  ERC20