Pages:
Author

Topic: Tezos discussion - page 237. (Read 215820 times)

legendary
Activity: 942
Merit: 1026
February 02, 2017, 03:09:19 AM
#2
impressive project
welcome back to BCT Arthur.
til now we only had twitter and your newsletter to keep us updated Smiley
jr. member
Activity: 31
Merit: 1
February 02, 2017, 02:07:41 AM
#1
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.
Pages:
Jump to: