nimbus-eth1/src/constants.nim

import
  bigints, math, strutils, tables, utils/padding

type
  TypeHint* {.pure.} = enum UInt256, Bytes, Any

  Int256* = BigInt #distinct int # TODO

proc int256*(i: int): Int256 =
  i.initBigInt

template i256*(i: int): Int256 =
  i.initBigInt

template i256*(i: Int256): Int256 =
  i

template getInt*(i: int): int =
  i

# TODO
# We'll have a fast fixed i256, for now this works

proc `==`*(a: Int256, b: int): bool =
  a == b.i256

proc `!=`*(a: Int256, b: int): bool =
  a != b.i256

proc `^`*(base: int; exp: int): Int256 =
  let base = base.initBigInt
  var ex = exp
  result = 1.initBigInt
  while ex > 0:
    result *= base
    dec(ex)

proc `^`*(left: Int256, right: int): Int256 =
  var value = right.initBigInt
  result = 1.initBigInt
  var m = right.i256
  while value > 0.i256:
    result = result * m
    value -= 1.i256

proc `>`*(a: Int256, b: int): bool =
  a > b.i256

proc `<`*(a: Int256, b: int): bool =
  a < b.i256

proc `mod`*(a: Int256, b: int): Int256 =
  a mod b.i256

proc `div`*(a: Int256, b: int): Int256 =
  a div b.i256

proc log256*(a: Int256): Int256 =
  # TODO
  2.i256

proc setXLen[T](s: var seq[T]; newlen: Natural) =
  if s.isNil:
    s = newSeq[T](newlen)
  else:
    s.setLen(newlen)

template mapOp(op: untyped): untyped =
  proc `op`*(left: Int256, right: Int256): Int256 =
    result = left.initBigInt
    var maxRight = right.initBigInt
    var l = max(left.limbs.len, right.limbs.len)
    result.limbs.setXLen(l)
    maxRight.limbs.setXLen(l)
    for z in 0 ..< l:
      result.limbs[z] = `op`(result.limbs[z], maxRight.limbs[z])

mapOp(`and`)
mapOp(`or`)
mapOp(`xor`)

proc `abs`*(a: Int256): Int256 =
  if a >= 0.i256: a else: -a

template `getInt`*(a: Int256): int =
  a.limbs[0].int

