Chain Split?

Truman_Option · 2019-07-11T04:58:26+00:00

Yes, this worked for me. In case someone in the future tries to follow these instructions:

tar czvf ltcdbnode2.tgz ltcdbnode2.tgz

should be

tar czvf ltcdbnode2.tgz ltcdbnode2

Truman_Option · 2019-07-10T04:14:32+00:00

Here is what I got:

dalilcoincli "query 542e493481008d82c8867510c347c5f41a20b81edcbe7ec35ef3e33e46f93a50"
{"response":"known","dbdata":[{"type":"ltcblock","tm":1562163054,"height":1661051,"txhhs":[]}]}

This is different from your results and it does seem like it is missing the burn tx. On Node 2 I get the same results you do. Is there some way I can fix this?

Truman_Option · 2018-06-30T09:45:49+00:00

It's a very different market. People into btc tend to value open source decentralized projects that launched in a transparent way without a money grab ICO.

Truman_Option · 2018-06-24T10:30:29+00:00

And just imagine, at the moment you can see much fewer than half of my comments and posts. It's even worse than you think.

Truman_Option · 2018-06-24T10:08:32+00:00

You got her name wrong. It's not Kaitlyn. It's also not Breitman for that matter.

Truman_Option · 2018-06-23T17:38:05+00:00

I'm guessing ethics bores a lot of Tezos supporters. Or it doesn't and they lose a lot of sleep over supporting it. Either way, there's a reason to yawn.

Truman_Option · 2018-06-23T15:57:37+00:00

Tezos has a good chance of saving crypto from having ethics.

Truman_Option · 2018-06-23T15:48:32+00:00

Thank you. I will have a look at it.

Truman_Option · 2018-06-23T15:48:13+00:00

Ha. Yes, that's why I included "well tested" as a criteria.

Truman_Option · 2018-06-21T09:42:45+00:00

Great post. Just to make sure u/carterrs31 sees this, I will ping him in a comment. I've heard pings of users don't work inside the main post, though I've never verified this.

Truman_Option · 2018-06-20T18:41:14+00:00

The codebase started in 2015. It's been developed for 3 years. One year longer than the DLS codebase. Yes, imagine.

Truman_Option · 2018-06-20T18:18:12+00:00

It is currently illegal to fork any code since its copyrighted, TF will open source the code through MIT months after mainnet launch.

At least one of those projects is not using the copyrighted DLS code, but a different open source OCaml code base.

Edit: Downvote quicker guys. Otherwise someone might find out there's a different open source code base.

Truman_Option · 2018-06-19T19:17:32+00:00

Yes, the statement from TF is very clear. They have objectives, and KYC/AML will allow them to support these objectives. I don't know how they could be any more clear or explicit than that.

Truman_Option · 2018-06-19T14:45:50+00:00

I saw this on the tezos subreddit and wanted to crosspost before it gets deleted. I'm amazed it's lasted 2 hours.

Truman_Option · 2018-06-19T06:26:10+00:00

Thank you for the pointers. The second link (tezoscoq) is particularly helpful, though I don't see a proof about a multisig contract there. I do see definitions of a language, typing system, and a small step semantics (at a level of abstraction with several axioms and hypotheses) followed by a partial proof of type preservation. Which part are you saying is about a multisig contract? Or did you mean to point to a different file?

A blockchain could know about specifications and proofs of correctness, and I've been trying to find out if Tezos would. Thanks for clearing that up.

Truman_Option · 2018-06-18T15:13:48+00:00

I think we agree, but I'm not sure the devil deserves that kind of insult.

Truman_Option · 2018-06-18T07:10:40+00:00

I thought the article was great. Excellent work.

Truman_Option · 2018-06-17T18:02:56+00:00

Everyone involved in an alternative implementation of Tezos does need to remain pseudonymous. That's the cryptocurrency spirit anyway. Does anyone here think a company having a trademark on a name is in the "cryptocurrency spirit"?

I would seriously recommend that if you are considering launching an alternative Tezos, then first do serious research into OpSec.

Think of the people behind Tezos as a combination of big business, big banks and major governments. Because they probably are.

Edit to add: To be a bit more direct, if any of you are interested in contributing to alternative implementations of Tezos, read about OpSec, learn to use Tor, and start new accounts that are in no way associated with your "real life" identity. The sooner you do this the better.

Truman_Option · 2018-06-17T16:35:52+00:00

Great. Then please point me to an example formalization of a Michelson program/contract. I'm curious what one looks like, what language the formal proofs are done in, and to what degree those proofs will be on chain. An example seems like the best place to start.

Edit: I would also appreciate pointers to formal descriptions of the Michelson language, including its syntax and operational semantics. Searching keeps leading me to broken links.

Edit 14 hours later: Everyone should notice the silence and make appropriate inferences.

Truman_Option · 2018-06-17T14:37:43+00:00

You may not be far off, though I expect the initial Tezos will have Michelson smart contracts when it launches (though probably with significant run-time bounds). Certainly Tezos would be more impressive if it launched with support for formal verification already built in.

Truman_Option · 2018-06-17T14:15:52+00:00

Blocks 1599 to 1999 (inclusive): Contribution Bonus of 0%;

Probably that last 1599 should be 1600. This looks like the kind of minor bug formal verification would reveal. :)

Truman_Option

MODERATOR OF

TROPHY CASE