It’s hard to think of how to apply zero-knowledge-proofs in this case.
It’s hard for me too! :-) Was interesting to re-read though!
Was hoping it would spawn some insight on a way for nodes to demonstrate that they “always follow” the block generating rules, in absence of everyone needing to have the set of all transactions to double check.
It didn’t. :-)