M2 Conformance (tracking issue)

[emielsebastiaan]

M2 Conformance Overview

Graypaper Version Support

• v0.X.X (First Feature Complete Version)

Quality Assurance

• Full Documentation
• Full Code Coverage (Testing)
• Public Testnet Validator Participation

Major M2 Features

• Full Block Production (Fallback/Safrole/Assurances/OrderedAccumulation)
• Full Erasure Coding FFI
• Ability to work with multiple states simultaneously (Arjan)
• StateTrie/StateDB Pruning (Arjan, optional)
• Refine Host Functions (Matthijs)
• Implementation Graypaper Sections: 14-17 (Arjan)
• JAMNP-S (JAMNP-S (tracking issue) #54)
• JAMRPC (#62)

Block Production Dataset Support

• Fallback
• Safrole
• Assurances
• Ordered Accumulation

Network Size Support

• Tiny (V=6)
• Small (V=24)
• Medium (V=48)
• Large (V=96)
• X Large (V=192)
• 2X Large (V=384)
• 3X Large (V=576)
• Full (V=1023)

Graypaper Sections

• Section 3 - Notational Conventions
• Section 4 - Overview
• Section 5 - The Header
• Section 6 - Block Production and Chain Growth
• Section 7 - Recent History
• Section 8 - Authorization
• Section 10 - Disputes, Verdicts and Judgements
• Section 11 - Reporting and Assurance
• Section 12A - Accumulation
• Section 12B - Preimages
• Section 13 - Activity Statistics
• Section 14 - Work Packages & Work Reports
• Section 15 - Guaranteeing
• Section 16 - Availability Assurance
• Section 17 - Auditing & Judging
• Section 18 - Beefy Distribution (M2 Off-Scope)
• Section 19 - Grandpa and the Best Chain (M2 Off-Scope)

Appendices

• Appendix A: PVM
• Appendix B: PVM Invocations
• Appendix C: Serialization Codec
• Appendix D: State Merklization
• Appendix E: General Merklization
• Appendix F: Shuffling
• Appendix G: Bandersnatch Ring VRF
• Appendix H: Erasure Coding
• Appendix I: Index of Notation