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	Validator Incentives and Casper https://docs.google.com/presentation/d/1-ajP1T9Bgd9WUmo7xCLINw3lcLECnD0l11Os2uORJRQ/edit?usp=sharing RChain consensus specification
Fault tolerance	Kent described definitions and understanding of fault tolerance
Consensus specification	Point to 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.
Sidebars	(what did Ovidiu ask?)

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