@lelantos-org/sdk / internal / TransactBinding

Interface: TransactBinding

Defined in: @lelantos-org/sdk/dist/circuit/input.d.ts:30

Logical public inputs that are not circuit input signals.

digest is the calldata copy of the coefficient digest. The circuit computes its own from the coefficient signals and exposes it as a public signal, which the verifier compares against this word.

The circuit constrains none of the others. PubInputs.compress hashes them into z, so a relayer that rewrites one changes the challenge and the proof no longer matches.

Extended by

• CircomPublicInputs

Properties

chain_id

chain_id: string;

Defined in: @lelantos-org/sdk/dist/circuit/input.d.ts:34

---

digest

digest: string;

Defined in: @lelantos-org/sdk/dist/circuit/input.d.ts:32

transactDigest over the coefficient slots: PubInputs.Transact.digest.

---

intent_hash

intent_hash: string;

Defined in: @lelantos-org/sdk/dist/circuit/input.d.ts:41

Commitment to what the spend's funds are used for. SwapWrapper.swap requires the swap intent's hash; zero for every other spend.

---

out_aux_digest

out_aux_digest: string;

Defined in: @lelantos-org/sdk/dist/circuit/input.d.ts:47

Digest over the encrypted-note payloads.

---

out_clue_bits

out_clue_bits: string[];

Defined in: @lelantos-org/sdk/dist/circuit/input.d.ts:45

---

out_clue_Rx

out_clue_Rx: string[];

Defined in: @lelantos-org/sdk/dist/circuit/input.d.ts:43

Per-output FMD clue PIs.

---

out_clue_Ry

out_clue_Ry: string[];

Defined in: @lelantos-org/sdk/dist/circuit/input.d.ts:44

---

payer_address

payer_address: string;

Defined in: @lelantos-org/sdk/dist/circuit/input.d.ts:35

---

recipient_address

recipient_address: string;

Defined in: @lelantos-org/sdk/dist/circuit/input.d.ts:33

---

relayer_address

relayer_address: string;

Defined in: @lelantos-org/sdk/dist/circuit/input.d.ts:36