Shorten block time

[ironbeer]

ハードフォーク

• ブロック間隔を15秒から6秒に変更
• エポック間隔を5760から14400に変更
• EnvironmentとStakeManagerコントラクトをアップデート

バグ修正

• スケジューラの乱数シードがオーバーフローする可能性があった

コード改善

• Environmentコントラクトのオンチェーン取得を廃止

[ironbeer]

今回のハードフォークは2段構えになってます

1. Environment&StakeManagerのアップデート

これまで通りのブロック番号ベースのハードフォークです。

oasys-validator/contracts/oasys/deployments.go

Line 822 in 7013a65

9999999: deploymentSet{deployments11}, // TODO

2. Environment.updateValue()の実行

こちらはエポック番号ベースのハードフォークです。

oasys-validator/params/config.go

Lines 606 to 617 in 7013a65

	func (c *ChainConfig) OasysShortenedBlockTimeStartEpoch() *big.Int {
	if c.Oasys == nil {
	return nil
	}
	if c.ChainID.Cmp(OasysMainnetChainConfig.ChainID) == 0 {
	return big.NewInt(999) // TODO
	}
	if c.ChainID.Cmp(OasysTestnetChainConfig.ChainID) == 0 {
	return big.NewInt(999) // TODO
	}
	return big.NewInt(10)
	}

以下の条件に合致するブロックで実行されます。

1. CurrentEpoch + 1が新しい環境値のStartEpochに一致する
2. 現在ブロックがエポックの真ん中である
   

   oasys-validator/consensus/oasys/environment_value.go

   Lines 76 to 85 in 7013a65

   	func (p *environmentValue) ShouldUpdate(newValue *environmentValue, number uint64) bool {
   	if p.StartEpoch.Cmp(newValue.StartEpoch) == 0 {
   	return false // skip if same value
   	}
   	if p.Epoch(number)+1 != newValue.StartEpoch.Uint64() {
   	return false // skip if not the previous epoch
   	}
   	// check if it is in the middle of the previous epoch
   	return (number - p.EpochStartBlock(number)) == p.EpochPeriod.Uint64()/2
   	}

例えばStartEpochに10が指定されている場合は54720がフォーク実行ブロックになります。

[tak1827]

コメントで「ブロックタイムを短くすることととは関係ないが、overflowするとわかったので、合わせて修正した」というような内容を添えてもらえますでしょうか？

[tak1827]

👍

[tak1827]

Storageサイズは32byteごとにPackされます。
単純に要素をカウントするだけだと正確ではないので、そのことをTODOに残しておいてください。

例えば、次のStructの場合

struct X {
  address a;  // 20 bytes
  bool b;     // 1 bytes
  uint256 c;  // 32 bytes
}

消費されるSlotは
(20 bytes + 1 bytes) + (32bytes) -> 2 slot
です。

Packされた場合、structvalue.applyのmemberSlotも変わってきます。

[ironbeer]

そもそもですがstorage.goは記述者がストレージレイアウトの仕様を理解していることを前提にしています。そうでないとテストコードが書けないからです。
例えばstructvalue等のデータ構造を使わなくとも全てベタ書き可能ですがそれではあまりにも読み辛いかつ面倒なので用意したにすぎません。

// このStructのストレージを表現したいとする
// X({ a: address(255), b: true, c: uint256(65535) });

// structvalueパターン
storage{
  "0x00": structvalue{
    "0x00000000000000000000000000000000000000ff000000000000000000000001",  
    "0x000000000000000000000000000000000000000000000000000000000000ffff",
  },
}

// ベタ書きパターン
storage{
  "0x00": "0x00000000000000000000000000000000000000ff000000000000000000000001",
  "0x01": "0x000000000000000000000000000000000000000000000000000000000000ffff",
  },
}

ストレージレイアウトの仕様を理解していないとこのような記述をしてしまう可能性がありますがそれは対象外かつテストコードで検知するべきです。

storage{
  "0x00": structvalue{
    "0x00000000000000000000000000000000000000ff000000000000000000000001",  
    "0x000000000000000000000000000000000000000000000000000000000000ffff",
  },
  "0x01": "0x...",  // X.cの値を上書きしてしまった
}

作りこんでスロット計算を完璧にする事は可能ですが現時点では不要だと思っています。

slot := 0
for _, val := range structvalue {
  switch val.(type) {
    case uint8:
    case uint16:
    case uint32:
    ....
  }
}

[ironbeer]

注意書きを追加しました

oasys-validator/contracts/oasys/storage.go

Lines 121 to 123 in 0002fb5

	// `struct` type value.
	// Assumes that each contained value is exactly one slot in length (32 bytes).
	type structvalue []interface{}

[ironbeer]

TODO：フォークエポックを決める

oasys-validator/params/oasys.go

Lines 13 to 14 in 0002fb5

	SHORT_BLOCK_TIME_FORK_EPOCH_MAINNET = 999 // TODO
	SHORT_BLOCK_TIME_FORK_EPOCH_TESTNET = 999 // TODO