Artificial intelligence lab Harmonic announced the completion of a $100 million Series B funding round led by Kleiner Perkins, with participation from Paradigm, Ribbit Capital, Sequoia Capital, Index Ventures, and Charlie Cheever, among others. The post-investment valuation reached $900 million. Harmonic is currently building software verification and code verification capabilities based on Mathematical Super Intelligence (MSI), primarily for use in blockchain, financial services, and other industries. The company raised $75.00 million in its Series A funding round last September. [ChainCatcher]