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

掌握SP1 zkVM设计 - 第二部分：核心证明的AIR约束

本文深入探讨了SP1 zkVM设计中的核心证明及其约束系统，详细介绍了如何使用AIR（代数中间表示）来表示计算过程，并通过多项式约束确保状态转移的正确性。文章还介绍了SP1 zkVM中的预编译技术，用于加速常见操作如哈希计算和椭圆曲线运算。
SP1 zkVM  AIR  STARK  FRI算法  Plonk算法  预编译 
  • gavin.ygy
  • 发布于 2025-02-19
  • 阅读 ( 679 )
  • ( 16 )

分析Solana链上数据：工具与仪表板

本文介绍了如何利用各种工具和分析平台来获取和分析Solana链上数据。文章详细讲解了Solana的RPC服务、实时数据流工具、历史数据分析工具、自定义索引工具以及区块浏览器，帮助开发者和分析师更高效地处理链上数据。
Solana  RPC  Geyser  Block Explorers  SQL  Data Analysis 
  • Helius
  • 发布于 2025-02-19
  • 阅读 ( 2028 )
  • ( 77 )

Chainlink--CCIP--NFT 讲解

代码详情：https://github.com/langjiyunmie/Chainlink-CCIP.git chainlink学习的官方视频链接：https://www.bilibili.com/video/BV1RFsfe5Ek5/

密码学入门：阈值签名

in  密码学101

本文详细介绍了阈值签名（Threshold Signatures）的工作原理，这是一种多方参与的签名方案，允许在不需要所有参与者签名的情况下生成有效的签名。文章涵盖了密钥生成、签名和验证的步骤，并讨论了多项式和椭圆曲线在其中的应用。
阈值签名  多项式  椭圆曲线  多方计算  VRSS  ECDSA 

椭圆曲线深入解析（第二部分）

in  密码学101

本文深入探讨了椭圆曲线密码学中椭圆曲线的定义和操作，特别是如何通过有限域和模运算在离散环境中进行点加和倍点操作，并介绍了射影坐标系的优势。
椭圆曲线  有限域  模运算  射影坐标  密码学  点加 

新手指南：如何使用加密桥（2025年教程）

这篇文章是新手指南，详细介绍了如何使用加密桥进行资产转移，包括常见步骤和常见错误，同时强调了Across桥的优势，如快速、低费和安全性，为用户提供了关于跨链资产转移的实用信息。
加密桥  跨链资产转移  Across桥  交易费用  跨链 
  • across
  • 发布于 2025-02-18
  • 阅读 ( 287 )
  • ( 3 )

密码学基础：同态与同构

in  密码学101

文章介绍了密码学中的同态(Homomorphism)和同构(Isomorphism)概念，并通过椭圆曲线群的例子展示了同态加密的基本原理及其在ElGamal加密系统中的应用。
同态  同构  椭圆曲线  ElGamal加密  同态加密 

关于 Solana 本地费用市场的真相

费用市场是经济机制，旨在通过动态调整交易费用有效分配稀缺的区块空间给最高价值的交易。
Solana  费用 
  • Helius
  • 发布于 2025-02-18
  • 阅读 ( 1502 )
  • ( 22 )

Safeguard：一个强大的Geth扩展工具，用于实时监控关键智能合约不变性

本文介绍了Safeguard，一个新的开源Go以太坊扩展工具，旨在通过实时监控关键协议不变性和违规行为，帮助开发者及协议在去中心化金融（DeFi）领域防止智能合约漏洞及资金损失。文章讨论了Safeguard的优势、应用实例及未来的发展方向，强调了其在保障DeFi协议安全性方面的重要性。
智能合约  Safeguard  实时监控  不变性  去中心化金融  安全 
  • Certora
  • 发布于 2025-02-18
  • 阅读 ( 223 )

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

in  密码学101

本文介绍了如何使用zkSNARK（如Plonk）构建算术电路来进行零知识证明，特别是范围证明和集合成员证明。通过具体的例子，展示了如何将数学表达式转化为电路，并讨论了其中的技术和挑战。
zkSNARK  PLONK  范围证明  集合成员证明  算术电路  零知识证明 

ICICLE V3.5：带有 Lambda 函数的 Sumcheck

ICICLE V3.5 版本引入了完全 CUDA 优化的非交互式 Sumcheck 协议实现，可用于多线性多项式的任意函数。
Sumcheck协议  CUDA  ICICLE  零知识证明  多线性扩展  Fiat-Shamir 

【Rust 基础入门】(09) | 数组、Hashmap

in  Rust 基础入门指南：为 Solana 合约学习铺路

本文介绍了 Rust 中的数组（静态数组和动态数组）和 HashMap 的基本概念、创建方法、操作及其内部机制，包括数组的固定长度与动态扩展、HashMap 的键值对存储与扩容策略。
Rust  Rust 入门  Rust 基础  Rust语法基础 
  • 0xE
  • 发布于 2025-02-18
  • 阅读 ( 652 )
  • ( 11 )

