CertiK has joined LF Decentralized Trust to contribute security research, formal verification and audit expertise to open source blockchain projects.