From 5112205927338ce9b705e900a6d1a38e4014c13c Mon Sep 17 00:00:00 2001
From: Ryo Sato <ryo.sato@datachain.jp>
Date: Fri, 29 Sep 2023 22:03:26 +0900
Subject: [PATCH] chore: fix spec pseudocode

Signed-off-by: Ryo Sato <ryo.sato@datachain.jp>
---
 SPEC.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/SPEC.md b/SPEC.md
index 69b9b6f..302dfb8 100644
--- a/SPEC.md
+++ b/SPEC.md
@@ -222,7 +222,7 @@ function verifySeals(
     chainId = getChainId()
     epoch = headers[0].number / BLOCK_PER_EPOCH
     // Validator set changes take place at the (epoch+N/2) blocks. (N is the size of validatorset before epoch block)
-    checkpoint = epoch * headers[0].number + checkpoint(previousValidators)
+    checkpoint = epoch * BLOCK_PER_EPOCH + checkpoint(previousValidators)
     for header in headers {
         // verifySeal checks whether the signature contained in the header satisfies the consensus protocol requirements
         if header.number >= checkpoint {