文章 - 第305页 - 登链社区

Substrate：一个通用的基于 Rust 的区块链框架

Substrate，一个用于构建区块链的 Rust 框架

Substrate

Bruno Galvao
发布于 2024-09-06
阅读 ( 2994 )
( 4 )

技术详解 | CertiK揭示秘密修复的Solana核心漏洞

8月9日，Solana团队齐心协力解决了一个严重的安全漏洞。这次秘密修复详情可以在GitHub上查询到。CertiK团队对这一漏洞进行了深入分析。

CertiK
发布于 2024-09-06
阅读 ( 1782 )
( 15 )

ao——编译和部署自定义 module 教程

module 是 ao 系统的核心代码，包含运行环境和基础库。每个 process 启动时会加载一个 module，通过 txid 从 Arweave 加载。

PermaDAO
发布于 2024-09-06
阅读 ( 1596 )
( 5 )

社区常见问题解答：了解 Ola 和 Massive

本文介绍了Ola项目，一个由Sin7y Labs于2022年推出的ZK Stack基础设施项目，旨在为比特币、以太坊等区块链构建ZK轻客户端网络。Ola Stack包含OlaVM、Ola-lang等组件，旨在简化智能合约开发并支持 ZK 轻客户端网络。同时介绍了Massive，Ola的首个移动ZKP验证应用，以及如何通过Massive参与区块链验证并获得奖励。

zkVM 零知识证明 Massive Ola-Lang OlaVM 区块链

ola_zkzkvm
发布于 2024-09-06
阅读 ( 841 )

在登链社区挑战100天学习web3——第4天，整合 solana movies 示例代码的实现版本

汇总 solana movies 项目的智能合约和客户端所有代码

Solana 100天学习挑战

zero.eth
发布于 2024-09-06
阅读 ( 1625 )
( 12 )

DEFI - Rho Markets事件

Rho Markets在Scroll上的Compound V2分叉版本由于ETH预言机配置错误，导致750万美元的坏账。MEV机器人利用此错误进行套利，但最终归还了资金。事件强调了严格审查部署程序的重要性，即使没有智能合约漏洞，也必须确保更新不会破坏协议的任何不变量。

预言机 MEV Compound V2 Scroll 重入攻击价格操纵

Dedaub
发布于 2024-09-06
阅读 ( 1028 )

什么是zkVM？零知识范例 : 第一部分

本文深入探讨了zkVM（零知识虚拟机）的概念、原理和应用。zkVM利用零知识证明技术保障计算的完整性和隐私，在数据隐私、安全交易和去中心化金融等领域具有巨大潜力。文章还介绍了zkEVM以及评估zkVM解决方案的框架，并提出了评估 zkVM 的标准，包括正确性、安全性、信任假设、效率、速度和简洁性。

zkVM 零知识证明 zkEVM 虚拟机密码学安全性

0xlita
发布于 2024-09-05
阅读 ( 273 )

Botanix 区块链：比特币上的以太坊 Layer 2 协议

Botanix Labs 推出了 Spiderchain，这是一种与 EVM 兼容的比特币 Layer 2 解决方案，旨在结合比特币的安全性与以太坊的可编程性。Spiderchain 旨在增强比特币的可扩展性和可组合性，允许以太坊开发者轻松地将其 dApp 移植到比特币上，从而实现新的 DeFi 可能性。计划于 2025 年启动主网，并实现完全无需许可的质押。

Layer 2 EVM 比特币智能合约 Spiderchain 可扩展性

DAIC
发布于 2024-09-05
阅读 ( 290 )

Web3 极客日报 #1583

rebase
发布于 2024-09-05
阅读 ( 1248 )
( 7 )

Plonky3/Valida 十月回顾

本文是关于 Plonky3 和 Valida 项目进展的透明更新，目标是为开发者社区提供信息。文章介绍了 Plonky3 和 Valida 的 MVP 开发进度，以及对功能完整性、Partiality、异常处理、浮点数使用、渐近复杂度和系统支持等方面的审查标准。此外，还提到了 Valida LLVM 编译器的详细说明，并考虑启动早期访问计划，以获取用户反馈并完善系统。

Plonky3 Valida 零知识证明 STARK MVP LLVM编译器 FRI 密码学

0xlita
发布于 2024-09-05
阅读 ( 268 )

去中心化 AI 的前沿

本文探讨了去中心化AI领域中最有前景的想法和技术，包括计算、数据、模型和评估的去中心化方法，以及多代理系统和代理经济的发展方向。文章提出了38个关于去中心化和分布式AI的构想，并探讨了相关的机遇和挑战，强调了在AI领域实现无偏见、无需许可和开放创新的重要性。