let
  UINT_256_MAX*: Int256 =         2 ^ 256 - 1
  UINT_256_CEILING*: Int256 =     2 ^ 256
  UINT_255_MAX*: Int256 =         2 ^ (256 - 1) - 1
  UINT_255_CEILING*: Int256 =     2 ^ (256 - 1)

  NULLBYTE* =                     "\x00"
  EMPTYWORD* =                    repeat(NULLBYTE, 32)
  UINT160CEILING*: Int256 =       2 ^ 160
  CREATE_CONTRACT_ADDRESS* =      ""
  ZERO_ADDRESS* =                 repeat("\x00", 20)
  ZERO_HASH32* =                  repeat("\x00", 20)
  STACK_DEPTH_LIMIT* =            1024
  
  GAS_NULL* =                     0.i256
  GAS_ZERO* =                     0.i256
  GAS_BASE* =                     2.i256
  GAS_VERY_LOW* =                 3.i256
  GAS_LOW* =                      5.i256
  GAS_MID* =                      8.i256
  GAS_HIGH* =                     10.i256
  GAS_EXT_CODE* =                 20.i256
  GAS_BALANCE* =                  20.i256
  GAS_SLOAD* =                    50.i256
  GAS_JUMP_DEST* =                1.i256
  GAS_SSET* =                     20_000.i256
  GAS_SRESET* =                   5000.i256
  GAS_EXT_CODE_COST* =            700.i256
  GAS_COINBASE* =                 20.i256
  GAS_SLOAD_COST* =               20.i256
  GAS_SELF_DESTRUCT_COST* =       5_000.i256
  GAS_IN_HANDLER* =               0.i256 # to be calculated in handler
  REFUNDS_CLEAR* =                15_000.i256
  
  GAS_SELF_DESTRUCT* =            0.i256
  GAS_SELF_DESTRUCT_NEW_ACCOUNT* = 25_000.i256
  GAS_CREATE* =                   32_000.i256
  GAS_CALL* =                     40.i256
  GAS_CALL_VALUE* =               9_000.i256
  GAS_CALL_STIPEND* =             2_300.i256
  GAS_NEW_ACCOUNT* =              25_000.i256
  
  GAS_COST_BALANCE* =             400.i256

  GAS_EXP* =                      10.i256
  GAS_EXP_BYTE* =                 10.i256
  GAS_MEMORY* =                   3.i256
  GAS_TX_CREATE* =                32_000.i256
  GAS_TX_DATA_ZERO* =             4.i256
  GAS_TX_DATA_NON_ZERO* =         68.i256
  GAS_TX* =                       21_000.i256
  GAS_LOG* =                      375.i256
  GAS_LOG_DATA* =                 8.i256
  GAS_LOG_TOPIC* =                375.i256
  GAS_SHA3* =                     30.i256
  GAS_SHA3_WORD* =                6.i256
  GAS_COPY* =                     3.i256
  GAS_BLOCK_HASH* =               20.i256
  GAS_CODE_DEPOSIT* =             200.i256
  GAS_MEMORY_QUADRATIC_DENOMINATOR* = 512.i256
  GAS_SHA256* =                   60.i256
  GAS_SHA256WORD* =               12.i256
  GAS_RIP_EMD160* =               600.i256
  GAS_RIP_EMD160WORD* =           120.i256
  GAS_IDENTITY* =                 15.i256
  GAS_IDENTITY_WORD* = 3
  GAS_ECRECOVER* =                3_000.i256
  GAS_ECADD* =                    500.i256
  GAS_ECMUL* =                    40_000.i256
  GAS_ECPAIRING_BASE* =           100_000.i256
  GAS_ECPAIRING_PER_POINT* =      80_000.i256
  GAS_LIMIT_EMA_DENOMINATOR* =    1_024.i256
  GAS_LIMIT_ADJUSTMENT_FACTOR* =  1_024.i256
  GAS_LIMIT_MAXIMUM*: Int256 =    2 ^ 63 - 1
  GAS_LIMIT_USAGE_ADJUSTMENT_NUMERATOR* = 3.i256
  GAS_LIMIT_USAGE_ADJUSTMENT_DENOMINATOR* = 2.i256
  
  DIFFICULTY_ADJUSTMENT_DENOMINATOR* = 2_048.i256
  DIFFICULTY_MINIMUM* =           131_072.i256
  
  BOMB_EXPONENTIAL_PERIOD* =      100_000.i256
  BOMB_EXPONENTIAL_FREE_PERIODS* = 2.i256
  
  BLOCK_REWARD* =                 5.i256 * 2.i256 # denoms.ether
  
  UNCLE_DEPTH_PENALTY_FACTOR* =   8.i256
  
  MAX_UNCLE_DEPTH* =              6.i256
  MAX_UNCLES* =                   2.i256
  
  SECPK1_P*: Int256 =             2 ^ 256 - 2 ^ 32 - 977
  SECPK1_N*: Int256 =             "115792089237316195423570985008687907852837564279074904382605163141518161494337".initBigInt
  SECPK1_A* =                     0.i256
  SECPK1_B* =                     7.i256
  SECPK1_Gx* =                    0.i256
  SECPK1_Gy* =                    0.i256
  SECPK1_G* =                     (SECPK1Gx, SECPK1Gy)
  
  EMPTY_UNCLE_HASH* =             "\x1d\xccM\xe8\xde\xc7]z\xab\x85\xb5g\xb6\xcc\xd4\x1a\xd3\x12E\x1b\x94\x8at\x13\xf0\xa1B\xfd@\xd4\x93G"
  
  GENESIS_BLOCK_NUMBER* =         0.i256
  GENESIS_DIFFICULTY* =           131_072.i256
  GENESIS_GAS_LIMIT* =            3_141_592.i256
  GENESIS_PARENT_HASH* =          ZERO_HASH32
  GENESIS_COINBASE* =             ZERO_ADDRESS
  GENESIS_NONCE* =                "\x00\x00\x00\x00\x00\x00\x00B"
  GENESIS_MIX_HASH* =             ZERO_HASH32
  GENESIS_EXTRA_DATA =            ""
  
  EMPTYSHA3 =                     "\xc5\xd2F\x01\x86\xf7#<\x92~}\xb2\xdc\xc7\x03\xc0\xe5\x00\xb6S\xca\x82';{\xfa\xd8\x04]\x85\xa4p"  
  BLANK_ROOT_HASH* =              "V\xe8\x1f\x17\x1b\xccU\xa6\xff\x83E\xe6\x92\xc0\xf8n[H\xe0\x1b\x99l\xad\xc0\x01b/\xb5\xe3c\xb4!"
  
  GAS_MOD_EXP_QUADRATIC_DENOMINATOR* = 20.i256

  MAX_PREV_HEADER_DEPTH* = 256.i256