Date

May 7, 2019

Participants

  • @Kelly Foster

  • @Pawel Szulc

  • @Former user (Deleted)

  • @Łukasz Gołębiewski

  • @Lucius Meredith

  • @Adam Szkoda

  • @Artur Gajowy

  • @Timm Schäuble

  • @Kayvan Kazeminejad

  • @Dominik Zajkowski

  • @Tomáš Virtus

  • @Chris Boscolo

  • @Sebastian Bach

Goals

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

Discussion topics

Item

Notes

Item

Notes

Resources

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?)

Action items

@Former user (Deleted) name the bullets in the slashing api section of https://rchain.atlassian.net/wiki/spaces/CORE/pages/412024951 to support diagramming.

Decisions