去中心化AI 分布式AI 多代理系统代理经济模型评估数据 incentivization

cyberfund
发布于 2024-09-05
阅读 ( 314 )

EVM到Valida编译器设计

本文探讨了将以太坊虚拟机（EVM）字节码翻译成Valida字节码的编译器设计与实现中遇到的复杂性和挑战。文章比较了EVM和Valida的特性，讨论了处理字长差异、地址空间挑战以及状态交互等问题，并提出了相应的解决方案，例如使用八个32位字模拟256位算术运算，以及设计ABI来处理EVM状态树与Valida输入输出带的交互。

EVM Valida 编译器字节码零知识证明状态树

0xlita
发布于 2024-09-05
阅读 ( 235 )

GMX 源码解析四，Vault的核心源码解读

前面几节课呢，我们都了解过GMX是如何通过限价单，市价单进行杠杆的交易。同时也大致了解了系统是怎么处理清算的逻辑的，现在我们来看看，GMX最最核心的合约:VaultstructPosition{//头寸的大小，表示用户在该头寸中投入的总金额uint256

GMX

Leo
发布于 2024-09-05
阅读 ( 2163 )
( 10 )

lita 账户系统 SDK

文章介绍了作者团队正在构建的一个先进账户系统，旨在实现平台、组织和个人之间自由无摩擦的价值转移。该系统通过私有子账户、灵活的支出策略、统一身份和组织间转账等功能，解决现有金融基础设施和区块链解决方案在隐私、成本和可扩展性方面的挑战，目标是重塑工作经济框架，实现更公平的财富和权力分配。

账户系统 zkVM 隐私可扩展性去中心化零知识证明

0xlita
发布于 2024-09-05
阅读 ( 233 )

扩展Base：展望即将到来的Pectra升级

Base团队分享了其扩展Base的计划，重点关注即将到来的Pectra升级中PeerDAS的集成，旨在提高数据可用性容量。他们计划每周增加1 Mgas/s的gas目标，并积极与以太坊社区合作，推动PeerDAS的实施和blob容量的提升，以支持L2的持续扩展和降低交易费用。同时，他们也提出了改进blob数据费用机制的建议，以实现更健康的市场。

base Pectra PeerDAS 数据可用性 EIP-4844 gas目标

base__
发布于 2024-09-05
阅读 ( 616 )

Compound V3

本文深入探讨了Compound V3协议的代码基础和代币经济，提供了对其原理、架构及实现的全面理解，适合希望掌握DeFi借贷协议的开发者。内容结构清晰，包含多个章节和丰富的图示，有助于读者理清复杂的概念和逻辑。

Compound V3 DeFi 借贷协议代币经济智能合约区块链

RareSkills
发布于 2024-09-05
阅读 ( 1281 )

如何阅读区块浏览器并理解以太坊（EVM）上的交易、trace 和日志

数据分析 Dune

cryptodatabytes
发布于 2024-09-05
阅读 ( 3769 )
( 46 )

探索zk-VM设计权衡：零知识范式（第二部分）

本文深入探讨了零知识虚拟机（zkVM）的设计权衡，涵盖指令集架构（ISA）、支持的编程语言、算术化策略、证明系统以及模块化与单体架构的选择。文章还介绍了Valida zkVM的设计原则及其背后的逻辑，包括定制ISA、广泛的编程语言支持、高级约束系统和多项式承诺方案，以及对模块化和最优字段的强调，旨在优化zk-proof生成性能和效率。

zkVM 零知识证明 ISA 算术化证明系统多项式承诺

0xlita
发布于 2024-09-05
阅读 ( 216 )

Solidity 0.8.27 发布公告

为遗留处理流程带来了对 `require` 中自定义错误的支持，优化器改进，例如优化 IR 的缓存，这将通过 IR 加速编译，多个 bug 修复，以及更多功能！

Solidity

Solidity
发布于 2024-09-05
阅读 ( 1851 )
( 12 )

EIP-1559：将机制与文化分离

本文深入探讨了以太坊的EIP-1559升级，重点分析其交易费用机制的变化及其带来的经济效率和用户体验的提升。文章清晰地解释了EIP-1559的目标、设计原理及其与'超声波货币'的关系，同时指出了公众对其聊天表述的误解。通过对比EIP-1559前后的机制，本文总结了改进之处及未来多维费用市场的发展方向。

EIP-1559 以太坊交易费用机制经济效率超声波货币区块链

2077 Research
发布于 2024-09-05
阅读 ( 1406 )