Graypaper 0.8.0 Changes

[emielsebastiaan]

Gray Paper Changes: 0.8.0

https://github.com/gavofyork/graypaper/releases/tag/v0.8.0

General

• Add back processed transfer count to service statistics (Graypaper: 502)
• Support smaller validator sets (Graypaper: 514)
• Restrict bless to manager service (Graypaper: 519)
• Update authorizer identification (Graypaper: 522)
• Keep full guarantees in availability assignments state (rho) (Graypaper: 494)
• Propose change of extrinsic hash definition to allow checking for individual extrinsic preimages. (Graypaper: 524)
• Expose lookup anchor posterior root and anchor slot in refinement context (Graypaper: 526)

Gas-related

• Charge gas for illegal memory access instruction (Graypaper: 497)
• Add a new gas cost model (Graypaper: 508) (@matthijsb please integrate: https://github.com/JAMdotTech/pyjamaz/tree/mb-new-gas-cost-model into this branch)
• Account for gas reserved by transfer and always acc items (Graypaper: 500)
• Host function gas costs (Graypaper: 517)

Smaller changes

• Safrole refinement (Graypaper: 496)
• Constrain preimage length parameter to bloblength (< 2^32) in preimage-related host calls (Graypaper: 520)
• Limit the number of parallel inner VMs in refine (Graypaper: 521)
• Remove unused arguments from refine hostcalls (Graypaper: 528)
• Replace undefined ticket-entries constant with equation ref (Graypaper: 527)
• Introduce hard-limits on the size of dispute extrinsics, and remove culprits requirement (Graypaper: 525)

Fixes, Typos, Clarifications, Nits &c

• Fix references and remove unused label (Graypaper: 532)
• Typo: auth trace var name (Graypaper: 501)
• Fixes a typo in Eq 10.6 defining faults for the E_D extrinsic. (Graypaper: 504)
• Nit: PVM has three invocation types (Graypaper: 511)
• Clarify missing validator-key subscript in auditing and beefy equations (Graypaper: 510)
• Work Item operand correctly ordered (U) instead of previous (I) (Graypaper: 505)
• Some trivial PVM fixes (Graypaper: 495)

Other changes

• ...

Quality Assurance

• Passes Updated JDT Unit Tests
• Passes Updated W3F Test Vectors
• Passes available W3F Traces
• Runs Local Testnet
• Runs bootstrap_builder.py successfully