v0.7.2

What's Changed

• PVM Invocations: Assign registers 9 and 10 to f and l in info host call by @davxy in #480
• Accumulation: Simplify preimage integration section by @zdave-parity in #483
• Merklization: Typo in constancy preprocessor function by @0xjunha in #478
• PVM Invocation: Typo in fetch accumulate input arg by @0xjunha in #479
• Serialization: Correct bit sequence encoding range by @0xjunha in #481
• Statistics: Fix accumulation stats by @zdave-parity in #484
• PVM Invocations: Simplify fetch case 8 by @zdave-parity in #486
• Accumulation: Order $\theta$ before assign to new state by @qiweiii in #477
• PVM Invocations: Adds explicit OOG check for each invocation mutator default case by @ascrivener in #482
• PVM: Fix up text and definitions by @gavofyork in #487
• PVM Invocations: Correct gas charge for transfer host call failures by @0xjunha in #488
• PVM Invocations: Fix transfer typo by @gavofyork in #492
• WPs&WRs: Fix up the WP size limits by @gavofyork in #493
• Accumulation: Fix minor typo by @hitchhooker in #490

Full Changelog: v0.7.1...v0.7.2

v0.7.1

What's Changed

• Combine accumulate with on_transfer by @gavofyork in #457
• PVM Invocations: Add core index to Refinement args by @gavofyork in #471
• Serialization: Include version byte prefix for accounts by @gavofyork in #472
• Misc: Small service IDs by @gavofyork in #473
• Accumulation: Owned Privileges by @gavofyork in #475

Corrections and clarifications to formalism

• Erasure Coding: Correct erasure coding equations by @0xjunha in #459
• PVM Invocations: handle invalid register values for new assigner service id in assign hostcall by @0xjunha in #451
• Reporting&Assurance: update guarantor assignments to contain full validator keys by @0xjunha in #455
• Fix: Accumulate input encoding and WR variable name mismatch by @0xjunha in #462
• Outer accumulation returns number of accumulated work reports, not work-items by @0xjunha in #466
• Accumulation: Make assigner changes sensible by @gavofyork in #467
• Nit: typo in Signing schemes by @yu2C in #450
• Nit: typos in block serialization by @0xjunha in #452
• Nit: typo fix in Sealing Entropy Accumulation by @vekexasia in #453
• Nit: WR core indices should be unique in Guarantees Xt by @0xjunha in #454
• fix some typo by @danicuki in #456
• Misc accumulation fixes by @zdave-parity in #460
• Removes unfinished sentence. by @alxmirap in #464
• PVM Invocations: Remove deferred transfers from FETCH hostcall by @0xjunha in #463
• PVM Invocations: Add deferred transfers amount to accumulating account balance by @0xjunha in #465
• WPs&WRs: Fix function invocation by @gavofyork in #470
• fix: remove core index from guarantee payload by @harsh-csl in #469

New Contributors

• @alxmirap made their first contribution in #464

Full Changelog: v0.7.0...v0.7.1

v0.7.0

What's Changed

• PVM Invocations: Tweak chain params by @arkpar in #414
• Serialization: Move all variable-length items to end of encoding by @gavofyork in #418
• PVM Invocations: swap HUH and CORE condition checks in assign hostcall by @0xjunha in #433
• Macrofication Marathon by @gavofyork in #420 #424 #425 #427 #430 #432 #441 #442 #443 #444 #449
• Fixed-length validator index serialization for guarantees and preimages extrinsics by @ascrivener in #440

Other changes

• Definitions: Fix typo in Bandersnatch signature definition by @0xjunha in #434
• W* depends on ρ† and not ρ' by @greywolve in #416
• Auditing: Fix a formalism by @gavofyork in #439
• ReportingAssurance: Specification of Result Oversize Error by @gavofyork in #419
• Accumulation: Use proper state params by @gavofyork in #415
• Serialization: Make explicit serialization shorthand by @gavofyork in #413
• ReportingAssurance: Remove no longer needed MMR super peak function by @greywolve in #412
• Fix some typos (out commented text only) by @Sajjon in #423
• Various erasure coding fixes by @zdave-parity in #429
• Pre-commit hook with typos step by @Sajjon in #426
• Nit: "two functions" -> "three functions" by @zdave-parity in #431
• Remove redundant mapping and concatenation in invoke host call by @greywolve in #438
• Various nits related to fetch by @ascrivener in #387
• Accumuluation: add missing c subscript in authqueue transition by @daiagi in #437

New Contributors

• @Sajjon made their first contribution in #423

Full Changelog: v0.6.7...v0.7.0

v0.6.7

What's Changed

