Exploration of TrueBit's proposal for differentiating error types, payout protocols, and fee structures in off-chain computation verification. Discussion on the challenge of ensuring determinism in transcoding and Livepeer's cost-efficient transcoding verification methods.