Hi all, I'm heading the Tezos project. A few things about the project

 - We have real on-chain decentralized governance, i.e. we can upgrade the entire protocol without hard forks.
 - We support smart-contracts with a functional, statically typed language which we design specifically for formal verification. We presented it recently at the Stanford blockchain conference and the video should be online soon.
 - We're starting with a delegated proof-of-stake consensus model
 - We are headed for a crowdsale around late Q1, early Q2 2017.

We've been fairly discreet for the past few years quietly building our technology (our source code is available on Github). We did not want to go to a crowdsale without an actual working product. We're not a fork of any project, we built the entire thing from scratch in OCaml.

I'd be happy to answer questions about the project!

P.S. we're also looking to contract with translators and community manager.