We should integrate this: https://github.com/BlockstreamResearch/simplicity-contracts/tree/main/crates/contracts/src/sdk/issuance_validation
