全部 通识 以太坊 比特币 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  零知识证明 

用虚拟测试网替代公共测试网

Tenderly推出了Virtual TestNets，旨在替代公共测试网，为DApp开发提供更高效、灵活的基础设施。Virtual TestNets与主网数据同步，支持定制化配置，简化团队协作，并提供无限的测试代币，从而加速DApp的开发和部署过程。
虚拟测试网  web3开发  DAPP开发  主网数据  tenderly  EVM链 

「Proof of workload」——读懂 PermaDAO 的运作思想

或许这是 Community DAO 的最佳实践！

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

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

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

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

引介 Atlas 协议

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

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

Web3 极客日报 #1481

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

Ethereum - QuickNode 指南 - Quicknode

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

Sui 构造一笔赞助交易

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

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

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

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

Sui Move 简易版扫雷

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

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

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

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

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

如何设置 Solana 验证节点

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

Lighter ZK 电路公开报告 - ZKSECURITY

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

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

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