This milestone tracks work related to strengthening of the ticket handling in the Tezos Protocol via a runtime token validation layer.

For a detailed motivation and designg see the proposal document.

See meeting notes from weekly discussions.

Plan for landing MRs on tezos/master:

• PBT utility functions script-ir
• Stateful generator framework
• Ticket balance storage (First approver)
• Scan for tickets - expose a module for extracting tickets
• Implement Ticket_balance_key module for hashing keys in the balance table
• Migration code for building up balance table retroactively
• Carbonated Map utility. No dependencies.
• Expose fold_concat_map_es and friends in the enviroment.
• Extract diff of lazy-storage diff.
• Extend carbonated-maps with a fold operation (4156).
• Handle operation updates (4168).
• Add ticket accounting module (4334)
• Add missing regression tests (4555)
• Missing gas benchmarks #2315 (closed)
  • Benchmark for cost_collect_tickets_step.
  • Benchmark for cost_has_tickets_of_ty.
  • For cost_token_and_amount_of_ticket, instead of benchmarking remove this and replace with cost_collect_tickets_step.
  • Benchmark for cost_compare_ticket_hash.
  • Benchmark for cost_compare_key_contract.
• Enable the feature and end-to-end tests (4341)

Non-blocking for J

• Expose an RPC for querying ticket balance for a contract and a ticket-token (Not critical for J)
• Add additional PBT tests for ticket Scanner #1981
• Update the existing PBT tests for ticket accounting to the new APIs
• Internal operations impacts operations-scanning.