Implement ZK-057..060 in SDK

[Rickyy1017]

#301
#302
#303
#304

Wave Issue Key: ZK-___

Linked issue:

• Closes #

What Changed

Validation

• I linked the ZK ticket key above.
• I ran node scripts/zk_ticket_check.mjs --issue-key ZK-___.
• I ran the derived checks locally for the ticket I am implementing.
• I updated tests or fixtures when the ticket changed circuit or witness behavior.

Validation output:

paste the command output here