Protocol Alpha

This page documents the changes brought by protocol Alpha with respect to Oxford (see Protocol naming).

The code can be found in directory src/proto_alpha of the master branch of Octez.

Environment Version

This protocol requires a different protocol environment version than Oxford. It requires protocol environment V11, compared to V10 for Oxford.

Smart Rollups

  • The smart_rollup_originate operation now also takes an optional whitelist of public key hashes. This whitelist cannot be used yet (the sc_rollup.private_enable flag has to be set to true). (MR !9401)

  • The transferring parameter from smart rollup client command get proof for message <index> of outbox at level <level> is now optional. (MR !9461)

  • Enable the latest version of the WASM PVM (2.0.0-r3). Existing smart rollups will see their PVM automatically upgrade, and newly originated smart rollups will use this version directly (MR !9735)

  • Added the updated whitelist for private rollups in the receipt of the outbox message execution receipt. (MR !10095)

Bug Fixes

  • Fix reporting of gas in traced execution of Michelson scripts. (MR !6558)

Minor Changes

  • Arithmetic errors on Michelson mutez type have been exported so they can now be caught outside of the protocol. (MR !9934)

Internal

  • Register an error’s encoding: WASM_proof_verification_failed. It was previously not registered, making the error message a bit obscure. (MR !9603)

  • Move some Michelson elaboration and erasure functions to the gas monad. (MR !10071)