diff --git a/docs/protocols/alpha.rst b/docs/protocols/alpha.rst index 5a3912a645fee648f0d4186184af83df7f2240bb..03e9bcbdb3482713b2cead3018192c798de7029f 100644 --- a/docs/protocols/alpha.rst +++ b/docs/protocols/alpha.rst @@ -2,127 +2,37 @@ Protocol Alpha ============== This page documents the changes brought by protocol Alpha with respect -to Mumbai (see :ref:`naming_convention`). +to Nairobi (see :ref:`naming_convention`). The code can be found in directory :src:`src/proto_alpha` of the ``master`` branch of Octez. .. contents:: -New Environment Version (V9) ----------------------------- +Environment Version +------------------- -This protocol requires a different protocol environment version than Mumbai. -It requires protocol environment V9, compared to V8 for Mumbai. (MR :gl:`!7178`) +This protocol requires the same protocol environment than Mumbai., that is +environment V9. Smart Rollups ------------- -- Add a new kind of outbox messages batches allowing to specify the - type of the transaction to execute on the L1. (MR :gl:`!7941`) - -- Add a field `"kind"` to the outbox message transaction json - encoding. (MR :gl:`!7941`) - -- Update gas model for decoding output proofs. (MR :gl:`!7116`) - -- Improve readability of ``assert_commitment_not_too_far_ahead``. - (MR :gl:`!7231`) - -- Improve readability of ``assert_commitment_is_not_past_curfew``. - (MR :gl:`!7230`) - -- Remove dead code: legacy Internal for Tests signatures (MR :gl:`!7234`) - -- Prefer hex over b58check to encode filenames. (MR :gl:`!7181`) - -- Code quality improvements. (MR :gl:`!7287`) - -- Fix error raised when no commitment can be cemented. (MR :gl:`!7286`) - -- Use ``Ticket_transfer`` module in ``sc_rollup_operations``. (MR :gl:`!7438`) - -- Refactor WASM PVM to enable breaking changes such as new host functions and - parameterization of maximum call depth. (MRs :gl:`!7724`, :gl:`!7726`) - -- A new kind of internal message informs kernels when a protocol upgrade occurs. - The ``Protocol_migration`` message is injected by the economic protocol during - a protocol migration. (MR :gl:`!7729`) - -- Existing smart rollups can benefit from new protocol improvements. The WASM PVM - checks if it needs to upgrade to a new revision when it receives a ``Protocol_migration`` - message. (MR :gl:`!7730`) - -- Remove the failsafe mechanism in inbox construction, aimed at errors that can - never happen at begin application, block finalization, and migration. (MR :gl:`!7833`) - -- The field ``commitment`` in the operation ``Sc_rollup_cement`` is now deprecated. - The protocol computes the valid candidate commitment to cement, and cements it. - The provided ``commitment`` is omitted by the protocol and unchecked with the - found one. (MR :gl:`!7316`) - -- Publishing twice the same commitment is no longer allowed. (MR :gl:`!8269`) - Zero Knowledge Rollups (ongoing) -------------------------------- -Rollups supporting cryptographic proofs of correct execution. (MRs :gl:`!7342`) - Data Availability Layer (ongoing) --------------------------------- -Distribution of rollup operations data off-chain. (MRs :gl:`!7074`, :gl:`!7102`, -:gl:`!7103`, :gl:`!7140`, :gl:`!7182`, :gl:`!7192`, :gl:`!7242`, :gl:`!7315`, -:gl:`!7407`, :gl:`!7566`, :gl:`!7606`, :gl:`!7541`, :gl:`!7779`) - -Distribution of rollups data through reveal data channel. (MRs :gl:`!7571`) - Gas improvements ---------------- -Gas for signature checking of manager operations is made much more -precise. It is now only consumed when a signature is actually checked -(never for internal operations and only once per operation batch) and -it depends on both the signature scheme and the length of the signed -operation. This change leads to important reductions in the gas cost -of manager operations and to considerable increase in transaction -throughput. (MR :gl:`!7591`) - Breaking Changes ---------------- -Some manager operations such as revelations of public keys used to -have constant gas costs. Due to the gas improvements of MR -:gl:`!7591`), their gas cost now depends on the signature scheme and -the length of the operation. For some schemes, the gas cost may even -be larger than in previous protocol versions. In particular, revealing -the public key of an implicit account consumed 1000 gas units -previously, it now has the following gas costs depending on the -signature scheme: - -================ ============================ -Signature scheme Gas cost of reveal operation -================ ============================ -ed25519 (tz1) 166 gas units -secp256k1 (tz2) 152 gas units -p256 (tz3) 1091 gas units -bls (tz4) 1671 gas units -================ ============================ - -- The operation's result ``Sc_rollup_cement_result`` now have a new field - ``commitment``, which is the commitment cemented by the application of - the operation ``Sc_rollup_cement``. (MR :gl:`!7316`) - RPC Changes ----------- -- Add ``GET /helpers/attestation_rights`` that returns the attestation power for - delegates, replacing ``GET /helpers/endorsing_rights``, which is now - deprecated (MR :gl:`!8096`) - -- Deprecate ``endorsing_rights`` in favour of ``attestation_rights``. (MR - :gl:`!8096`) - - Split duplicated argument ``pkh`` in RPC ``smart_rollups/smart_rollup/
/staker1//staker2//timeout`` and ``smart_rollups/smart_rollup/
/staker1//staker2//timeout_reached`` into ``/staker1//staker2/``. This changes the RPC description but not its use. (MR :gl:`!8339`) @@ -133,67 +43,8 @@ Operation receipts Bug Fixes --------- -- Fix consensus watermark encoding roundtrip. (MR :gl:`!7210`) - Minor Changes ------------- -- Adapt new mempool with proto add_operation. (MR :gl:`!6749`) - -- Relax (pre)endorsements branch condition and allow denunciations of - a same endorsement on different branches. (MR :gl:`!7828`) - -- Relax (pre)endorsement checks during mempool validation. The mempool - is now able to propagate (pre)endorsements for blocks in the near - past or future, and from close cousin branches. Notably, the - preendorsements that the baker is able to inject as soon as a block - has been validated (without waiting for its full application) can - now be immediately propagated by the mempool, allowing for a much - faster PQC. (MR :gl:`!7815`) - -- The mempool now accepts and propagates consensus operations with a - non-minimal slot (for performance reasons: testing the minimality of - the slot there is too costly). Such operations are still invalid in - blocks. To avoid mempools getting spammed with operations with - various slots, double (pre)endorsement denunciations can now punish - multiple operations from the same delegate with distinct slots. - Finally, this change makes mempool initialization faster. - (MR :gl:`!7927`) - -- Divide by four the proof of work difficulty in order to match both - block times reduction to globally speed up bakers' block - production. (MR :gl:`!8243`) - Internal -------- - -- Update migration for Mumbai. (MR :gl:`!7428`) - -- Michelson: add a forgotten tailcall annotation (MR :gl:`!7656`) - -- Michelson: the Michelson type "or", previously referred to as ``union`` internally, - is now referred to as ``or`` if there is no clash with the OCaml keyword "or". - Otherwise it is referred to as ``or_``. (MR :gl:`!7546`) - -- Michelson: normalize all lambdas into optimized mode during elaboration. (MR :gl:`!7829`) - -- Michelson: stack types variables renamed to uppercase. (MR :gl:`!7953`) - -- Michelson: ``IConst`` constructor renamed into ``IPush``. (MR :gl:`!7954`) - -- Refactor and simplify consensus operation validation. (MR :gl:`!7720`) - -- Better documentation for the ``Token`` module (MR :gl:`!7609`) - -- Update gas model for hashing a skip list cell. (MR :gl:`!7737`) - -- Update gas cost for upgrading to librustzcash v5.0.0. (MR :gl:`!7814`) - -- Synchronized nodes' mempool are now able to consider early (pre)endorsements. (MR :gl:`!7828`) - -- Removed obsolete TORU manager operations. (MR :gl:`!7650`) - -- Validate: add preendorsement power and locked round checks during - block finalization in ``Partial_validation`` mode. (MR :gl:`!7949`) - -- Removed obsolete transaction rollup RPC. (MR :gl:`!8167`)