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

探索 ZK 框架：用 5 种不同的 ZK 语言实现的 Mastermind 游戏

探索 ZK 框架：用 5 种不同的 ZK 语言实现的 Mastermind 游戏
Noir  circom  gnark  Halo2  Arkworks 
  • Veridise
  • 发布于 2024-11-14
  • 阅读 ( 1263 )
  • ( 18 )

审计Solana程序的必备知识

这篇文章是一个详尽的指南，介绍了如何审计Solana程序，涵盖了Solana的基本概念、账户模型、数据读写、跨程序调用、代币管理等多个主题。作者结合自己的学习经历，提供了丰富的实践示例和重要概念，为读者奠定了坚实的基础，并推荐了一些学习资源。
Solana  审计  Rust语言  程序模型  代币管理  安全 

10 篇塑造现代零知识证明的必读论文

10 篇塑造现代零知识证明的必读论文
ZKP 

以太坊 - 如何使用Web3.py和Python发送ERC-20代币 - Quicknode

本文详细探讨了如何使用Web3.py库在以太坊区块链上与ERC-20代币进行交互，涵盖了ERC-20代币的基本概念、设置开发环境、实现代币转账及授权等内容。文章提供了丰富的代码示例和指导，使开发者能够在实战中熟悉与以太坊的交互方式。
ERC-20  web3.py  以太坊  Python  智能合约  区块链 

zkVM 测试报告：评估 Nescience 的零知识虚拟机

zkVM 测试报告
zkMIPS  zkVM  zkWasm 
  • Vac.dev
  • 发布于 2024-11-12
  • 阅读 ( 1525 )
  • ( 18 )

Solana基础概念【上】

本文介绍了Solana比较重要的一些核心概念和基本原理，包括共识机制、POH、Leader选举、账户模型、Solana租金等等
Solana  POH 

掌握 AMM：自动化做市商的完整指南

探讨各种 **去中心化交易所（DEX）模型**，首先从 AMM 开始，分解促成特定协议成功的机制和优势。
DEX  Uniswap  1inch 

如何实现 Permit2

这是一种与所有 ERC-20 代币兼容的代币批准系统，简化了用户体验并减少了他们的经济负担。
ERC20  Permit2 
  • cyfrin
  • 发布于 2024-11-08
  • 阅读 ( 2316 )
  • ( 47 )

Nick 的方法 - 以太坊无密钥执行/部署方法

通过无密钥执行/部署方法，在无需信任的情况下，实现多链上部署同一合约到同一地址的能力。
合约工厂  合约部署  Nick  CREATE  EIP155 

如何实现 EVM 链无许可、无感知的合约部署

如何实现 EVM 链无许可、无感知的合约部署
EIP155  合约工厂 
  • thirdweb
  • 发布于 2024-11-07
  • 阅读 ( 1348 )
  • ( 32 )

范围证明

in  零知识证明之书
本文详细介绍了Bulletproofs在范围证明中的构建方法，通过验证向量aL的二值性和其与向量2n的内积来证明标量v的范围在2^n内。文章还展示了几种代数技巧，并通过Monero的使用实例说明了该技术的应用。
Bulletproofs  范围证明  内积证明  Monero  零知识证明 

Foundry 单元测试

Foundry 单元测试
合约测试  Foundry 

通过随机线性组合减少等式检查（约束）的数量

in  零知识证明之书
本文深入探讨了如何在零知识证明算法中利用随机线性组合来有效地检查多个等式的相等性。通过实例展示了Pedersen承诺的等式验证过程，并提出了一种减少通信开销的方法。这种技术能够实现对多个内积同时进行验证，从而提高效率。
零知识证明  Pedersen承诺  随机线性组合  内积  安全性分析  Bulletproofs 

全面比较：什么是 zk-SNARKs 和 zk-STARKs？

全面比较：什么是 zk-SNARKs 和 zk-STARKs？
ZKP 
  • cyfrin
  • 发布于 2024-11-04
  • 阅读 ( 2634 )
  • ( 29 )

引介 Wrapped Native：Wrapped Ether 的现代替代品

Wrapped Native 一个更好的原生代币 Wrap 方案
WETH 

内积代数

in  零知识证明之书
文章介绍了在推导范围证明和编码电路时，内积运算的一些有用代数技巧，并提供了每个规则的简单证明。
内积  Hadamard积  范围证明  代数技巧  向量  标量 

什么是抢跑交易 - 它是如何运作？

本文深入探讨了区块链和加密货币中的抢跑（front-running）现象及其工作原理，介绍了最大可提取价值（MEV）和区块链内存池（mempool）的概念，并探讨了如何防止前运行攻击的策略。同时，文中还通过示例和代码分析了MEV的实际应用和潜在风险。
最大可提取价值  区块链内存池  防止前运行  智能合约  MEV  抢跑 
  • cyfrin
  • 发布于 2024-11-03
  • 阅读 ( 441 )

全面比较权益证明（PoS）与工作量证明（PoW）

本文详细比较了两种主要的区块链Sybil抵抗机制：工作量证明（PoW）和权益证明（PoS）。文章探讨了它们的工作原理、优缺点及各自对区块链安全性的影响，并对二者如何防止Sybil攻击进行分析。最后，文章强调了这两种机制在去中心化方面的重要性。
工作量证明  权益证明  Sybil攻击  区块链共识  区块链安全  去中心化 
  • cyfrin
  • 发布于 2024-11-03
  • 阅读 ( 669 )

如何使用 Rarepress 在 Rarible 上懒惰铸造 NFT

本文介绍了利用Rarepress在以太坊上进行懒生成NFT的过程，解决了高燃气费带来的问题。读者将学习如何安装和配置Rarepress，编写JavaScript代码，通过Lazy Minting在Rarible上成功生成和上市自己的NFT，并提供了相关的代码示例和详细的操作步骤。
NFT  Lazy Minting  Rarepress  JavaScript  以太坊  Rarible 

对数大小的承诺证明

in  零知识证明之书
本文详细阐述了如何在零知识证明（ZKP）中通过递归折叠的方法，减少向验证者传输的数据量，从而高效地证明内积和向量的承诺。文章包括算法的详细描述、数学推导和代码实现。
零知识证明  内积  递归折叠  向量承诺  Bulletproofs