State transition gamma_s on epoch change

[emielsebastiaan]

Ik heb nog wel een concreet verzoek, ik ben bezig met 'tiny/publish-tickets-no-mark-9.json' en heb deze bijna werkend, maar snap nog niet hoe ik de nieuwe gamma_s moet samenstellen.

[emielsebastiaan]

Uit README
publish-tickets-no-mark-9

• Progress into next epoch with no enough tickets. => klopt slot=12 dus laatste block van de epoch
  

• Accumulated tickets are discarded. => klopt gamma_a = []
  

• Epoch mark is generated. => TODO: He (Header Epoch Marker vullen met data voor light client; GP0.3.2:ref72)
  

• Fallback method is enacted. => TODO: gamma_s heeft in dit geval de fallback waarde. Hieronder meer info
  

Fallback waarde wordt gebruikt indien er aan de derde (otherwise) voorwaarde wordt voldaan in GP0.3.2:ref69.
(even goed de if/else statement formuleren, maar uit de losse pols: als de epoch verandert en als er in de epoch tail nog geen 600/full of 12/tiny tickets in de accumulator zitten.

De fallback waarde zelf is iets anders (ander datatype) dan de winning ticket set (gamma_a die specifiek wordt gesorteerd via functie Z GP0.3.2:ref70)

Antwoord:
De fallback waarde is in dit geval de output van functie F GP0.3.2:ref71. Dit is te ingewikkeld om uit te leggen in deze discussie. Ik stel voor dat we dit specifieke deel van de lecture even samen kijken en dan kunnen we dit vrij snel implementeren.
Dit wordt uitgelegd op 5m:25s in deze lecture.
Het komt neer op een 'deterministisch random wijze' voor de selectie en volgorde van bandersnatch keys van validators voor slots van de volgende epoch. Redenen worden in de lecture uitgelegd en kan ik mondeling toelichten. Minder veilig (en anoniem) dan via tickets maar daarom is het een fallback methode, voor het geval dat er onvoldoende tickets in de accumulator zitten.