OK, I read the paper, I was hoping for a repeating sequence of Theorem, Proof Motivation/Explanation, repeat... English word salad motivating the strategy or ap

OK, I read the paper, I was hoping for a repeating sequence of Theorem, Proof Motivation/Explanation, repeat... English word salad motivating the strategy or approach, but proofs for each claim. Perhaps they have proofs, but they're not in the paper. Now it's just impact factor jello :( Moreover, it seemms that the initiator of a transaction chooses its own inspector, who then chooses the next. What prevents the united 99% conspiring malicious from selecting each other as inspectors, and underwriting each other?