Code

Main alterations for 0.5#135

Code

Merged

gavofyork merged 33 commits intomaingavofyork/graypaper:mainfrom gav-v0.5gavofyork/graypaper:gav-v0.5Copy head branch name to clipboardNov 14, 2024

+370-245

Commits

Commits on Nov 1, 2024

• Merge remote-tracking branch 'origin/main' into gav-v0.5

  gavofyork

  committed
  e2bb0f5

• Version

  gavofyork

  committed
  9a6d067

Commits on Nov 5, 2024

• Definitions: Q is exact, not a maximum.

  gavofyork

  committed
  69bb8d6

• PVM Hostcalls: Fix gas spec for quit

  gavofyork

  committed
  06109a8

• Reporting: Fix usage of theta

  gavofyork

  committed
  ee24ee1

• Merklisation: Make the byte selection explicit for solicits.

  gavofyork

  committed
  896430a

Commits on Nov 8, 2024

• Numbering is by section

  gavofyork

  committed
  ba29a40

• PVM Invocations: u_d not d

  gavofyork

  committed
  938fe45

• Merge branch 'gav-on-0.4.5' into gav-v0.5

  gavofyork

  committed
  b4b13bf

• Intro: Edits

  gavofyork

  committed
  3c4d4a0

• Have the segment-count in the Availability Specifier

  gavofyork

  committed
  9c9c66b

• Extrinsic Commitment should be hash of hashes

  gavofyork

  committed
  889609e

• Post-Accumulate Preimage Integration

  gavofyork

  committed
  b328788

• Availability may apply only to timely reports

  gavofyork

  committed
  8a3c0e8

• PVM memory retains accessibility only in discrete pages.

  gavofyork

  committed
  9f69cee

• Introduce zero-memory and void-memory hostcalls

  gavofyork

  committed
  21e264d

• Enable zero & void hostcalls

  gavofyork

  committed
  e99944e

Commits on Nov 12, 2024

• Preamble

  gavofyork

  committed
  5c5d922

• Preimages made recently invalid don't invalidate the block

  gavofyork

  committed
  7c3b8ee

• voiding inner PVM RAM should zero it

  gavofyork

  committed
  86569be

• Reframe size-synchrony antagonism for size-coherency

  gavofyork

  committed
  60cef5b

• Update memory layout in terms of accessibility (now indexed by page)

  gavofyork

  committed
  89ac1c8

• Rewire the zero/void hostcalls

  gavofyork

  committed
  080c768

• Fixes

  gavofyork

  committed
  2b432fe

• For extrinsic commitment, hash the bare report, not the guaranteed report.

  gavofyork

  committed
  229bd73

• 64-bit PVM (#136)

  Show description for e4f4f3f
  gavofyork

  authored
  e4f4f3f

Commits on Nov 13, 2024

• 64-bit PVM corrections

  gavofyork

  committed
  c16a55d

Commits on Nov 14, 2024

• zero error checking

  gavofyork

  committed
  e243b85

• Host call results are at top of 2^64 range.

  gavofyork

  committed
  8836f67

• Some other host-call improvements for 64-bit

  gavofyork

  committed
  759a0ed

• Fix div_u_32 zero shortcut

  gavofyork

  committed
  4167d6a

• Sign extend 32 bit arithmetic ops

  gavofyork

  committed
  d1cd1d4

• rem_u_32 signed ext

  gavofyork

  committed
  4b088f4