Skip to content

Commit

Permalink
Update supervisor_001_draft.md (#334)
Browse files Browse the repository at this point in the history
  • Loading branch information
goral09 authored Aug 18, 2021
1 parent 1e985f6 commit 4c3339a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spec/light-client/supervisor/supervisor_001_draft.md
Original file line number Diff line number Diff line change
Expand Up @@ -251,7 +251,7 @@ Replace_Secondary(addr Address, root-of-trust LightBlock)
```

- Implementation remark
- maintain [LCD-INV-ROOT-AGREED.1], that is,
- maintain [LC-INV-ROOT-AGREED.1], that is,
ensure root-of-trust = FetchLightBlock(nsec, root-of-trust.Header.Height)
- Expected precondition
- *FullNodes* is nonempty
Expand Down

0 comments on commit 4c3339a

Please sign in to comment.