`LedgerContractInput` would be used inside proof server similar to how we use `ExpModProofInput` in `smart-wallet-prover`.