Veridise, a blockchain security company, specializes in developing software analysis tools for Web3 developers. The company’s team of highly skilled researchers is currently delving into the exploration of proof of liabilities mechanisms using o1js.