From 9014d60a29c7be8c9db9610b1ccffa044945c02f Mon Sep 17 00:00:00 2001 From: Nicolas Ayache Date: Tue, 20 Jun 2023 15:19:17 +0200 Subject: [PATCH 1/2] Doc/Michelson: small fixes for consistency. --- docs/alpha/michelson.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/alpha/michelson.rst b/docs/alpha/michelson.rst index 681d1221266c..87353f3ff7c0 100644 --- a/docs/alpha/michelson.rst +++ b/docs/alpha/michelson.rst @@ -1002,7 +1002,7 @@ 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_VERIFY_UPDATE``: Verify and apply a transaction on a Sapling state. :: @@ -1014,7 +1014,7 @@ comprehensive description of the Sapling protocol. > 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. +- ``SAPLING_EMPTY_STATE ms``: Push an empty state on the stack. :: -- GitLab From 0c6fdff7837bc219314410761d44fabd7401f952 Mon Sep 17 00:00:00 2001 From: Nicolas Ayache Date: Tue, 20 Jun 2023 15:17:57 +0200 Subject: [PATCH 2/2] Doc/Michelson: redirect sapling operations to interactive reference. --- docs/alpha/michelson.rst | 26 +++----------------------- 1 file changed, 3 insertions(+), 23 deletions(-) diff --git a/docs/alpha/michelson.rst b/docs/alpha/michelson.rst index 87353f3ff7c0..4b346d13f4a3 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``: Push 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: -- GitLab