Yes, we are formally verified! That means the math proves it can be done. We are now in the engineering stage and the brief roadmap can be found here : https://rchain.atlassian.net/wiki/spaces/CORE/overview