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

通过形式验证审查Solana上的Token扩展

Certora团队利用深度的形式验证工具对Solana上的Token2022扩展进行了审核，并撰写了规范以确保代码按预期行为运行。审核结果发现了性能优化机会并提出了改进建议，同时验证了Solana团队实施的更新，确保了安全性。文章详细探讨了形式验证的应用及其带来的潜在安全收益。
形式验证  Solana  Token2022  安全性  优化  编程扩展 
  • Certora
  • 发布于 2024-08-06
  • 阅读 ( 345 )

Optimism 第 6 季

in  Optimism 中文力量
本文涉及较多OP治理的内容，如有不熟悉的术语及组织结构的名词，请参阅《OP治理体系概述》。Optimism第6季时间Optimism第6季将于6月27日开始，12月11日结束。资助申请于7月18日开放，每3周进行一次，直至12月。主题：优
#OP 

Geth 中 5 个数据库的故事

Geth 中 5 个数据库的故事
Geth  Ethdb 
  • SINA
  • 发布于 2024-08-05
  • 阅读 ( 1810 )
  • ( 16 )

每周以太坊 2024/08/03

每周以太坊 2024/08/03
每周以太坊 
  • EthWeekly
  • 发布于 2024-08-04
  • 阅读 ( 1507 )
  • ( 23 )

保障Grandine的性能

该项目旨在通过并行化和高效设计提高 Grandine 客户端的性能和简化性。项目将进行 Grandine 和 Lighthouse 的对比分析，建立基准性能指标，评估现有测试基础设施，集成性能监控到 CI/CD 管道，探索高级测试技术，并实施有希望的测试方法来发现和解决漏洞，提高 Grandine 的可靠性和效率，从而为以太坊网络的稳定性和性能做出贡献。
Grandine  Lighthouse  性能分析  测试  CI/CD  漏洞 

通往基于应用程序（Based Application）的道路

本文深入探讨了基于Rollup技术的潜在革命及其在以太坊等区块链上的实现。文章分析了基于Rollup的优点，如安全性、可定制性、MEV内置和交互性等，并介绍了目前在以太坊上的一些实施方案，如Taiko，提出了可能的未来发展方向、核心设计需求及面临的挑战。
以太坊  MEV内置  Taiko  区块链  交易确认  Based Rollup 
  • maven11
  • 发布于 2024-08-03
  • 阅读 ( 392 )

Espresso 的 HotShot：专为 Rollups 设计的共识协议

文章介绍了Espresso的HotShot共识协议，该协议专为Rollups设计，旨在提高高吞吐量和快速最终性。HotShot基于HotStuff BFT协议，并扩展到了去中心化的“权益证明”设置，以补充以太坊的动态可用性。文章还探讨了乐观响应与动态可用性之间的权衡，并解释了HotShot如何在网络条件有利时实现高性能，并在最坏情况下回退到高弹性的低吞吐量路径。
HotShot  rollups  共识协议  以太坊  乐观响应  动态可用性 

如何使用 Hardhat 创建和部署智能合约

本文介绍了如何使用 Hardhat 开发环境创建、编译和部署一个简单的 Hello World 智能合约到 Sepolia 测试网络。内容包括安装 Hardhat、设置配置文件、编写智能合约代码、部署合约并验证部署结果。
Hardhat  智能合约  Sepolia  以太坊  部署 

Ingonyama 与 Starknet 战略合作

Ingonyama 与 Starknet 基金会合作，旨在优化 Starknet 的 ZK Prover 基础设施。
Starknet  ZK Prover  Stwo  ICICLE  GPU  Circle STARK 

Superscan：超级链生态系统的终极区块浏览器

in  Optimism 中文力量
许多团队都在部署第2层解决方案，都在试图增强以太坊的可扩展性并实现广泛的web3采用。第2层解决方案的竞赛以众多开发团队之间的激烈竞争为标志……”改为“许多团队都在部署第2层解决方案，都在试图增强以太坊的可扩展性并实现广泛的web3采用。Optimism已成为这项创新的领导者，最
Superscan 

Prysm 中 libp2p 的自定义 Golang 实现

Prysm 团队计划开发一个内部的 p2p 通信库，目标是摆脱对第三方 go-libp2p 库的依赖。该项目将选择 libp2p 中 Prysm 使用的必要组件进行重新实现，移除冗余组件，同时保持性能。项目包括需求分析、组件开发、集成测试以及性能优化，最终目标是在 Holesky 网络上进行性能分析，并与官方 libp2p 实现进行对比。
libp2p  Prysm  P2P 网络  go-libp2p  gossipsub  以太坊 

