May 7, 2019
@Former user (Deleted)
Kent walks through the validation protocol. We discuss and document changes. There is clarity for the work to do during the week.
Kent described definitions and understanding of fault tolerance
Point to https://rchain.atlassian.net/wiki/spaces/CORE/pages/412024951/RChain+consensus+specification
Discussion about slashing API section
RECOMMENDATION “Challenge our constants” When we have constants in specifications, we need to ensure they are truly constants in the runtime.
Some constants will be defined and governed by Coop policy
Slashing for invalid blocks
Discussion about how equivocations, justifications, and slashing for invalid blocks works.
(what did Ovidiu ask?)