Merge pull request #25 from derbear/abft-typo

Fix typo in seed verification procedure.
algorandfoundation · Jan 13, 2020 · 8096e2d · 8096e2d
2 parents ba77463 + 123a84b
commit 8096e2d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev/abft.md b/dev/abft.md
@@ -408,7 +408,7 @@ $$
 
 The seed is valid if the following verification procedure succeeds:
 
-1. Let $(B, \pk) = \Record(L, r - \delta_b, I)$; let $q_0 = \Seed(L, r-1)$.
+1. Let $(B, \pk) = \Record(L, r - \delta_b, I)$; let $q_0 = \Seed(L, r-\delta_s)$.
 
 2. If $p = 0$, check $\mathrm{VRF.Verify}(y, q_0, \pk)$, immediately returning
    failure if verification fails. Let