• PVM Invocations: super-fetch; no unbounded invocation params by @gavofyork in #372
• Misc: Cores are property by @gavofyork in #393
• PVM: stricter opcode/jump target validity requirements by @koute in #383
• Accounts: Gratis storage by @gavofyork in #397
• Accounts: Account metadata by @gavofyork in #400
• PVM Invocations: Rearrange the inner PVM page admin by @gavofyork in #402
• PVM Invocations: pages can change access without clearing by @gavofyork in #404
• Recent Blocks: AccOuts in state, store historical roots only by @gavofyork in #405
• WPs&WRs: Fix upper bundle size limit by @gavofyork in #407
• PVM Invocations: Renumber host-calls by @gavofyork in #408
• Merklisation: Optimize state-tree entropy by @gavofyork in #406
• PVM Invocations: info uses fixed length types by @gavofyork in #410
• PVM: Gas per instruction is 1 by @gavofyork in #411

Corrections and Clarifications

• Fix Report Oversize Handling in Refine Invoc. by @harsh-csl in #396
• Fix quotes using homogeneous style by @sisco0 in #409
• PVM Invocations: Remove extraneous p by @gavofyork in #376
• Import segments from all work items should be passed to Psi_R by @zdave-parity in #378
• Fix: Authorizer-trace symbol in the Refine invocation by @prasad-kumkar in #379
• fix: encode px in fetch invocation by @prasad-kumkar in #382
• pc is null instead of |pc| is null by @danicuki in #391

New Contributors

• @harsh-csl made their first contribution in #396
• @sisco0 made their first contribution in #409

Full Changelog: v0.6.6...v0.6.7

v0.6.6

What's Changed

• PVM Invocations: Maximum code size during Accumulate by @gavofyork in #360
• PVM Invocations: Introduce max code size for IsAuthorized by @gavofyork in #361
• WPs&WRs: Gracefully handle oversize reports by @gavofyork in #366
• Grandpa: Finalise posterior state root by @gavofyork in #367
• PVM Invocations: fetch changes:
  • No invocations have unbounded upfront allocations
  • Refine fetch can get summary of work-item
  • IsAuth & Refine fetch can inspect package fields by @gavofyork in in
  • Accumulate invocation can read operand tuples individually
  • OnTransfer invocation can read transfer records individually
  • Refine, Accumulate and OnTransfer invocations can read some entropy
  • All invocations can get chain's parameter constants
  • by @gavofyork in #370, #371, #365

Corrections, clarifications &c

• Fix \ne -> \not\in by @zdave-parity in #343
• Clarify commentary following data availability specification definition by @zdave-parity in #345
• PVM Invocations: provide is 27 by @gavofyork in #347
• PVM Invocations: Return type for PhiA by @gavofyork in #348
• Fix typos in preimage integration function by @0xjunha in #342
• PVM Invocations: Fix up program init function by @prasad-kumkar in #350
• Text change: equation 12.20: change p -> i by @emielsebastiaan in #351
• PVM Invocations: provide registers and dictionary by @emielsebastiaan in #352
• PVM: Fix trailing/leading zeroes instructions by @gavofyork in #358
• Reduce the size of state key(s) to 31 octets by @davxy in #356
• make it clearer that statistics relies on I and X by @kianenigma in #362
• Terminology: rename instances of Polka Virtual Machine to Polkadot Virtual Machine by @franciscoaguirre in #363

New Contributors

• @prasad-kumkar made their first contribution in #350
• @kianenigma made their first contribution in #362

Full Changelog: v0.6.5...v0.6.6

v0.6.5

What's Changed

• Accumulation: Introduce gas limit into operand tuples by @gavofyork in #335
• WPs&WRs: Separate max imports from max exports by @gavofyork in #338
• PVM Invocations: Introduce provide host-call by @gavofyork in #339

Corrections and Clarifications

• PVM Invocations: Fix B.7 question mark by @gavofyork in #299
• fix: use pi_V instead of pi_C in serialization by @YuChunTsao in #298
• Random typo by @gavofyork in #308
• Overview: Fix Unix timestamp by @gavofyork in #309
• Correct Core Statistic field letter y -> u by @danicuki in #301
• add missing key space by @TwEricShen in #297
• Serialization: Remove misleading note from general natural by @pantrif in #310
• fix deferred transfer label link by @danicuki in #307
• Remove unnecessary serialization before hashing by @greywolve in #300
• Add missing void service/gas pair sequence in the outer accumulation function by @bloppan in #303
• Accounts: use constant D in historical lookup function description by @0xjunha in #302
• PVM: Use \subseteq for memory accessibility check by @0xjunha in #327
• WPs&WRs: Fix typo in WP gas limit constraints by @0xjunha in #326
• Reorder work-result paragraphs by @0xjunha in #325
• Remove unambigious serialization by @greywolve in #321
• [nit] grammar & verbiage by @0trust3r in #320
• work report description by @0trust3r in #319
• Use the posterior ring root when computing ticket proofs by @greywolve in #333
• change u* to correct position on parallelized accumulation return by @danicuki in #318
• fix: work item resultant datum d typo by @weigen393 in #316
• [cleanup] skip moot context initialization by @0trust3r in #314
• chore(pvm): update references and sync symbols by @clearloop in #323
• Misc: Introduce improved terminology by @gavofyork in #337

