- [ ] force inclusion test - [ ] prover auth test - [ ] bond instruction test - [ ] multi-blobs with lots of L2 blocks - [x] edge cases in derivation doc - [ ] Add more test cases for the possible corner cases - [ ] use real bond manager for prover: - [ ] invalid proposal == block mining (safe enough for whitelist mode - [ ] invalid proposal != block mining (need client to mine incorrect blocks)