diff --git a/docs/alpha/michelson.rst b/docs/alpha/michelson.rst index 681d1221266c3003523a5fd653d18a858514f9d4..4b346d13f4a331a3d4126bcca3b443b6f8916337 100644 --- a/docs/alpha/michelson.rst +++ b/docs/alpha/michelson.rst @@ -999,30 +999,10 @@ A detailed description of the following instructions can be found in the `intera Sapling operations ~~~~~~~~~~~~~~~~~~ -Please see the :doc:`Sapling integration` page for a more -comprehensive description of the Sapling protocol. - -- ``SAPLING_VERIFY_UPDATE``: verify and apply a transaction on a Sapling state. - -:: - - :: sapling_transaction ms : sapling_state ms : 'S -> option (pair bytes (pair int (sapling_state ms))): 'S - - > SAPLING_VERIFY_UPDATE / t : s : S => Some (Pair bound_data (Pair balance s')) : S - iff the transaction t successfully applied on state s resulting - in the bound_data and the balance of the transaction and an updated state s' - > SAPLING_VERIFY_UPDATE / t : s : S => None : S - iff the transaction t is invalid with respect to the state - -- ``SAPLING_EMPTY_STATE ms``: Pushes an empty state on the stack. - - :: - - :: 'S -> sapling_state ms: 'S +A detailed description of the following instructions can be found in the `interactive Michelson reference manual `__. - > SAPLING_EMPTY_STATE ms / S => sapling_state ms : S - with `sapling_state ms` being the empty state (ie. no one can spend tokens from it) - with memo_size `ms` +- ``SAPLING_VERIFY_UPDATE``: Verify and apply a transaction on a Sapling state (`documentation `__). +- ``SAPLING_EMPTY_STATE ms``: Push an empty state on the stack (`documentation `__). .. _MichelsonTickets_alpha: