News for hackers. Stuff that matters.
Re:Tezos and Ocaml: A self-amending cryptographic ledger by StreamBright on Thursday July 05, 2018 @04:52AM (#17461778)
Can somebody explain with layman terms how this works?
Re:Tezos and Ocaml: A self-amending cryptographic ledger by hestefisk on Thursday July 05, 2018 @06:22AM (#17462096)
It means hard forks (afaik) are not required when features are added. Protocol can grow organically. Interesting tech but not sure about the use case. Blockchain is all cart-before-the-horse.
Re:Tezos and Ocaml: A self-amending cryptographic ledger by fsiefken on Thursday July 05, 2018 @07:17AM (#17462350)
An article providing more background to the project and the open-sourcing. Perhaps they should consider moving to GitLab

https://www.coindesk.com/tezos-launch-story-whats-left-232-m...

Re:Tezos and Ocaml: A self-amending cryptographic ledger by rboyd on Thursday July 05, 2018 @08:43AM (#17462755)
https://gitlab.com/tezos/tezos

(betanet branch has the launch release)

Re:Tezos and Ocaml: A self-amending cryptographic ledger by 1ba9115454 on Thursday July 05, 2018 @10:37AM (#17463567)
Can't find any information anywhere about how it self amends.

Thought about this myself a few times.

One way would be to have transactions that contain code and an address. send money to the address and after a certain freshold the code goes live. Node restarts with new code in place.

Kind of dangerous and funny at the same time.

Re:Tezos and Ocaml: A self-amending cryptographic ledger by wyas on Thursday July 05, 2018 @11:47AM (#17464188)
The way they self amend is that they literally will just vote to replace a particular file in their implementation with a new one.
Re:Tezos and Ocaml: A self-amending cryptographic ledger by xur17 on Thursday July 05, 2018 @11:45AM (#17464171)
As noted in the README, all of the devlopment now occurs in gitlab [0], and github is a mirror.

[0] https://gitlab.com/tezos/tezos

Re:Tezos and Ocaml: A self-amending cryptographic ledger by kbody on Thursday July 05, 2018 @10:22AM (#17463443)
Too bad the whole thing was/is shadowed by the split of founders and foundation. As always with pretty much any cryptocurrency over-promises that fell short (launch was supposedly scheduled for end of last year) and greed.

Cherry on-top they are now demanding passports (KYC) for those that fell for their ICO while nothing was mentioned when they are actually collecting the money.

Hopefully at least their software will be of some value and not a total scam like their rest practices.

Re:Tezos and Ocaml: A self-amending cryptographic ledger by ericb on Thursday July 05, 2018 @10:30AM (#17463502)
I don't think there was a "scam." I think they learned that in order to issue tokens and get exchange listings, they needed KYC in the new environment by the time they were done. There was a definite screw up in the initial governance when the picked a bad apple for the foundation.

The foundation and founders are reunited once again, so if the tech is solid, and so far it has been, then all signs are positive.

Re:Tezos and Ocaml: A self-amending cryptographic ledger by rdl on Thursday July 05, 2018 @09:18AM (#17462998)
Happy to take any questions from here to the devs/founders. (The 30 June launch date was hard to hit, but I think everyone has recovered by now.)
Re:Tezos and Ocaml: A self-amending cryptographic ledger by xur17 on Thursday July 05, 2018 @11:51AM (#17464207)
I'd love to hear more about the process for proposing amendments to the chain. My understanding is that users can propose code changes to the protocol, and receive bounties for these changes.

My specific questions are:

* How are changes actually proposed technically? Do users submit a transaction with their proposed changes, and then other users vote on them? Can anyone submit proposals?

* Is the voting / upgrade process part of the codebase yet, or is that work still coming?

Re:Tezos and Ocaml: A self-amending cryptographic ledger by fuklief on Thursday July 05, 2018 @10:47AM (#17463641)
Considering the close ties of OCaml and Coq, has anyone done some sort of formal verification for Tezos ?
Re:Tezos and Ocaml: A self-amending cryptographic ledger by rdl on Friday July 06, 2018 @09:53AM (#17471364)
The main focus has been on the formal verifiability of smart contracts written in Michelson -- https://www.michelson-lang.com/ I'm checking on Tezos itself.
Re:Tezos and Ocaml: A self-amending cryptographic ledger by wyas on Thursday July 05, 2018 @11:50AM (#17464202)
Worth pointing out: these guys worked for a long time off a very large capital-raise round to implement and run a test net, only to just replace it at the very last moment with a completely new main net.
Re:Tezos and Ocaml: A self-amending cryptographic ledger by atomical on Thursday July 05, 2018 @01:45PM (#17465230)
Could you expand on that a bit? My understanding is that a test net is launched before main net. Or they are run in parallel.
Re:Tezos and Ocaml: A self-amending cryptographic ledger by wyas on Thursday July 05, 2018 @03:24PM (#17466045)
If properly designed, the main net should really just be the test net. Any small issues should have been ratified on the test, and the chain should move to production without any issues. However, Tezos basically released a whole new product, without proper prior testing.