newsence
來源篩選

Hegota Proposal: Checked Arithmetic Opcodes

Ethereum Magicians

This EIP introduces four new opcodes (SAFEADD, SAFESUB, SAFEMUL, SAFEDIV) to handle 256-bit arithmetic with built-in overflow and division-by-zero checks, significantly reducing gas costs and code size.

newsence

Hegota 提案：具備檢查機制的算術操作碼

Ethereum Magicians
大約 3 小時前

AI 生成摘要

此 EIP 引入了四個新的操作碼：SAFEADD、SAFESUB、SAFEMUL 與 SAFEDIV，用於執行具備內建溢位、欠位及除以零檢查的無符號 256 位元算術運算。這使智能合約更易於閱讀與編寫，且執行成本更低。

摘要 (ELI5)：

此 EIP 引入了四個新的操作碼：SAFEADD、SAFESUB、SAFEMUL 和 SAFEDIV，用於執行帶有內建溢位、不足位（underflow）及除以零檢查的無符號 256 位元算術運算。這使得智慧合約更易於閱讀與編寫，且執行成本更低。

發起人： Hubert Ritzdorf,

詳細理由：

  • 目前編譯器會添加檢查算術，這產生了顯著的開銷。

  • 引入檢查算術操作碼將使 Vyper 和 Solidity 的檢查加法實際 Gas 成本分別降低 88% 和 93%。

  • 這降低了執行成本和程式碼大小。

  • 以前的方法未能提供如此大幅度的 Gas 成本削減。

利益相關者影響：

正面：

  • 更容易實現 EVM 編譯器

  • 智慧合約更具可讀性

  • 智慧合約執行成本更低

  • 智慧合約體積更小

負面：

  • 佔用了四個額外的操作碼

技術就緒度：

此提案已準備就緒。請參閱下方連結的完整 EIP。執行客戶端中所需的修改相對較小。

安全性與開放問題：

我們歡迎關於新操作碼 Gas 成本的討論。

完整 EIP：

checked_opcodes.md

eip: XXXX
title: 檢查算術操作碼 (Checked Arithmetic Opcodes)
description: 增加加法、減法、乘法和除法的操作碼，在發生溢位、不足位或除以零時回退（revert）
author: Hubert Ritzdorf (@ritzdorf)
discussions-to: 待定
status: 草案 (Draft)
type: 標準軌跡 (Standards Track)
category: 核心 (Core)
created: 2026-03-07
此文件已截斷。