It's a VDF-VRF dynamic proof of stake algorithm that incorporates the modules outlined in the "9. Algorithms" section—we haven't disclosed the high-level summary of how that algorithm works yet (it was only published yesterday ).

Around 400 coding contributors have worked on the chain until now—we'll release more research papers and developer SDKs hopefully in the coming months.