Action: Output

The Output action allows a user to create a new note, subtracting from the transaction's value balance. The action contains the following fields.

• body — the body of the output, containing the note payload, balance commitment, and wrapped keys

• proof — a zero-knowledge proof to verify that the balance and note commitments are valid

Output::check_stateless verifies that the supplied proof matches the supplied public inputs.

Output::check_stateful is a no-op and always succeeds.

Output::execute will add the supplied note payload into the state commitment tree and emit an event.