Module verify_proof

Helper functions to verify zero-knowledge proofs in the Confidential Transfer Extension

Functions

verify_transfer_proof

Verify zero-knowledge proof needed for a [Transfer] instruction without fee and return the corresponding proof context.

verify_transfer_with_fee_proof

Verify zero-knowledge proof needed for a [Transfer] instruction with fee and return the corresponding proof context.

verify_withdraw_proof

Verify zero-knowledge proofs needed for a [Withdraw] instruction and return the corresponding proof context.