Ethereum sử dụng hằng số BLOB_BASE_FEE_UPDATE_FRACTION khi cập nhật phí cơ sở blob cho mỗi khối, với tỷ lệ thay đổi trong phí được tính như sau:
math.exp((blob_gas_used - TARGET_BLOBS * GAS_PER_BLOB) / BLOB_BASE_FEE_UPDATE_FRACTION)Một giá trị mới cho hằng số này đã được đưa vào mỗi EIP thay đổi khí blob mục tiêu. Hóa ra có một cách tổng quát hóa đơn giản để tính hằng số, phù hợp với cả giá trị được đặt trong EIP-4844 và EIP-7691 , phù hợp với các hardfork chỉ tham số blob (BPO) của EIP-7892 . Phép tính phân số cập nhật tổng quát này, cũng được chỉ định tại đây , là:
BLOB_BASE_FEE_UPDATE_FRACTION = round (MAX_BLOBS * GAS_PER_BLOB / ( 2 * math.log( 1.125 )))Về mặt toán học, chúng ta có thể biểu thị giá trị lý tưởng (không làm tròn) như sau
trong đó m m là lượng khí blob tối đa trên mỗi khối. Để hiểu tại sao điều này lại tổng quát hóa cả EIP-4844 và EIP-7691, chúng ta sẽ thiết lập các phương trình được sử dụng bởi các EIP này và suy ra công thức tổng quát từ chúng.
Triển lãm
Định nghĩa t t là lượng khí blob mục tiêu cho mỗi khối. Theo EIP-4844, mục tiêu đạt một nửa mức tối đa: t = m/2 t = m / 2 và phí blob cơ sở được thiết kế để tăng hoặc giảm tối đa 1,125 và 1/1,125 cho mỗi khối khi mức sử dụng blob đạt mức tối đa hoặc tối thiểu. Ở mức khí blob tiêu thụ tối đa, phương trình cho sự thay đổi tỷ lệ trong phí sẽ trở thành
Lấy logarit tự nhiên của cả hai vế và sắp xếp lại thành b b , sau đó thay t=m/2 t = m / 2 , ta được phương trình đã cho:
Theo EIP-7691, BLOB_BASE_FEE_UPDATE_FRACTION được suy ra là “điểm giữa giữa việc duy trì khả năng phản hồi với các blob đầy đủ và không có blob nào không đổi”. b b giữ cho phản hồi với “các blob đầy đủ” không đổi là
B b giữ cho phản ứng với "không có đốm" không đổi là
theo quy tắc logarit: \ln(1/x) = -\ln(x) ln ( 1 / x ) = − ln ( x ) , trở thành
“Điểm giữa” (b_\text{đầy}+b_\text{trống})/2 ( b đầy + b rỗng ) / 2 được đơn giản hóa thành phương trình tổng quát:
Ứng dụng
Phương trình tổng quát đưa ra những thay đổi phần trăm thỏa đáng ở bất kỳ tỷ lệ nào. Bảng 1 phác thảo một vài ví dụ.
| Tối đa:Mục tiêu | Đầy % | Trống % | Hệ số đầy đủ 1,125^k 1,125 k | Hệ số rỗng 1,125^k 1,125 k |
|---|---|---|---|---|
| 5{:}4 5 : 4 | +4,82% + 4,82 % | -17,18% − 17,18 % | k = \tfrac{2}{5} k = 2 5 | k = -\tfrac{8}{5} k = − 8 5 |
| 4{:}3 4 : 3 | +6,07% + 6,07 % | -16,19% − 16,19 % | k = \tfrac{1}{2} k = 1 2 | k = -\tfrac{3}{2} k = − 3 2 |
| 3{:}2 3 : 2 | +8,17% + 8,17 % | -14,53% − 14,53 % | k = \tfrac{2}{3} k = 2 3 | k = -\tfrac{4}{3} k = − 4 3 |
| 2{:}1 2 : 1 | +12,50% + 12,50 % | -11,11% − 11,11 % | k = 1 k = 1 | k = -1 k = − 1 |
| 3{:}1 3 : 1 | +17,00% + 17,00 % | -7,55% − 7,55 % | k = \tfrac{4}{3} k = 4 3 | k = -\tfrac{2}{3} k = − 2 3 |
| 4{:}1 4 : 1 | +19,32% + 19,32 % | -5,72% − 5,72 % | k = \tfrac{3}{2} k = 3 2 | k = -\tfrac{1}{2} k = − 1 2 |
| 5{:}1 5 : 1 | +20,74% + 20,74 % | -4,60% − 4,60 % | k = \tfrac{8}{5} k = 8 5 | k = -\tfrac{2}{5} k = − 2 5 |
Bảng 1. Tác động đối với các khối đầy và khối trống trên nhiều tỷ lệ tối đa:mục tiêu khác nhau với phân số cập nhật tổng quát.
Lưu ý ở cột 4 và 5 rằng phí cơ bản thay đổi theo hệ số 1,125^k 1,125 k , trong đó k k là hàm số của lượng khí blob tiêu thụ g g :
Có một đối xứng tỷ lệ bổ sung xung quanh 2:1. Độ lớn của k k được bảo toàn khi mục tiêu được di chuyển một khoảng cách bằng nhau ở trên hoặc dưới điểm giữa ( m/2 m / 2 ). Cụ thể, k_\text{full}(m{:}t) = -k_\text{empty}(m{:}(mt)) k đầy ( m : t ) = − k rỗng ( m : ( m − t ) ) và k_\text{full}(m{:}(mt)) = -k_\text{empty}(m{:}t) k đầy ( m : ( m − t ) ) = − k rỗng ( m : t ) , ví dụ áp dụng cho các tỷ lệ bổ sung 3{:}1 3 : 1 và 3{:}2 3 : 2 cũng như 4{:}1 4 : 1 và 4{:}3 4 : 3 .
Mở rộng chuẩn hóa khí
Phương trình tổng quát này tự nhiên mở rộng sang phương pháp chuẩn hóa khí được nêu trong EIP-7999 . Phương pháp này tách phần cập nhật khỏi bất kỳ giới hạn tài nguyên cụ thể nào bằng cách trực tiếp hơn: nó chuẩn hóa delta khí (gt) ( g - t ) bằng cách chia nó cho khí tối đa m m (được gọi là giới hạn trong EIP-7999) khi cập nhật excess_gas đang chạy. Điều này cho phép sử dụng một phần cập nhật chung duy nhất — độc lập với m m — cho tất cả các tài nguyên, bất kể giới hạn riêng lẻ của chúng.
Hai cách tiếp cận chỉ khác nhau ở thời điểm phép chia cho m m xảy ra. Trong phương trình tổng quát, m m được đặt trong tử số của phân số cập nhật b b . Vì bản thân b b được sử dụng làm mẫu số trong số mũ cập nhật phí, (gt)/b ( g − t ) / b , nên về cơ bản, m m được đặt trong mẫu số của phép tính tổng thể.
Cuối cùng, yếu tố thay đổi phí cuối cùng:
vẫn giữ nguyên. Tuy nhiên, việc chuẩn hóa làm cho kiến trúc mạnh mẽ hơn, đảm bảo giá vẫn ổn định nếu giới hạn của tài nguyên thay đổi, vì giới hạn đó đã là một phần của bản cập nhật excess_gas đã chuẩn hóa.
Điểm kết luận
Mục đích của bài đăng này như sau:
- Để giải thích lý do tại sao phương trình đề xuất lại khái quát hóa các EIP trước đây.
- Trình bày tác động của phương trình đề xuất trên nhiều tỷ lệ tối đa:mục tiêu khác nhau, minh họa những thay đổi phần trăm hợp lý và tính đối xứng tỷ lệ bổ sung.
- Để tạo tiền đề cho việc tối ưu hóa sâu hơn trong EIP-7999. Mảnh ghép cuối cùng của câu đố là tận dụng các đặc tính tổng quát của phương trình, nhưng áp dụng m m ở giai đoạn trước đó, ngay khi cập nhật
excess_gas. - Trong buổi ACDE vừa qua , một số người tham gia chỉ nhận ra các tính chất chung sau khi cuộc thảo luận kết thúc (qua trò chuyện). Bài đăng này có thể là nơi để thảo luận sâu hơn về việc thiết lập phương trình đề xuất làm mặc định cho phân số cập nhật trong tương lai.
