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

不可拥挤的包含列表：链中立性、预确认和提议者承诺之间的张力 - 经济学

本文探讨了以太坊中验证者作为区块生产者在维护链中立性方面的作用。文章提出了“不可拥挤的包含列表”的概念，旨在确保包含列表主要用于其协议预定的目标——链中立性，而非其他用途，例如预确认或部分区块构建，并讨论了如何通过市场结构设计来激励验证者选择维护链中立性的分配规则，最后，文章还讨论了将包含列表中的交易小费奖励给包含列表提议者而非区块提议者的好处。
链中立性  包含列表  MEV  验证者  区块生产者  预确认 

引介 Atlas 协议

本文详细介绍了Execution Abstraction在DeFi生态系统中的作用，强调了Atlas协议如何通过优化交易执行、加强用户安全、内部化价值分配等方式来提升去中心化金融的体验。作者通过阐述Atlas的架构和关键特性，探讨了其在防止MEV（矿工可提取价值）攻击、实现无Gas交易以及推动公平价值分配方面的实用应用。
Execution Abstraction  Atlas协议  去中心化金融  MEV  智能合约  交易执行 
  • L2IV
  • 发布于 2024-04-26
  • 阅读 ( 813 )

如何处理 Solana 上的区块哈希错误

Web3 极客日报 #1481

Web3 极客日报 #1481
  • rebase
  • 发布于 2024-04-25
  • 阅读 ( 1924 )
  • ( 26 )

Ethereum - QuickNode 指南 - Quicknode

本文介绍了如何使用 Go 语言创建以太坊地址，详细阐述了以太坊地址的概念及其生成过程，包括所需的包和代码示例。此外，还涵盖了如何检查 Go 语言的安装以及设置项目的依赖性，结构清晰并提供了必备的背景知识，是一个实用的入门指南。
Ethereum  Go语言  以太坊地址  Go-Ethereum  私钥  公钥 

Sui 构造一笔赞助交易

我们看到的赞助交易是如何构造出来的？交易者和赞助方分别做了哪些事情？
赞助交易 
  • sycute
  • 发布于 2024-04-25
  • 阅读 ( 1979 )
  • ( 7 )

使用形式化验证在更短的时间内捕获棘手的错误

本文探讨了如何通过形式化验证（FV）竞赛来提高智能合约代码的安全性，并量化安全服务的有效性。文章强调了形式化验证的关键优势，包括可衡量的覆盖率指标、持续的安全研究参与，以及通过社区合作加速验证过程。形式化验证通过mutation测试等方式量化代码覆盖率，从而改进代码安全性，并能在短时间内提供可衡量的代码安全性提升。
形式化验证  智能合约  安全性  覆盖率  Mutation测试  FV竞赛 
  • Certora
  • 发布于 2024-04-25
  • 阅读 ( 705 )

什么是比特币 Rollups？

什么是比特币 Rollups？
Rollup  比特币  BitVM 

BitVM 概述：将有效性证明引入比特币

BitVM 概述：将有效性证明引入比特币
BitVM 

Let's Move 从前端到web3入门教程 (2) Navi竞赛奖励第4期

in  从0基础开始写Sui MOVE 应用&游戏 实战系列
Let'sMove从前端到web3入门教程(2)Navi竞赛奖励第4期引子最近navi又增加了一个活动相信上次参加竞赛的同学们已经拿到奖金了吧，没来得及的继续努力！开始上一个章节我们探讨了npm和nodejs的基本用法，非常初级，这次竞赛更加复杂，所用到的typescript等
Sui Move  navi 
  • Summer.XJ
  • 发布于 2024-04-25
  • 阅读 ( 2229 )
  • ( 15 )

Sui Move 简易版扫雷

Sui Move 简易版扫雷 —— 以传统的扫雷游戏规则为模板，将扫雷区域简化成 5 × 10 的正方形，点开所有安全格子视为获得胜利。
Sui Move 
  • Nigdle
  • 发布于 2024-04-25
  • 阅读 ( 1677 )
  • ( 6 )

机密计算：区块链第二重安全门

