assertFundingNoteV1
Require the exact four-field opening and recompute its nonzero commitment. Import from@trustlink/tsn-sdk. Implementation, line 33.
canonicalFundingFieldHex
Validate 32-byte BN254 scalar hex; zero is permitted only when explicitly requested for blinding. Import from@trustlink/tsn-sdk. Implementation, line 14.
createFundingNoteV1
Generate before signing; no secret is inserted into the public deposit or credit. Import from@trustlink/tsn-sdk. Implementation, line 59.
deriveFundedLeafV1
Poseidon4(leaf domain, note commitment, registered token ID, actual transferred amount). Import from@trustlink/tsn-sdk. Implementation, line 65.
deriveFundingNoteCommitmentV1
Poseidon3(note domain, nonzero secret, canonical blinding). Blinding may be zero. Import from@trustlink/tsn-sdk. Implementation, line 26.
deriveFundingNullifierV1
Poseidon2(nullifier domain, nonzero secret); public deposit signatures do not enter this relation. Import from@trustlink/tsn-sdk. Implementation, line 73.
FundingNoteV1
Private opening: keep in sender memory and restricted payment ingress only. Import from@trustlink/tsn-sdk. Implementation, line 11.
GPRU_FUNDED_LEAF_DOMAIN_V1
Import from@trustlink/tsn-sdk. Implementation, line 7.
GPRU_FUNDING_FIELD_MODULUS
Import from@trustlink/tsn-sdk. Implementation, line 5.
GPRU_FUNDING_NOTE_DOMAIN_V1
Import from@trustlink/tsn-sdk. Implementation, line 6.
GPRU_FUNDING_NULLIFIER_DOMAIN_V1
Import from@trustlink/tsn-sdk. Implementation, line 8.