Puffer Finance 简介

Puffer Finance 简介
Puffer 
  • PufferFi
  • 发布于 2024-08-01
  • 阅读 ( 1740 )
  • ( 2 )

使用 ERC-7579 模块的全链智能账户

本文介绍了Rhinestone团队在WalletConnect Hacks #2中构建的跨链状态同步和资产花费原型，旨在为模块化智能账户提供理想的跨链体验。
跨链  智能账户  链抽象  状态同步  模块化  ERC-7579 

为什么 LI.FI 对 Eclipse 及模块化未来感到兴奋

本文介绍了模块化区块链Eclipse，它结合了以太坊的安全性、Solana的虚拟机（SVM）的速度和低费用，以及Celestia的数据可用性。Eclipse旨在通过分离执行、结算和数据可用性层来提高区块链的可扩展性和效率。LI.FI 对 Eclipse 及其在模块化未来中的潜力感到兴奋，并计划通过其跨链工具为 Eclipse 提供支持。
模块化区块链  Eclipse  Solana虚拟机  Celestia  数据可用性  跨链桥 
  • LI.FI
  • 发布于 2024-07-30
  • 阅读 ( 325 )

通过 LI.FI 交易来探索 Optimism

本文介绍了以太坊Layer2扩容方案Optimism，Optimism通过Optimistic Rollup技术，在保证以太坊安全性的同时，降低交易成本和提高交易速度。文章还介绍了Optimism生态系统中一些流行的DApp，如Synthetix、Lyra、Uniswap、Kwenta以及Quixotic等NFT项目，并推荐使用LI.FI进行跨链操作来探索Optimism生态。
Optimism  Layer2  Optimistic Rollup  Synthetix  Lyra  Uniswap 
  • LI.FI
  • 发布于 2024-07-30
  • 阅读 ( 362 )

为什么是多链，为什么是现在

该文章探讨了加密行业的多链现实，分析了EVM链、基于ZK技术的智能合约网络、应用特定区块链和非EVM区块链等不同类型链的优劣势以及开发者和用户应该如何利用它们。文章还通过数据展示了以太坊在DeFi领域的主导地位正在下降，以及其他链的崛起，同时讨论了Cosmos、Solana和Bitcoin等非EVM生态系统的发展。
多链  EVM  ZK技术  Cosmos  Solana  Bitcoin 
  • LI.FI
  • 发布于 2024-07-30
  • 阅读 ( 544 )

通过Li.Finance跨链兑换来探索Arbitrum

本文介绍了Arbitrum这个以太坊的扩容方案，以及它的生态系统。
Arbitrum  Layer2  跨链桥  DEX  NFT  DeFi 
  • LI.FI
  • 发布于 2024-07-30
  • 阅读 ( 361 )

deBridge —— 深度解析

deBridge 是一个通用的跨链消息传递和互操作性协议，允许用户和开发者在不同链之间传递简单消息和复杂数据。文章详细介绍了 deBridge 的架构设计、交易生命周期、安全特性和信任假设，并探讨了其跨链互操作性的潜力及应用。
跨链桥  互操作性  消息传递  验证器  安全性  DLN 
  • LI.FI
  • 发布于 2024-07-30
  • 阅读 ( 284 )

Hyperlane — 深度解析

本文深入探讨了 Hyperlane，一个专注于安全性的跨链开发者工具 Arbitrary Messaging Bridge (AMB)。文章详细介绍了 Hyperlane 的设计、安全特性和信任假设，包括其工作原理、经济安全、应用特定安全以及审查抵抗性等，并讨论了团队和社区资源。
Hyperlane  跨链桥  Arbitrary Messaging Bridge  互操作性  Validator  消息传递 
  • LI.FI
  • 发布于 2024-07-30
  • 阅读 ( 301 )

以太坊 - Reth-Verkle PoC - Eth-Protocol-Fellows

本文描述了将 Reth 以太坊执行客户端从 Merkle 树迁移到 Verkle 树，并使其成为无状态客户端的 PoC 项目。该项目旨在集成 rust-verkle 密码学原语到 reth，并实现无状态客户端功能，从而支持以太坊的去中心化和与 Zk-EVM 的兼容性。主要工作包括构造区块执行的见证(witness)、传播见证以进行无状态验证，以及从 Verkle 区块见证获取预状态。
verkle 树  无状态客户端  reth  以太坊  rust-verkle  状态差分