Topic: Tezos discussion - page 236. (Read 215630 times)
i believe with the didicated team behind this project,, this project will become one of the best project this year
Please reserve for me the Hebrew translation
Thank you
Thank you
you can explain detail Tezos coin
you want ico selling but, nothing roadmap, nothing explain coin and more
how much total coin youre produce, tipe coin and more
i wait youre explain detail tezos coin
you want ico selling but, nothing roadmap, nothing explain coin and more
how much total coin youre produce, tipe coin and more
i wait youre explain detail tezos coin
Founded by Arthur Breitman and Kathleen Breitman, Tezos is an independent smart contract platform built as an alternative to Ethereum. It focuses on transparency, security and governance by consensus as fundamental design goals. As such, all code is independently verifiable and includes integrated mechanisms for users to transparently decide on and implement upgrades to the Tezos system itself. When protocol changes need to be made, Tezos implements voting rights with its built-in consensus mechanism. This enables upgrades to be seamlessly integrated into the protocol with complete transparency.
Following this project with interest.
Welcome back Arthur.
One of the best project in this space.
Good luck
Welcome back Arthur.
One of the best project in this space.
Good luck
Tezos seems to have a lot of common points with Tau.
@arthurb: can you confirm if the core language is total functional and if it remains expressive enough to perform more general programming? If it's not, how do you prove mathematically that core protocol operations will always be well behaved and terminate for all input sets?
@arthurb: can you confirm if the core language is total functional and if it remains expressive enough to perform more general programming? If it's not, how do you prove mathematically that core protocol operations will always be well behaved and terminate for all input sets?
Follow this project,,
look like very interesting
look like very interesting
I will follow this, seems interesting. I can be your french translator.
Following this project.
Following...
This is the real kind of project! Working for so long before presenting to the community.
Nowadays, a lot are just launched utilizing walletbuilders or just copy & paste platform.
Very rare that you can encounter genuine project that are not after for the fast cash.
This is the real kind of project! Working for so long before presenting to the community.
Nowadays, a lot are just launched utilizing walletbuilders or just copy & paste platform.
Very rare that you can encounter genuine project that are not after for the fast cash.
theres no such more information coming? we need to know the detail progress of tezos tks
ICO and POS the silent army.No Thankyou.
theres no such more information coming? we need to know the detail progress of tezos tks
What do you expect to be the best use cases for Tezos?
hi there,
I would like to reserve Dutch translation
let me know
I would like to reserve Dutch translation
let me know
Hello, I would like to reserve Russian translation. Do you have slack so it will be easier to contact regarding details or you prefer other way of communication?
oh , that's perfect , i can offer chinese translation service if possible. thanks
Having Tezos under review since the Webside is up. For me a ballbreaking project, one of the most interest I have ever seen in Blockchain.
Great you getting close to the finishing line Arthur!
Great you getting close to the finishing line Arthur!
Thanks! Wow, I signed up for BCT in 2011, time flies.
impressive project
welcome back to BCT Arthur.
til now we only had twitter and your newsletter to keep us updated
welcome back to BCT Arthur.
til now we only had twitter and your newsletter to keep us updated
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.
- 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.
Jump to: