Skip to content

Commit

Permalink
Fix typo
Browse files Browse the repository at this point in the history
Fix #80
  • Loading branch information
fabrice102 authored Apr 11, 2023
1 parent f4131d8 commit 82d70ad
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion dev/abft.md
Original file line number Diff line number Diff line change
Expand Up @@ -825,7 +825,7 @@ identified with the address $I$ and possesses the secret key $\sk$,
and the agreement is occurring on the ledger $L$. Then the player
constructs a vote $\Vote(I, r, p, s, v)$ by doing the following:

- Let $(\pk, B) = \Record(L, r - \delta_b, I)$,
- Let $(B, \pk) = \Record(L, r - \delta_b, I)$,
$\Bbar = \Stake(L, r - \delta_b)$, $Q = \Seed(L, r - \delta_s)$,
$\tau = \CommitteeThreshold(s)$, $\taubar = \CommitteeSize(s).$

Expand Down

0 comments on commit 82d70ad

Please sign in to comment.