ZK-Based Ticket System for Store Service Incentivization MVP

[ugur]

Thank you for the great MVP.

@sergei-tikhomirov

ZK Proof Statement:

Public inputs: nullifier, ticket_commitment, provider_id, registry_merkle_root, block_number
Private inputs: ticket_secret, blinding_factor, merkle_path

Proof: 
I possess ticket such that ticket_commitment = hash(ticket_secret, blinding_factor)
nullifier = hash(ticket_secret, provider_id)
ticket_commitment is included in registry_merkle_root via merkle_path
ticket_commitment was unspent as of block_number

If the ticket_commitment is the public input, then there could be linkability between the committer ID and the spender of the ticket, especially if the sponsor is equal to the sender. Is it OK for the privacy requirements?
One option can be to move it to private inputs, so linkability is achieved between the committer and spender.