Eth Spec Maintainers Meeting 1 Agenda #1
Description
Eth Spec Maintainers Meeting 1 Agenda
Date, Time, and Place
- Date/Time: TBD
- Duration TBD
- Stream Link TBD
Proposed Agenda
Project Updates
Yellow Paper
Update from @gcolvin?
Jello Paper
Update from @expede?
Standard Tests
Need someone for this.
Formal verification projects
Need someone for this, perhaps from the Kestrel Institute
https://www.kestrel.edu/home/projects/ethereum/.
Updating the YP
The group to discuss, please post specific sub-topics here!
Protocol releases document
@jpitts has been documenting protocol releases.
https://github.com/ethereum-specification/docs/blob/master/releases.md