in  小猪Web3
基于 TEE 的机密计算虽然可以用于增强区块链的安全性和隐私性，但它本身其实存在侧信道攻击和中心化信任的问题。不过没有一种技术是完美的，目前机密计算与 TEE 已经成了 Web2 中安全防护和隐私计算的工程利器，相信未来在 Web3 中也会大放异彩。
机密计算  TEE  隐私计算 
  • Pignard
  • 发布于 2024-04-25
  • 阅读 ( 2705 )
  • ( 15 )

保护以太坊改进提案流程免受特殊利益影响+案例与案例研究 - 魔术师/流程改进

本文讨论了当前以太坊改进提案（EIP）流程中存在的激励机制问题，即特殊利益集团游说的回报高，而为公共利益服务的参与者回报低。文章通过分析EIP-3074案例，提出了改进EIP流程的原则和建议，包括提高透明度、奖励公共利益贡献者、对审计师进行监督等，旨在更好地保护EIP流程免受特殊利益的影响，并鼓励更多人为以太坊生态系统的公共利益服务。
EIP流程  特殊利益  激励机制  EIP-3074  透明度  公共利益 

如何设置 Solana 验证节点

本文详细介绍了如何从技术角度设置和运行一个Solana主网验证器，包括硬件配置、Solana CLI安装、验证器账户设置、系统调优、监控和安全措施等内容。
Solana  Validator  CLI  Stake  Monitoring  System Tuning 
  • Helius
  • 发布于 2024-04-25
  • 阅读 ( 1157 )

Lighter ZK 电路公开报告 - ZKSECURITY

zkSecurity 团队与 Lighter 合作，审查了其用于可验证订单簿匹配的 ZK 电路。代码组织良好，结构扎实。Lighter 是一种 Layer2 交易所，通过零知识证明在 Layer1 上验证和确认状态转换，从而实现 ZK Rollup。Lighter 有两个主要电路：主操作电路和紧急出口电路，在紧急情况下允许用户退出系统。
ZK Rollup  零知识证明  Layer2  订单簿  电路  Merkle树 

加密货币项目中的代币归属：为什么需要以及如何实施

本文深入探讨了加密货币项目中代币归属的各种技术和方法，包括日历式和里程碑式归属，以及push和pull两种代币分发方式。文章还讨论了在智能合约中实施归属时可能出现的常见问题，并比较了三种不同的实施方法：在ERC20代币合约中、通过智能合约系统以及在独立的智能合约中。最后，强调了根据项目具体需求定制归属方案的重要性。
代币归属  智能合约  ERC20  代币经济学  区块链  vesting 

对Uniswap V2的思考

Uniswap通过x*y=k这个恒定乘积的等式完成了链上自动做市。当然它也有一个特别大的缺点，就是随着池中B的减少，B的价格会越来越贵，和外部的价格越来越偏离了。为了解决这种偏离，套利者会通过其连续的套利活动将差异抹到可以忽略的地步。那么是谁在支付这些收益。Uniswap的项目方不可
DeFi 

以太坊签名解析

以太坊签名解析签名交易一个签名交易由(nonce,gasPrice,gasLimit,to,value,data,v,r,s)构成。其中的参数作用如下：nonce:记录发起交易的账户已执行交易总数。gasPrice:该交易每单位gas的价格。gasLimit:该交易支
签名 

利用形式验证在更短时间内捕获棘手的漏洞

本文探讨了形式验证(FV)在智能合约安全中的重要性，强调了其在测量和提升代码安全性方面的优势。通过衍生测试和覆盖率度量等方法，形式验证提高了对潜在漏洞的识别能力，并通过社区竞赛的形式加速代码审核过程，从而在较短时间内达成高安全性目标。
形式验证  智能合约  代码安全  安全审核  覆盖率  衍生测试 
  • Certora
  • 发布于 2024-04-25
  • 阅读 ( 534 )

解锁以太坊的扩容：EIP-4844 解释

EIP-4844 是增加 L2 潜力并使以太坊与其扩展路线图保持一致的下一步。
扩容  EIP4844