M1 Conformance (tracking issue)

[emielsebastiaan]

M1 Conformance Overview

Graypaper Version Support

• v0.6.2 (Milestone 1 Conformance Graypaper v0.6.2 #125)
• v0.6.3 (Graypaper Changes: 0.6.3 & 0.6.4 #127)
• v0.6.4 (Graypaper Changes: 0.6.3 & 0.6.4 #127)
• v0.6.5 (Graypaper 0.6.5 Update #162)
• v0.6.6 (Graypaper 0.6.6 Update #168)
• v0.6.7 (Graypaper 0.6.7 Changes #177, Release)
• v0.7.0 (Graypaper 0.7.0 Changes #184)
• v0.7.1 (Graypaper 0.7.1 Changes #191)
• v0.7.2 (Graypaper 0.7.2 Changes #230)

Conformance / Quality Assurance

• Full Code Coverage
  • JDT Unit Tests
  • W3F Test Vectors
• Fuzzer / Traces
  • W3F Traces
  • W3F Fuzzer
  • Active PyJAMaz Fuzzer against all other Fuzzer Targets
  • Other fuzzers against PyJAMaz target
• Fuzzer Coverage Data
  • Bootstrap Builder
  • Service Builder (SDK)
  • Targeted Fuzzer Data
• Testnets
  • Local Testnet
  • Multiclient Testnet
  • Public Testnet Importer Participation
• Full Documentation

Performance

• Benchmarking (identify performance bottlenecks)
• W3F Fuzzer Benchmark (relative performance between teams)
• Runtime Optimizations (parallelization)
  • STFs parallel execution?
  • Safrole Tickets parallel verification.
  • Parallel PVM invocation per service.
• PVM Instruction Optimizations (instruction have naive GP implementations)
• Host Function Optimizations (?!?)
• Compile Optimizations (?!?)
  • Numba

Major M1 Features

• Genesis Configuration
• Block Validation
• Block Import
• Command Line Interface (CLI)
• Docker Support
• Docker Local Testnet
• Debugging
• MVP JAMNP-S (JAMNP-S (tracking issue) #54)
• MVP Block Production (Fallback/Safrole)
• MVP Erasure Coding FFI
• MVP Single State Trie
• MVP Single State DB
• MVP Block Data DB
• MVP Async
• MVP JAMRPC (#62)
• MVP Documentation

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

General

• Section 3 - Notational Conventions
• Section 4 - Overview
• Section 5 - The Header

State Transition Functions

• 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

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 (Deferred to M2)
• Appendix I: Index of Notation

Other External Dependencies

• Ed25519 Signing
• Blake2b Hashing
• Keccak Hashing