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

自定义指令集架构：零知识范式（第三部分）

本文深入探讨了Lita公司Valida zkVM中自定义指令集架构（ISA）的设计及其优势。Valida通过定制ISA，优化了零知识证明（ZKP）的效率，并克服了传统ISA在zkVM环境中的局限性。通过Valida LLVM编译器工具链，开发者可以使用熟悉的C语言进行开发，兼顾了性能和易用性，为下一代安全高效的ZKP应用铺平了道路。
零知识证明  zkVM  指令集架构  自定义ISA  编译器  Valida 
  • 0xlita
  • 发布于 2024-09-05
  • 阅读 ( 188 )

链下计算的 Mina 智能合约 zkApps 快速入门

本篇尝试从 Token 合约的角度学习 Mina 的 zkApps 的基本编程方法，从中了解了 Mina 合约不需要部署到链上，只需要生成链下证明，然后更新链上的账号，这种方式解锁了智能合约新的可能性。
Mina 
  • 线结边
  • 发布于 2024-09-05
  • 阅读 ( 1999 )
  • ( 53 )

Mina: 加密货币的降本增效

当大多数高性能公链通过提高每秒交易数量 (TPS) 来增强处理能力时，Mina 通过恒定的交易手续费支持几乎无限的计算量。
Mina 
  • 线结边
  • 发布于 2024-09-05
  • 阅读 ( 1306 )
  • ( 6 )

Lita 发布 Valida zkVM 及 C 编译器

Lita 发布了 Valida 零知识虚拟机和 C 编译器工具链的 alpha 版本，使开发者能够在 Valida 上编译、运行、证明和验证 C 程序。Valida 在初始基准测试中表现出前景，在证明生成速度和效率方面有了多个数量级的提高。LLVM Valida 编译器后端为所有 LLVM 兼容编程语言利用经济高效的大规模 STARK 零知识证明奠定了基础。
零知识证明  虚拟机  编译器  STARK  性能  C语言 
  • 0xlita
  • 发布于 2024-09-05
  • 阅读 ( 164 )

Web3 极客日报 #1582

  • rebase
  • 发布于 2024-09-04
  • 阅读 ( 1263 )
  • ( 8 )

量化区块链中社会共识的去中心化和安全性

本文深入探讨了区块链中的社会共识机制在安全性和去中心化方面的效果，定义了一系列量化这些概念的指标，包括政治实体数量、成本、故障检测能力等。通过数学框架，文章提出了对区块链网络去中心化和安全性的评估方法，并通过实证假设分析了硬件需求和层二解决方案的影响。
社会共识  区块链  去中心化  安全性  故障检测  经济学 
  • thogiti
  • 发布于 2024-09-04
  • 阅读 ( 791 )

GMX 源码解析二，市价订单逻辑

从上述时序图上来看，无论是市价单还是限价单，他们的执行逻辑其实都是一样的，都是EOA账户发起交易，智能合约生成交易单。由交易机器人根据当前市场价格进行匹配，匹配成功后，像智能合约发起执行命令。它们直接唯一的区别就是执行的合约不同（限价单:OrderBook,市价单:PositionRout
GMX 
  • Leo
  • 发布于 2024-09-04
  • 阅读 ( 2116 )
  • ( 7 )

ICICLE V3 - 旨在加速零知识证明（ZKP）的密码学库

ICICLE v3 发布，这是一个密码学库，旨在加速零知识证明（ZKP）。新版本引入了强大的CPU后端，将ICICLE的卓越性能和用户友好的多项式API扩展到标准处理器，从而实现更大的灵活性和可访问性。此外，新版本还优化了GPU功能，并支持更大的原语。
零知识证明  密码学库  CPU后端  GPU  多项式API  ICICLE 

UUPS：通用可升级代理标准（ERC-1822）

in  代理模式与 Delegatecall 规范手册
UUPS：通用可升级代理标准（ERC-1822）
UUPS  Solidity 

MCP中时间竞争的时间戳排序 - 权益证明/区块提议者

本文讨论了以太坊中多重并发提议者（MCP）机制，旨在解决由领导者主导的共识机制带来的垄断问题。文章探讨了在MCP经济秩序下的确定性区块排序方法，分析了在存在抢跑交易激励下的时间竞争问题，并介绍了部分排序数据集（POD）的概念。最后，文章讨论了采用POD作为MCP的主要数据结构如何缓解MEV攻击，并强调了验证者地理位置分散的重要性。
多重并发提议者  MEV  前置交易  部分排序数据集  时间竞争  以太坊 

