I have started a new thread that focuses on AO’s new whitepaper: Let's Review the AO Whitepaper's Characterization of ICP and AO's security model
The paper has a brief section on ICP, and I think it would be interesting and useful to ensure it is accurate, and to further analyze AO’s security model.