区块链安全常见的攻击分析——存储冲突漏洞（Storage Collision Vulnerability）【16】

1、存储冲突漏洞（StorageCollisionVulnerability）在代理合约模式中，代理合约和逻辑合约共享同一存储空间。当代理合约将调用委托给逻辑合约时，逻辑合约中的变量实际写入的是代理合约的存储槽位。如果代理合约和逻辑合约都在槽位0存储关键数据（例如代理合约存储实现地址，而逻
  • XUYU
  • 发布于 2025-02-18
  • 阅读 ( 972 )
  • ( 43 )

AMM中的路由革命 - Uniswap V4中的Hook与最佳交易执行 - 一篇论文评审

Uniswap V4引入了Hooks，使得流动性池可以进行更复杂的操作，例如动态调整费用和链上限价单。最近的研究探讨了如何在这种新环境下进行最佳交易路由，提出了一些案例研究和数学框架，显示Hooks的使用可以极大提高DeFi市场的执行效率和灵活性。
uniswap v4  Hooks  CFMM  交易路由  动态编程  矩阵决策过程 
  • thogiti
  • 发布于 2025-02-18
  • 阅读 ( 233 )
  • ( 3 )

为什么选择 TWAP？- CoW DAO

本文介绍了CoW Swap推出的时间加权平均价格(TWAP)订单功能。TWAP将大额交易拆分为小额交易，减少滑点和价格影响，帮助交易者以平均价格进入或退出市场。CoW TWAP具有美元成本平均(DCA)、降低价格影响和滑点等优势，并且每次订单都能获得100%的订单盈余和价格保护。
TWAP  CoW Swap  DCA  价格影响  滑点  MEV 
  • CowSwap
  • 发布于 2025-02-18
  • 阅读 ( 72 )

超级提升安全的 Solidity 开发：Aderyn VS Code 扩展

Cyfrin的Aderyn VS Code扩展为Solidity智能合约开发提供实时的安全分析，能够检测超过100种漏洞。该扩展集成了内联诊断、树状视图、自动监控等功能，使开发者能够在编码过程中保持对安全的关注，保护其代码隐私。
Solidity  安全分析  VS Code扩展  智能合约  漏洞检测  Cyfrin 
  • cyfrin
  • 发布于 2025-02-18
  • 阅读 ( 265 )
  • ( 3 )

DeepSeek开启智能PDF问答新时代：从0到1搭建系统全攻略

in  用 Rig 打造你的专属 AI Agent

在当今信息爆炸的时代，PDF文档作为一种广泛使用的文件格式，承载着大量的信息。无论是学术研究中的论文、企业的报告资料，还是各类技术文档，快速从PDF中提取关键信息并进行智能问答，成为了提高工作和学习效率的关键需求。例如，在学术研究场景中，研究人员需要从大量的学术论文PDF中快速定位到
  • King
  • 发布于 2025-02-18
  • 阅读 ( 985 )
  • ( 27 )

用 2 顆 ETH 成為以太坊節點，享受 2 倍以上收益

本文介绍了如何通过Dappnode和Lido社区质押模块（CSM），仅用2 ETH成为以太坊节点，并且获得超过两倍的额外收益。文章详细讲解了Lido CSM的运作方式、Dappnode的安装步骤以及节点的设置流程，适合对以太坊质押有兴趣的用户学习与实践。
以太坊  质押  Lido CSM  Dappnode  节点  收益 

如何使用 Ethers.js 将你的 Dapp 与 MetaMask 连接起来

本文详细介绍了如何使用 React 框架和 Ethers.js 库构建一个连接 MetaMask 的去中心化应用（dApp）。文章从 dApp 的定义和 MetaMask 的安装讲起，逐步引导读者完成前端应用的构建，包括用户连接 MetaMask、显示钱包地址和余额等功能。通过清晰的代码示例和图形展示，读者能够轻松理解和实现这些功能。
DApp  MetaMask  ethers.js  react  区块链  加密货币 
  • QuickNode
  • 发布于 2025-02-18
  • 阅读 ( 608 )
  • ( 31 )

Safeguard：一种用于实时监控关键智能合约不变量的强大Geth扩展

本文介绍了开源工具Safeguard，这是一款用于监控以太坊智能合约的运行时安全性工具。Safeguard通过实时监测协议的不变量，帮助开发者在潜在金融损失发生之前识别和修复漏洞，从而增强DeFi协议的安全性。文章还指出该工具与现有监控框架的不同之处，并提到未来的功能扩展计划。
智能合约  以太坊  Safeguard  不变量监测  DeFi安全 
  • Certora
  • 发布于 2025-02-18
  • 阅读 ( 192 )