According to official news, an in-depth strategic partnership was reached between Postar and Beosin recently. They will cooperate on the smart contract audit and security verification of the pre-launch blockchain project in order to protect their smart contracts and the underlying chain. At the same time, Beosin will also provide a comprehensive solution from security development to formal verification for smart contract on Postar.