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

区块构建环节

本文讨论了以太坊中区块构建过程，以及如何通过机制设计来优化效率、链中立性和共识参与者的去中心化。文章介绍了三种机制：Inclusion Lists (ILs)、Attester-Proposer Separation (APS) 和 Concurrent Block Proposers (CBP)，并分析了它们在区块共同创建游戏中的作用以及组合方式，旨在为以太坊设计最佳的区块构建流程。
区块构建  Inclusion Lists  Attester-Proposer Separation  Concurrent Block Proposers  MEV  链中立性 
  • efdn__
  • 发布于 2025-02-18
  • 阅读 ( 130 )

密码学基础：同态与同构

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

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

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

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

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

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

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

Arweave/AO 生态精粹 Week 7｜Arweave/AO 生态精粹 Week 7｜PermaBrawl 竞赛、$FFP 经济白皮书、Permaswap TVL 突破 300 万美元、Aolo

AO 生态精粹 Week 7｜PermaBrawl 竞赛、$FFP 经济白皮书、Permaswap TVL 突破 300 万美元、Aolotto 第二次分红

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
  • 阅读 ( 1147 )
  • ( 11 )

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

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

Optimism Retro Funding：Onchain Builders 任务详情

in  Optimism 中文力量
精炼要点目标:奖励推动跨链资产转移并促进Superchain增长的项目。时间:2月13日–7月31日。预算:最多800WOP。奖励发放:每月发放，从3月开始。基本要求：至少1000次交易，至少420个合格地址（没有机器人），至少10个不同的链上活动日

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

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

Optimism Retro Funding:Dev-tooling

in  Optimism 中文力量
RetroFunding:DevTooling奖励工具链软件，如编译器、库和调试器，这些工具帮助开发者在Superchain上开发链上应用程序。时间表:该计划将在2月5日至7月31日期间进行。申请时间:请在每月的申请截止日期前申请，您的项目将从下个月开始评估奖励。

跨超级链的协作分析

in  Optimism 中文力量
Optimism通过实现快速、低成本的交易来扩展以太坊，同时继承了以太坊的安全性并保持了去中心化。

Optimism 中文周刊 #49

in  Optimism 中文周刊
OP中文周刊将分享Optimism中发生的情况，并轻松访问最关键的信息，以便轻松了解最新情况并做出明智的决策。

为什么选择 TWAP？- CoW DAO

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

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

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

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

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

前沿探讨 | 基于BitVM的信任最小化BTC桥和开创比特币可编程未来

一场关于比特币扩容、BTCFI 和未来机遇的深入对谈。

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

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

bip-0144.mediawiki 的历史记录 - ajtowns/bips

该文档是关于比特币改进提案（BIP）144 的提交历史记录，其中包含了与隔离见证（Segwit）相关的更新、格式修复、代码添加以及链接更新等内容。BIP 144 旨在改进比特币交易的序列化格式，尤其是在处理空见证数据时。
BIP144  隔离见证  Segwit  比特币改进提案  交易序列化 
  • ajtowns
  • 发布于 2025-02-18
  • 阅读 ( 320 )