New Contributors

• @YuChunTsao made their first contribution in #298
• @TwEricShen made their first contribution in #297
• @pantrif made their first contribution in #310
• @greywolve made their first contribution in #300
• @bloppan made their first contribution in #303
• @weigen393 made their first contribution in #316

Full Changelog: v0.6.4...v0.6.5

v0.6.4

What's Changed

• Assurances are checked with the prior validator set by @arkpar in #281
• Activity statistics by @gavofyork in #285
• Include ed25519 keys in the epoch marker by @arkpar in #282

Minor Corrections/Clarifications

• WPs&WRs: Fix Refine arguments by @gavofyork in #273
• Add preimage lookup to new by @ascrivener in #275
• Add $\N_R$ defined in (4.23) in the Appendix I/Sets/Regular Notion by @yu2C in #274
• missing update l to y in seL by @yu2C in #271
• Don't mem wrap in host functions by @ascrivener in #272
• bloblength must be valid read from register by @ascrivener in #279
• Registers are non-negative naturals by @0xjunha in #277
• Updated refs to synchronous entanglements by @DrEverr in #276
• Accumulation: parallelized accumulation function: switch priviliged services indices by @daiagi in #280
• Refine Bandersnatch-VRF section by @davxy in #278
• Corrected yield symbol by @DrEverr in #283
• [hotfix] info host function should return storage octets metadata by @0trust3r in #284
• PVM Invocations: Returned gas from Phi_A should be used, not remaining by @gavofyork in #288
• WPs&WRs: Replace import with fetch in description by @0xjunha in #289
• PVM: Fix Host-call instruction counter value by @gavofyork in #292
• Fix EC base field by @davxy in #286
• Fix the definition of sans-D by @gavofyork in #294

New Contributors

• @yu2C made their first contribution in #274
• @DrEverr made their first contribution in #276
• @0trust3r made their first contribution in #284

Full Changelog: v0.6.3...v0.6.4

v0.6.3

What's Changed

Changes

• WPs&WRs: AuthorizerHash is hash of codehash with param by @gavofyork in #240
• PVM Invocation: fetchable auth details by @gavofyork in #236
• Misc: Update limits and introduce extrinsics limit on WPs by @gavofyork in #265
• Misc: Introduce metadata prefix into authorizer/service code blobs by @gavofyork in #263
• Accumulation: Accumulate items have additional information by @gavofyork in #264
• PVM: Signed division should always round to zero by @koute in #227

Clarifications & Corrections

• PVM: Add unsigned conversion to max/min results by @0xjunha in #228
• PVM: Fix div_s_32 to produce an unsigned result on overflow by @0xjunha in #226
• Header: Set H_a with Bandersnatch key and not the entire key-set by @emielsebastiaan in #231
• Serialization: Encoding for Wrangled Accumulation Items by @gavofyork in #267

Minor changes

• PVM: Use a prime by @gavofyork in #254
• PVM: Use signed gas for result of PhiM by @gavofyork in #255
• PVM Invocations: add missing timeslot param to eject by @daiagi in #233
• Two fixes for incorrect references to \H^0 by @arjanz in #234
• Update description of accumulate queue-editing function by @0xjunha in #246
• Intro: Change "size-synchrony" to "size-coherency" by @villesundell in #249
• Fix outdated accounts definitions by @qiweiii in #242
• Chapter 11: Correct work item to result since it's talking about work reports by @franciscoaguirre in #243
• Fix refine context type by @qiweiii in #244
• Registers can only be non-negative naturals by @ascrivener in #262
• Update STF dependency order for β′ by @jaymansfield in #253
• Add tau & tau_prime as state transition input dependency (2nd try) by @emielsebastiaan in #269

New Contributors

• @0xjunha made their first contribution in #228
• @arjanz made their first contribution in #234
• @villesundell made their first contribution in #249
• @ascrivener made their first contribution in #262
• @jaymansfield made their first contribution in #253

Full Changelog: v0.6.2...v0.6.3

v0.6.2

What's Changed

• PVM Invocations: machine validates program blob by @gavofyork in #221
• PVM: Missing modulo for rem_u_32 by @gavofyork in #223
• PVM: Correct signed modulos by @gavofyork in #224
• PVM Invocations: Remove old condition from fetch by @gavofyork in #229
• PVM Invocations: Condense fetch condition by @gavofyork in #230

Full Changelog: v0.6.1...v0.6.2

v0.6.1

What's Changed

• PVM: add missing sign extension to div_u_32 by @koute in #218
• PVM Invocations: Remove extrinsic-by-hash from fetch by @gavofyork in #219
• PVM Invocations: Correction for void validation by @gavofyork in #220
• PVM Invocations: Clean up host-call formalisms by @gavofyork in #216

Full Changelog: v0.6.0...v0.6.1