25733a4aad
On ACD 163, it was agreed to bump the target and max blob values from `2/4` to `3/6` for future devnets until we could decide on final mainnet number. This change contains said update, making master pass all the hive tests. The final decision for mainnet cancun is still to be made. --------- Co-authored-by: Felix Lange <fjl@twurst.com>
115 lines
4.1 KiB
Go
115 lines
4.1 KiB
Go
// Copyright 2023 The go-ethereum Authors
|
|
// This file is part of the go-ethereum library.
|
|
//
|
|
// The go-ethereum library is free software: you can redistribute it and/or modify
|
|
// it under the terms of the GNU Lesser General Public License as published by
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
// (at your option) any later version.
|
|
//
|
|
// The go-ethereum library is distributed in the hope that it will be useful,
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
// GNU Lesser General Public License for more details.
|
|
//
|
|
// You should have received a copy of the GNU Lesser General Public License
|
|
// along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
package eip4844
|
|
|
|
import (
|
|
"fmt"
|
|
"math/big"
|
|
"testing"
|
|
|
|
"github.com/ethereum/go-ethereum/params"
|
|
)
|
|
|
|
func TestCalcExcessBlobGas(t *testing.T) {
|
|
var tests = []struct {
|
|
excess uint64
|
|
blobs uint64
|
|
want uint64
|
|
}{
|
|
// The excess blob gas should not increase from zero if the used blob
|
|
// slots are below - or equal - to the target.
|
|
{0, 0, 0},
|
|
{0, 1, 0},
|
|
{0, params.BlobTxTargetBlobGasPerBlock / params.BlobTxBlobGasPerBlob, 0},
|
|
|
|
// If the target blob gas is exceeded, the excessBlobGas should increase
|
|
// by however much it was overshot
|
|
{0, (params.BlobTxTargetBlobGasPerBlock / params.BlobTxBlobGasPerBlob) + 1, params.BlobTxBlobGasPerBlob},
|
|
{1, (params.BlobTxTargetBlobGasPerBlock / params.BlobTxBlobGasPerBlob) + 1, params.BlobTxBlobGasPerBlob + 1},
|
|
{1, (params.BlobTxTargetBlobGasPerBlock / params.BlobTxBlobGasPerBlob) + 2, 2*params.BlobTxBlobGasPerBlob + 1},
|
|
|
|
// The excess blob gas should decrease by however much the target was
|
|
// under-shot, capped at zero.
|
|
{params.BlobTxTargetBlobGasPerBlock, params.BlobTxTargetBlobGasPerBlock / params.BlobTxBlobGasPerBlob, params.BlobTxTargetBlobGasPerBlock},
|
|
{params.BlobTxTargetBlobGasPerBlock, (params.BlobTxTargetBlobGasPerBlock / params.BlobTxBlobGasPerBlob) - 1, params.BlobTxTargetBlobGasPerBlock - params.BlobTxBlobGasPerBlob},
|
|
{params.BlobTxTargetBlobGasPerBlock, (params.BlobTxTargetBlobGasPerBlock / params.BlobTxBlobGasPerBlob) - 2, params.BlobTxTargetBlobGasPerBlock - (2 * params.BlobTxBlobGasPerBlob)},
|
|
{params.BlobTxBlobGasPerBlob - 1, (params.BlobTxTargetBlobGasPerBlock / params.BlobTxBlobGasPerBlob) - 1, 0},
|
|
}
|
|
for i, tt := range tests {
|
|
result := CalcExcessBlobGas(tt.excess, tt.blobs*params.BlobTxBlobGasPerBlob)
|
|
if result != tt.want {
|
|
t.Errorf("test %d: excess blob gas mismatch: have %v, want %v", i, result, tt.want)
|
|
}
|
|
}
|
|
}
|
|
|
|
func TestCalcBlobFee(t *testing.T) {
|
|
tests := []struct {
|
|
excessBlobGas uint64
|
|
blobfee int64
|
|
}{
|
|
{0, 1},
|
|
{2314057, 1},
|
|
{2314058, 2},
|
|
{10 * 1024 * 1024, 23},
|
|
}
|
|
for i, tt := range tests {
|
|
have := CalcBlobFee(tt.excessBlobGas)
|
|
if have.Int64() != tt.blobfee {
|
|
t.Errorf("test %d: blobfee mismatch: have %v want %v", i, have, tt.blobfee)
|
|
}
|
|
}
|
|
}
|
|
|
|
func TestFakeExponential(t *testing.T) {
|
|
tests := []struct {
|
|
factor int64
|
|
numerator int64
|
|
denominator int64
|
|
want int64
|
|
}{
|
|
// When numerator == 0 the return value should always equal the value of factor
|
|
{1, 0, 1, 1},
|
|
{38493, 0, 1000, 38493},
|
|
{0, 1234, 2345, 0}, // should be 0
|
|
{1, 2, 1, 6}, // approximate 7.389
|
|
{1, 4, 2, 6},
|
|
{1, 3, 1, 16}, // approximate 20.09
|
|
{1, 6, 2, 18},
|
|
{1, 4, 1, 49}, // approximate 54.60
|
|
{1, 8, 2, 50},
|
|
{10, 8, 2, 542}, // approximate 540.598
|
|
{11, 8, 2, 596}, // approximate 600.58
|
|
{1, 5, 1, 136}, // approximate 148.4
|
|
{1, 5, 2, 11}, // approximate 12.18
|
|
{2, 5, 2, 23}, // approximate 24.36
|
|
{1, 50000000, 2225652, 5709098764},
|
|
}
|
|
for i, tt := range tests {
|
|
f, n, d := big.NewInt(tt.factor), big.NewInt(tt.numerator), big.NewInt(tt.denominator)
|
|
original := fmt.Sprintf("%d %d %d", f, n, d)
|
|
have := fakeExponential(f, n, d)
|
|
if have.Int64() != tt.want {
|
|
t.Errorf("test %d: fake exponential mismatch: have %v want %v", i, have, tt.want)
|
|
}
|
|
later := fmt.Sprintf("%d %d %d", f, n, d)
|
|
if original != later {
|
|
t.Errorf("test %d: fake exponential modified arguments: have\n%v\nwant\n%v", i, later, original)
|
|
}
|
|
}
|
|
}
|