Founder Charles Hoskinson $ADA says Ouroboros Leios is built on "rock-solid theoretical foundations. These simulations, prototypes, and formal specifications give us enormous certainty that what we're implementing will work and be revolutionary."