 Show Posts
|
|
Pages: [1] 2 »
|
i didnt accuse you in stealing ideas
Ahem. and i clarified. so you claim that the voice on that article was not mine? ... What voice? I wrote that article and I certainly didn't base it on any of your writings. I've heard of tau-chain because people have made the rapprochement with Tezos before, but that's about it. Even the 2014 Tezos paper notes that statefulness, not Turing completeness is what makes Ethereum contract special. |
|
|
|
i didnt accuse you in stealing ideas
Ahem. |
|
|
|
the long reply i promised to that tezos
I don't find your comments particularly insightful, but whether you agree or disagree with the article is besides the point. You've made an accusation of plagiarism and threatened legal action. I'll be waiting for a retraction and apology. |
|
|
|
This is complete BS, but please take us to court and we can discuss the libelous statement you've just made. |
|
|
|
|
Bill Murray definitely. Deadpan comedy ftw.
|
|
|
|
|
Never tried a Windows phone, but went with Android when I chose just because of the bigger ecosystem.
|
|
|
|
|
We have an active Slack for Tezos. Come check us out sometime.
|
|
|
|
|
Just noticed this thread, which I assumed is about polychain. If you speak and write fluent Russian *and* have a computer science background (MS or PhD), I'm looking for a translator.
|
|
|
|
|
We're going to be launching our ANN very soon too. We're currently building it and will share it here along with the other documents.
|
|
|
|
|
We're keeping our nose to the grindstone. We'll have an ANN on BT as soon as we're ready to announce our ICO.
|
|
|
|
Q1. How are proposal contracts audited?
=> Proposals are based on the ontological language OWL.
This seems fairly restrictive if you're trying to describe an entire protocol. How would you make a proposal to replace your transactions with zero-knowledge proof based transactions for instance? By using an inference engine, we are able to validate the logic of the contracts. This would mean we can pre-audit contracts for logical errors before they are uploaded on to the blockchain. We also applied timed-automata limitation property for our domain specific language. You're talking about smart contracts here, not a protocol. Q2. How are decisions enforced? Tezos upgrades are automatic.
=> BOScoin’s upgrades are also automatic. When a proposal(Trust Contract) passes the voting process, this is assumed to be a social consensus and the changes are applied automatically to the network. This is possible because we structured the platform on OWL ontologies.
OWL is great and all, but it seems to me that you can only implement some fairly simple parametrization of a fixed algorithm. Q3. How do we enforce meta-rules(constitutionalism)?
=> I don’t know if this is what you mean exactly by constitutionalism, but there are certain ontologies that are more fundamental than other higher level ontologies in the BOS platform. Also these fundamental ontologies have been used and tested in many domains for more than ten years.
I mean can your protocol introspect into protocol change proposals and accept or reject them automatically? |
|
|
|
|
I'm not sure I quite understand your proposal. You talk about a congress network making decisions, but
1) how are those decisions audited? Tezos decisions can be audited and verified unambiguously on its blockchain.
2) how are those decisions enforced? Tezos upgrades are automatic, if a protocol upgrade is approved, it is enforced on chain. This isn't just people making a decision and then clients choosing to follow it, this has the full force of a smart contract.
3) how you enforce meta-rule? This is constitutionalism. Can you programmatically constraint the type of protocols that your congress network is allowed to pass? If not you don't have consitutionalism.
Tezos does all of those things, and it is a hard engineering challenge to do it, but ultimately worth it. If we only wanted to have a simple vote, we'd have released two years ago.
|
|
|
|
|
Hi folks,
Sorry I've been busy and didn't get a chance to answer. Right now we're focused on improving our testnet and finalizing the details for the crowdsale. We don't have a date yet, unfortunately, we're waiting on the creation of the Tezos foundation which will be responsible for conducting the sale. We should know the date in a couple weeks, please be patient.
Regarding our goals, we want to be a dynamic smart-contract platform. Our two main goals are:
- high assurance smart-contracts with formal verification
- a ledger that stays up to date thanks to a governance procedure that allows upgrading on the fly, without hard-forks
It's become very popular to talk about interoperability between blockchains. We're definitely interested in building a Bitcoin SPV client inside Tezos so that smart contracts can react to events on the Bitcoin blockchain. However, ultimately, we don't see interoperability as a critical feature. The economics of blockchains strongly favor concentration onto one ledger, not a collection of domain specific ledgers. As I sometimes say, half serious, half tongue-in-cheek, we are Tezos maximalists.
The same goes with appcoins. We support appcoin issuance on the Tezos blockchain but, for important features, the preferred mechanism won't be to create a new coin (which can dilute the value of the native token) bur rather propose a protocol upgrade tied to a reward. We think this is a way to grow that is more conductive to strengthening the value of the token.
|
|
|
|
|
Thanks! Wow, I signed up for BCT in 2011, time flies.
|
|
|
|
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 published some code on github, see https://github.com/tezos/tezosThe key benefits of Tezos are 1) a governance mechanism that permits innovation at the protocol level through self-amendments. It means stakeholder can choose to incorporate or reject various innovations. They could introduce new types of transactions, new assets or even change the consensus protocol itself. 2) a formally specified smart-contract language 3) good design in general |
|
|
|
|
Buying 60,000 XRP for 1 BTC or 30,000 for 0.5 BTC
|
|
|
|
|
Buying 20,000 XRP for 0.1 btc
|
|
|
|
|
