https://orochi.network/blog/SCIF-Compositional-Security-for-Smart-Contracts