Vitalik: 胶水和协处理器架构

现代计算任务可以分为复杂但不密集的“业务逻辑”和结构化但密集的“昂贵工作”。 EVM 和 AI 代码展示了如何将这两部分计算分开处理：业务逻辑用高通用性但低效率的架构处理，而昂贵工作用低通用性但高效率的架构处理。 这种架构对区块链虚拟机、安全计算和密码学有积极影响
Vitalik 

Penpie 被黑客攻击事件分析

一个基于Pendle协议构建的农业协议，遭受了重入攻击，导致损失约2700万美元。由于Penpie已暂停，我们现在提供详细的根本原因分析。这是一个典型的由于缺乏重入保护而导致的问题。具体来说，易受攻击的合约（0xff51c6，PendleStaking的实现合约）未能考虑到所提供的参数
安全事件分析 
  • Alan
  • 发布于 2024-09-04
  • 阅读 ( 2480 )
  • ( 10 )

Capella - 信标链

Capella 是一个共识层的升级，主要聚焦于验证者的提取功能。文章详细介绍了验证者提取的自动化过程、新的自定义类型、容器结构以及状态转换函数，特别是对于历史汇总的处理和提取的操作。这些新特性旨在优化以太坊的验证者管理及其提取过程。
Capella  验证者提取  以太坊  共识层  状态转换  自定义类型 

如何更快、更批量地获取解析后的Solana交易

本文介绍了使用Shyft的RPC和API服务更快、更高效地获取和解析Solana交易的方法。通过并行API请求，可以加速数据检索并提高流程效率。文章详细说明了如何利用Shyft RPC获取交易签名，并使用Shyft API解析交易，从而实现批量处理交易，并过滤掉错误的交易。
Solana  交易解析  Shyft RPC  Shyft API  getSignaturesForAddress  并行处理 
  • Shyft_to
  • 发布于 2024-09-04
  • 阅读 ( 1003 )
  • ( 2 )

GMX 源码解析一，限价订单逻辑

解析 GMX 限价订单逻辑
GMX 
  • Leo
  • 发布于 2024-09-04
  • 阅读 ( 2491 )
  • ( 51 )

Web3加速器Account abstraction

Account abstraction一致是以太坊开发社区的梦，同时也是以太坊路线图的一部分；它具有支持多签和社交恢复，签名支持更高效和更简单的签名策略比如Schnorr,BLS，以及后量子安全签名算法（Lamport,Winternitz），同时可升级。虽然智能合约钱包在理论上可以执行
Account abstraction 
  • TTEP
  • 发布于 2024-09-04
  • 阅读 ( 1537 )
  • ( 8 )

当 OP Stack 进化成 OP “超级链”概念

in  Optimism 中文力量
本文由LXDAO专家小组Shanni攥写，详细解答了Optimism超级链的由来，现状，愿景等等大家可能都听说过OP，OPStack和超级链。好奇宝宝们可能就会问了：What？Why？Where？本篇文章讲给大家一一解答，超级链的现状，愿景等等。文末还贴心整理一键发布L2/
#OP  超级链  L2 

智能互联网 IOI

本文介绍了“智能互联网”（IOI）的概念，它是一个开放、去中心化的市场，允许用户直接与人工智能能力互动。通过将需求方（需要完成任务的用户）与供应方（AI模型、代理和多代理工作流）连接，IOI 旨在革新技术帮助人们实现更多目标的方式。文章还探讨了 IOI 的架构、面临的挑战以及潜在的经济影响。
智能互联网  人工智能  AI代理  去中心化  多代理工作流  经济影响 

【Solidity Yul Assembly】4.1 | 100% Yul Contract

in  Solidity Yul Assembly 内联汇编
100% Yul 合约。
Yul  Solidity合约  内联汇编  assembly 
  • 0xE
  • 发布于 2024-09-04
  • 阅读 ( 2038 )
  • ( 11 )

ETH质押经济学研究：质押收益率曲线该如何设计

针对 ETH增发模型的讨论，LST的使用率和货币属性逐渐增强，但这可能带来负面效应。 如果LST超越ETH，成为以太坊上除Gas Token的主流货币，届时用户将面临LST带来的对手方风险。
LSD 
  • 仙壤
  • 发布于 2024-09-03
  • 阅读 ( 2395 )