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

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

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

Solidity 0.8.27 发布公告

为遗留处理流程带来了对 `require` 中自定义错误的支持，优化器改进，例如优化 IR 的缓存，这将通过 IR 加速编译，多个 bug 修复，以及更多功能！
Solidity 
  • Solidity
  • 发布于 2024-09-05
  • 阅读 ( 1689 )
  • ( 12 )

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

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

OP Labs｜从 EIP 到以太坊主网：4844 的集体胜利

in  Optimism 中文力量
让我们来回顾下，以太坊社区见证EIP-4844在以太坊主网上部署的这一重要时刻，这标志着历时两年的深入研究，开发和协作迎来了胜利。这篇博文记录了EIP-4844从筹划到实施的历程，并阐述了这次更新之于以太坊的未来有何意义。原文来源：FromEIPtoEthereummainne
#EIP  以太坊  op 

Solana 60 天 教程

该文章介绍了RareSkills提供的为期60天的Solana开发课程，旨在帮助有以太坊或EVM开发背景的工程师快速掌握Solana程序开发。课程通过比较以太坊和Solana的相似之处和差异，帮助学习者高效过渡到Solana开发。
Solana  Ethereum  Rust  智能合约  课程  开发 

以太坊 - 如何使用 .NET (Nethereum) 连接到以太坊

本文介绍了如何使用 .NET 和 Nethereum 库连接以太坊网络，详细说明了 .NET 的基础知识、C# 编程语言的特性，以及 Nethereum 的功能特点。同时提供了安装和配置 Nethereum 的步骤，并附上了示例代码。最后，作者鼓励开发者利用所学知识构建去中心化应用。
.NET  C#  Nethereum  以太坊  区块链  Web3 

代理模式与 Delegatecall 规范手册

《代理模式与 Delegatecall 书籍》深入探讨了 Solidity 开发中的代理模式及其背后的原理，针对开发者和审计师的需求，系统性地呈现了有关 EVM 及 Solidity 编译器的知识。这本书清晰地组织了多个章节，从存储槽、ABI 编码到代理模式的不同实现，提供了丰富的有用信息，是希望深入了解这一复杂主题的开发者的重要资源。
代理模式  delegatecall  Solidity  EVM  智能合约  ERC标准 

GMX 源码解析三，清算逻辑

上一课中我们具体讲到了杠杆交易的风险，满足两个条件之后，就有可能会爆仓条件一：抵押品总USD价值+仓位盈亏USD价值<资金USD费用+清算USD费用。条件二：(抵押品总USD价值+仓位盈亏USD价值)*最大杠杆倍数<仓位总USD价值。那如果爆仓了，合约会触发什么样的逻辑
GMX 
  • Leo
  • 发布于 2024-09-05
  • 阅读 ( 1772 )
  • ( 10 )

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

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

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

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

Mina: 加密货币的降本增效

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

Lita 发布 Valida zkVM 及 C 编译器

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

Web3 极客日报 #1582

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

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

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

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

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