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

如何使用 Solana Web3.js 2.0 的 QuickNode 插件（第一部分）

本文介绍了如何将QuickNode的Marketplace Add-ons集成到Solana Web3.js 2.0应用程序中，重点讲解了如何创建自定义RPC方法以调用QuickNode的Priority Fees API Add-on。
Solana  Web3.js  QuickNode  RPC  Priority Fees API  Typescript 

OpenZeppelin Foundry 升级 API - OpenZeppelin 文档

本文档介绍了 OpenZeppelin Foundry Upgrades API，涵盖了 Foundry artifact 和 Annotation 格式的合约名称规范，以及 deployUUPSProxy、deployTransparentProxy、upgradeProxy、deployBeacon 和 proposeUpgrade 等函数的详细用法和参数选项，旨在帮助开发者使用 Foundry 脚本或测试来部署和管理可升级的合约，以及与 OpenZeppelin Defender 集成。
OpenZeppelin  Foundry  合约升级  代理合约  信标模式  可升级合约  OpenZeppelin Defender 

理解加密货币硬件钱包的指南：它是如何工作的？

本文介绍了硬件钱包的概念、工作原理以及其与热钱包和冷钱包的区别。硬件钱包是一种物理设备，安全地离线存储私钥，从而保护用户的加密货币资产。文章还讨论了硬件钱包的优缺点，并提供了选择合适硬件钱包的建议。
硬件钱包  加密货币  私钥  冷钱包  热钱包  安全 
  • cyfrin
  • 发布于 2024-12-28
  • 阅读 ( 685 )

[Stark101] 3. 承诺（Commitments）

in  ZK101
承诺（Commitments）是Stark中用于去除需要交互验证的步骤，通过将Trace的值进行默克尔树构建，从而获得虚拟的交互验证。
STARK  Stark101  零知识证明  教程 
  • BoxChen
  • 发布于 2024-12-28
  • 阅读 ( 1644 )
  • ( 12 )

[Stark101] 2.低度拓展 (LDE)

in  ZK101
低度拓展(LDE)是Stark中用于提高安全性的一个步骤，通过把多项式的域拓展到更大的域，从而提高计算的安全性。
零知识证明  零知识证明入门  STARK 
  • BoxChen
  • 发布于 2024-12-28
  • 阅读 ( 1628 )
  • ( 10 )

[Stark101] 1.计算轨迹

in  ZK101
计算轨迹是 Stark 的第一步，也是最简单的一步，但是最为重要的一步。 但是在章节开始之前，你需要**必须 🚨**掌握以下前置知识：
零知识证明  零知识证明入门  STARK  教程 
  • BoxChen
  • 发布于 2024-12-28
  • 阅读 ( 1611 )
  • ( 11 )

[Stark101] 0.序章

in  ZK101
重要‼️Stark101虽然是希望成为任何软件工程师的入门教程，但是ZK确实有太多不得不说的概念，不过，我会尽量用最简单，最少公式的方式来讲解。所以，Start101绝对不会教会你如何成为数学大师，其目的在于让你轻松的理解Stark的逻辑。但是你需要遵守以下规则：任何标题开头为附加内容
零知识证明  zk  教程  STARK 
  • BoxChen
  • 发布于 2024-12-28
  • 阅读 ( 2692 )
  • ( 13 )

Aave 交易分解 - CoW DAO

Aave DAO 通过 CoW Swap 进行了两次大规模的 LP 头寸交易，第一次是将 aBAL 和 aWETH 兑换成 B-80BAL-20WETH Balancer 池的代币，价值约 202 万美元；第二次是将 DAI 兑换成 USDC，价值约 193 万美元，用于国库多元化。
Aave  CoW Swap  DAO  MEV  滑点  Milkman 机器人  国库多元化 
  • CowSwap
  • 发布于 2024-12-28
  • 阅读 ( 255 )

掌握SP1 zkVM设计 - 第1部分：如何执行客户程序

本文介绍了SP1 zkVM的设计原理，重点分析了zkVM如何执行用户程序，并生成零知识证明。文章详细解释了zkVM的编译器、指令集架构、以及证明系统的核心代码实现，帮助读者理解这一前沿技术的运作机制。
zkVM  零知识证明  RISC-V  STARK  SP1  虚拟机 

OpenMina: 提交和生成新的 SNARK

SNARK证明是Mina区块链的核心，用于验证交易、区块和其他SNARK的有效性。我们希望优化SNARK的生产过程，以确保Mina区块链能够持续运行和扩展。这是SNARK工作流程的概述。点击图片查看高分辨率版本：接收区块以更新可用任务由于区块同时包含交易和SNAR
Mina  OpenBuild 
  • King
  • 发布于 2024-12-28
  • 阅读 ( 1276 )
  • ( 4 )

OpenMina: 扫描状态

