Fixup: More doc

parent b0104a06
Pipeline #130076651 passed with stages
in 36 minutes and 15 seconds
......@@ -1487,6 +1487,10 @@ Domain specific data types
- ``chain_id``: An identifier for a chain, used to distinguish the test and the main chains.
- ``sapling_transaction``: A :ref:`Sapling<sapling_dev>` transaction
- ``sapling_state``: A :ref:`Sapling<sapling_dev>` state
Domain specific operations
--------------------------
......@@ -1869,6 +1873,35 @@ Cryptographic primitives
> COMPARE / x : y : S => 1 : S
iff x > y
Sapling operations
~~~~~~~~~~~~~~~~~~
Please see the :ref:`Sapling integration<sapling_dev>` page for a more
comprehensive description of the Sapling protocol.
- ``SAPLING_VERIFY_UPDATE``: verify and apply a transaction on a Sapling state.
::
:: sapling_transaction : sapling_state : 'S -> or (pair int sapling_state)
(pair string bytes) : 'S
> SAPLING_VERIFY_UPDATE / t : s : S => Left (Pair b s') : S
iff the transaction t successfully applied on state s resulting
in balance b and an updated state s'
> SAPLING_VERIFY_UPDATE / t : s : S => Right (Pair "ROOT_INVALID" d) : S
iff the transaction t is based on a root d invalid for s, or too old
> SAPLING_VERIFY_UPDATE / t : s : S => Right (Pair "INPUT_SPENT" d) : S
iff the input d of transaction t has already been spent in state s
> SAPLING_VERIFY_UPDATE / t : s : S => Right (Pair "OUTPUT_INCORRECT" d) : S
iff the output d of transaction t has incorrect ZK proofs in state s
> SAPLING_VERIFY_UPDATE / t : s : S => Right (Pair "INPUT_INCORRECT" d) : S
iff the input d of transaction t has incorrect ZK proofs or signature in state s
> SAPLING_VERIFY_UPDATE / t : s : S => Right (Pair "BINDING_SIG_INCORRECT" d) : S
iff the signature d of transaction t is incorrect in state s
Deprecated instructions
~~~~~~~~~~~~~~~~~~~~~~~
......
......@@ -28,9 +28,9 @@ val check_amount : int64 -> unit
(** Loads the parameters for our instance of Groth16.
The parameters are search in:
- /usr/share/zcash-params
- ${OPAM_SWITCH_PREFIX}/share/zcash-params
- ${HOME}/.zcash-params
- [/usr/share/zcash-params]
- [${OPAM_SWITCH_PREFIX}/share/zcash-params]
- [${HOME}/.zcash-params]
Only sapling parameters are loaded. *)
val init_params : unit -> unit
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment