type t = R.proving_ctxtype ar = R.arval with_proving_ctx : (R.proving_ctx -> 'a) -> 'aval ar_random : unit -> R.arval spend_proof :
R.proving_ctx ->
Viewing_key.t ->
Spending_key.t ->
Viewing_key.address ->
R.rcm ->
R.ar ->
amount:int64 ->
root:R.hash ->
witness:Stdlib.Bytes.t ->
R.cv * R.rk * R.spend_proofval spend_sig :
Spending_key.t ->
R.ar ->
R.cv ->
R.nullifier ->
R.rk ->
R.spend_proof ->
string ->
R.spend_sigval output_proof :
R.proving_ctx ->
R.esk ->
Viewing_key.address ->
R.rcm ->
amount:int64 ->
R.cv * R.output_proofval make_binding_sig :
R.proving_ctx ->
UTXO.input list ->
UTXO.output list ->
balance:int64 ->
bound_data:string ->
string ->
R.binding_sig