Cardano Ledger Api providing the necessary types and predicates to prove Plutus smart contracts with Blaster