This works, but there is an alternative route (to prove the status of a certain transaction of block X at index Y within the EVM): if you get the receipt from the transaction, one of the encoded fields is “success” (0 or 1). If the transaction reverted, it is 0. If it succeeded, it is 1. Therefore, to prove that the transaction was reverted in a subsequent block, you have to prove that the status field of that certain transaction was 0 and not 1 (and the transaction is thus the one in que...
