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

【Astar系列】#2：Astar zkEVM，实现可扩展性和互操作性

本文深入探讨了 Astar zkEVM 的技术细节，Astar zkEVM 基于 Polygon CDK 构建，旨在实现可扩展性和互操作性，通过与 Polygon AggLayer 的连接，Astar zkEVM 致力于实现无缝的用户体验，并探索了 XCM 在 Polkadot 生态系统中的互操作性愿景。
zkEVM  Polygon CDK  Astar  互操作性  AggLayer  零知识证明 

最新MSM硬件实现方案的深入研究

本文介绍了Ingonyama团队在2023年ZPrize竞赛中获得第一名的基于FPGA的MSM加速方案。该方案首次在加速器平台上实现了批量仿射椭圆曲线加法，显著降低了MSM的计算负担。该设计在AMD Alveo U250 FPGA上实现了高性能，支持BLS12-381和BLS12-377曲线，并在未来异构计算中具有广阔的应用前景。
零知识证明  FPGA  MSM  椭圆曲线  硬件加速  bls12-381  BLS12-377 

引介 Atlas 协议

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

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

Web3 极客日报 #1481

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

Ethereum - QuickNode 指南 - Quicknode

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

Sui 构造一笔赞助交易

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

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

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

什么是比特币 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
  • 阅读 ( 1985 )
  • ( 15 )

Sui Move 简易版扫雷

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

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

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

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

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

如何设置 Solana 验证节点

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

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

本文深入探讨了加密货币项目中代币归属的各种技术和方法，包括日历式和里程碑式归属，以及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
  • 阅读 ( 338 )

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

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