2019-05-07 Meeting notes: validation walkthrough

Date

May 7, 2019

Kent walks through the validation protocol. We discuss and document changes. There is clarity for the work to do during the week.

Item	Notes

Item	Notes
Resources	https://rchain.atlassian.net/wiki/spaces/CORE/pages/647856129 https://docs.google.com/presentation/d/1-ajP1T9Bgd9WUmo7xCLINw3lcLECnD0l11Os2uORJRQ/edit?usp=sharing https://rchain.atlassian.net/wiki/spaces/CORE/pages/412024951
Fault tolerance	Kent described definitions and understanding of fault tolerance
Consensus specification	Point to https://rchain.atlassian.net/wiki/spaces/CORE/pages/412024951 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.
Sidebars	(what did Ovidiu ask?)

@Former user (Deleted) name the bullets in the slashing api section of to support diagramming.

@Former user (Deleted) update slashing api section