できるだけ小さくてバグのでる余地のない検証器のカーネルを実装するってのが常套だよ