这是一个数据结构，用于对需要交易SNARK证明的交易进行排队，并允许SNARK工作者并行处理这些交易SNARK。它被称为"扫描状态"是因为它将扫描类操作与Mina区块链状态的更新相结合。在函数式编程中，扫描会对元素序列应用特定操作，在每一步都跟踪中间结果并生成这些累积值的序列。
Mina  OpenBuild 
  • King
  • 发布于 2024-12-28
  • 阅读 ( 1173 )
  • ( 4 )

OpenMina: 运行非出块和出块节点

在开发网络上运行非出块节点本指南将指导您使用Docker在开发网络上运行AlphaRust节点。按照以下步骤设置节点并为这个Alpha版本提供反馈。1.前置要求确保您已安装Docker：Linux、macOS和Windows的Docker安装指南2.下载并
  • King
  • 发布于 2024-12-28
  • 阅读 ( 1133 )
  • ( 5 )

以太坊账户抽象路线图 I：EIP-3074，EIP-5806 和 EIP-7702

该报告深入探讨了以太坊的账户抽象现状及其在即将到来的Pectra硬分叉中的潜在发展。它详细介绍了EOA（外部拥有账户）的可编程性，分析了多个EIP（以太坊改进提案），讨论了EOA现有设计的局限性及改进方案，最终致力于提升用户和开发者体验，同时强调了在安全性和复杂性之间的权衡。总体而言，文章在技术上具有深度且逻辑清晰。
Ethereum  账户抽象  EIP-5806  EIP-3074  EIP-7702  智能合约 

加密代币经济学：智能合约安全如何塑造价值与风险

本文探讨了代币经济学与智能合约安全之间的关键关系，强调了智能合约漏洞对代币价值、用户信任和市场稳定的影响。文章分析了主要的智能合约漏洞类型，讨论了智能合约审计的重要性，并提出了增强智能合约安全性的最佳实践。此外，文章还探讨了监管因素对代币经济学和智能合约安全的影响，并强调了在代币经济模型中整合安全措施的重要性。
代币经济学  智能合约  安全漏洞  智能合约审计  监管合规  区块链安全 

探索证券型代币中代币经济学的益处：为什么它们对投资者至关重要

该文章探讨了证券型代币（Security Tokens）领域的发展，以及其在重塑传统金融资产管理和交易方式中的作用。文章详细介绍了代币经济学（Tokenomics）在证券型代币中的应用，并分析了其关键优势，包括提高流动性、实现资产所有权民主化、以及加强监管框架和投资者保护。此外，还讨论了当前市场面临的挑战以及未来的发展趋势，突出了证券型代币在重塑数字资产交易方面的潜力。
证券型代币  代币经济学  流动性  监管框架  资产代币化  区块链 

加密货币中的代币经济学：分析回购对代币价值和市场动态的影响

本文深入探讨了加密货币中代币经济学的演变，重点分析了回购策略对代币价值和市场动态的影响。文章详细阐述了代币经济学的基本要素，包括代币供应机制、需求驱动因素、代币效用和分配模型，并分析了加密货币回购机制及其对代币价值的影响，强调了透明度和投资者信任在回购计划中的关键作用，并讨论了回购的长期影响及未来发展趋势，以及监管因素。
代币经济学  加密货币  回购  市场动态  代币价值  投资者信任 

Web3 极客日报 #1648

  • rebase
  • 发布于 2024-12-27
  • 阅读 ( 985 )
  • ( 7 )

Sui: 包地址自动管理

当你发布或升级一个包时，它的地址（也称为包ID）会被记录在Move.lock文件中。这个记录是自动完成的，因此你可以避免在Move.toml文件中手动记录或更新十六进制地址。当你在多个链（主网、测试网、开发网）上发布或升级包时，每个链的地址都会分别被记录。这种记录是基于你的活跃环境（如果不
Sui  包管理 
  • King
  • 发布于 2024-12-27
  • 阅读 ( 1187 )
  • ( 5 )

在zkEVM中使用plookup创建执行轨迹

本文介绍了在zkEVM中使用plookup来创建执行轨迹的方法，以克服字节码转换为SNARK的难题。通过将操作码及其索引存储在查找表t_opcodes中，并在执行证明阶段允许prover选择任何操作码，结合程序计数器检查索引的正确性，从而实现对循环和复杂操作码（如returndatacopy和哈希函数）的支持，优化了zkEVM的性能，降低了约束开销。
zkEVM  Plookup  执行轨迹  SNARK  操作码  程序计数器 

理解DAI稳定费：加密领域的关键见解和影响

本文深入探讨了DAI稳定费的机制及其在维持DAI价格稳定中的作用。DAI的稳定费是用户借用DAI时支付的可变利率，通过调整稳定费，MakerDAO可以影响DAI的供应和需求，从而保持其与美元的Hook。文章还分析了稳定费对借款人和整个DeFi生态系统的影响，以及MakerDAO如何通过治理来调整费用以适应市场变化，并在未来继续保持其在去中心化金融领域中的地位。
DAI  稳定费  Makerdao  DeFi  抵押债务头寸  去中心化金融