[RFC] æthereum: a turing-complete coin distributed as per bitcoin's blockchain

nzminer

legendary

Activity: 1918

Merit: 1001

Quote from: poornamelessme on April 09, 2014, 09:23:46 PM

Quote from: doge94 on April 09, 2014, 09:20:43 PM

Interesting idea but bitcoin has wealth concentrated at the top don't you this kind of scheme will only benefit the richest?

Yeah, I was wondering about that too. Wouldn't it just duplicate one of the main faults of bitcoin? That is, a lot of coins owned by a very small percentage of people?

Yeah what about the exchanges! Getting free æthereum at everyones expense?

Hyena

legendary

Activity: 2114

Merit: 1013

Quote from: smooth on September 21, 2015, 04:55:22 PM

On the PoS vs. PoW question a spin-off version should do whatever the original does (the Ethereum project's stated plan is something like switch to PoS if it can be made to work, which it seems likely they will claim to be the case).

The purpose of the spin-off experiment is to test the hypothesis that starting with Bitcoin's allocation of wealth (as opposed to a brand new distribution/ledger) is a superior approach and will succeed in defeating the original in the market, not to make a new coin of whatever design you happen to think is best.

Anyway, it seems to be the case that no one is particularly interested in doing the work to actually implement it, so it looks like this idea is going nowhere at the moment.

ok that's a good point. it should be a complete clone.

smooth

legendary

Activity: 2968

Merit: 1198

On the PoS vs. PoW question a spin-off version should do whatever the original does (the Ethereum project's stated plan is something like switch to PoS if it can be made to work, which it seems likely they will claim to be the case).

The purpose of the spin-off experiment is to test the hypothesis that starting with Bitcoin's allocation of wealth (as opposed to a brand new distribution/ledger) is a superior approach and will succeed in defeating the original in the market, not to make a new coin of whatever design you happen to think is best.

Anyway, it seems to be the case that no one is particularly interested in doing the work to actually implement it, so it looks like this idea is going nowhere at the moment.

Hyena

legendary

Activity: 2114

Merit: 1013

Quote from: Seccour on August 26, 2015, 10:34:32 AM

Why not... But PoS will be better than PoW :/

I also support PoS. Don't make the same mistake Bitcoin made. Stakeholders and miners should be the same people because then consensus is much easier to achieve.

therealbigcoin

sr. member

Activity: 729

Merit: 251

Basicly u just need a new genesis block witch can be easy copied and modified (remove premine and stuff)

Seccour

legendary

Activity: 1619

Merit: 1004

Bitcoiner, Crypto-anarchist and Cypherpunk.

Quote from: superresistant on August 25, 2015, 04:14:30 PM

Quote from: dnaleor on August 25, 2015, 02:41:32 PM

Quote from: superresistant on August 13, 2015, 08:06:38 AM

Quote from: dnaleor on August 10, 2015, 09:10:40 PM

Quote from: Seccour on August 01, 2015, 06:00:24 PM

Quote from: ApexEvo on August 01, 2015, 04:10:48 PM

is this dead? Sure looks that way

It was just an idea.
Now we just need to to find someone to develop it. Or gather together to do it.

I am not a dev, but it doesn't seem that hard.
The way ethereum launched was through a genesis block that contained which address owns how much ether.
to launch aethereum, we need to write something to be able to send a "minting transaction" to the network by signing a message containing a valid public key on the aethereum network with a bitcoin keypair. this is "double mint proof" because a public bitcoin address may only sign one key.
every claimed bitcoin address will automatically "mint" the same number of aeth to the signed aethereum address.
that is basically what needs to be written as software, the rest we can fork from ethereum.

I never worked in developing a crypto, only pools but that would be interesting.
First thing to do is to get a community around a slack and discuss development.
I am not a dev though. We would need at least on full time dev and that require funds so the question is :
How to fund æthereum ?
Give your proposals.

maybe pledge some AETH?

I must say that in the last year, my thoughts around this "snapshot" launch changed a bit.
I actually prefer just a new version of ethereum with zero coins at the start and just one AETH as block reward, until infinity...

So we just mine it ?
and no premine ?

Why not... But PoS will be better than PoW :/

smooth

legendary

Activity: 2968

Merit: 1198

Quote from: dnaleor on August 25, 2015, 02:41:32 PM

I must say that in the last year, my thoughts around this "snapshot" launch changed a bit.
I actually prefer just a new version of ethereum with zero coins at the start and just one AETH as block reward, until infinity...

That should absolutely exist as well. In fact if it hasn't been done already it should explicitly be part of a spin-off experiment to launch that one too. The core of the spin-off argument is that "in theory" the spin-off distribution gives a coin compelling advantages in the market. Only with the other reasonable competitors can that experiment be particualrly meaningful.

superresistant

legendary

Activity: 2142

Merit: 1125

Quote from: dnaleor on August 25, 2015, 02:41:32 PM

Quote from: superresistant on August 13, 2015, 08:06:38 AM

Quote from: dnaleor on August 10, 2015, 09:10:40 PM

Quote from: Seccour on August 01, 2015, 06:00:24 PM

Quote from: ApexEvo on August 01, 2015, 04:10:48 PM

is this dead? Sure looks that way

It was just an idea.
Now we just need to to find someone to develop it. Or gather together to do it.

I am not a dev, but it doesn't seem that hard.
The way ethereum launched was through a genesis block that contained which address owns how much ether.
to launch aethereum, we need to write something to be able to send a "minting transaction" to the network by signing a message containing a valid public key on the aethereum network with a bitcoin keypair. this is "double mint proof" because a public bitcoin address may only sign one key.
every claimed bitcoin address will automatically "mint" the same number of aeth to the signed aethereum address.
that is basically what needs to be written as software, the rest we can fork from ethereum.

I never worked in developing a crypto, only pools but that would be interesting.
First thing to do is to get a community around a slack and discuss development.
I am not a dev though. We would need at least on full time dev and that require funds so the question is :
How to fund æthereum ?
Give your proposals.

maybe pledge some AETH?

I must say that in the last year, my thoughts around this "snapshot" launch changed a bit.
I actually prefer just a new version of ethereum with zero coins at the start and just one AETH as block reward, until infinity...

So we just mine it ?
and no premine ?

dnaleor

legendary

Activity: 1470

Merit: 1000

Want privacy? Use Monero!

Quote from: superresistant on August 13, 2015, 08:06:38 AM

Quote from: dnaleor on August 10, 2015, 09:10:40 PM

Quote from: Seccour on August 01, 2015, 06:00:24 PM

Quote from: ApexEvo on August 01, 2015, 04:10:48 PM

is this dead? Sure looks that way

It was just an idea.
Now we just need to to find someone to develop it. Or gather together to do it.

I am not a dev, but it doesn't seem that hard.
The way ethereum launched was through a genesis block that contained which address owns how much ether.
to launch aethereum, we need to write something to be able to send a "minting transaction" to the network by signing a message containing a valid public key on the aethereum network with a bitcoin keypair. this is "double mint proof" because a public bitcoin address may only sign one key.
every claimed bitcoin address will automatically "mint" the same number of aeth to the signed aethereum address.
that is basically what needs to be written as software, the rest we can fork from ethereum.

I never worked in developing a crypto, only pools but that would be interesting.
First thing to do is to get a community around a slack and discuss development.
I am not a dev though. We would need at least on full time dev and that require funds so the question is :

How to fund æthereum ?
Give your proposals.

maybe pledge some AETH?

I must say that in the last year, my thoughts around this "snapshot" launch changed a bit.
I actually prefer just a new version of ethereum with zero coins at the start and just one AETH as block reward, until infinity...

ohad

hero member

Activity: 897

Merit: 1000

http://idni.org

Quote from: YarkoL on August 25, 2015, 05:25:58 AM

Quote from: ohad on August 25, 2015, 05:17:56 AM

Turing machine can represent any finite or inifinite computer. So we don't need such expressibility (at least as long as we don't have infinite physical computers).
So why sacrifice consistency (and decidability!) for nothing?

Well with respect to Ethereum and its possible forks -
I guess Turing complete is not used in strict mathematical sense,
but in the same sense as any looping/branching language is
said to be "Turing-complete". So your question applies also
to the programs your PC is running.

BTW the Ethereum apps do not have unbounded recursion
either, because running them costs ETH and once your out
of it, the program will stop.

Ethereum is Turing complete at the strict math sense - that's was their mission statement from the beginning.
Of course C++/JAVA/Python/Prolog are also Turing complete and I wouldn't make a blockchain with them

But there are other (ready) languages and decentralized applications (under development) with Martin-Lof type theory.
Also worth to mention that once the theory is incosistent (i.e. Turing complete language), *every* theorem can be both proved and disproved! So no way to use proofs over code written with the wrong choice of Turing complete language :\

YarkoL

legendary

Activity: 996

Merit: 1013

Quote from: ohad on August 25, 2015, 05:17:56 AM

Turing machine can represent any finite or inifinite computer. So we don't need such expressibility (at least as long as we don't have infinite physical computers).
So why sacrifice consistency (and decidability!) for nothing?

Well with respect to Ethereum and its possible forks -
I guess Turing complete is not used in strict mathematical sense,
but in the same sense as any looping/branching language is
said to be "Turing-complete". So your question applies also
to the programs your PC is running.

BTW the Ethereum apps do not have unbounded recursion
either, because running them costs ETH and once your out
of it, the program will stop.

ohad

hero member

Activity: 897

Merit: 1000

http://idni.org

Quote from: YarkoL on August 25, 2015, 05:15:16 AM

Quote from: ohad on August 25, 2015, 04:22:08 AM

It is a different concept but still the completeness subject to Godel's theorem.
On the other hand, under say Martin-Lof type theory, you cannot even express inconsistency. Yet, it is able to express anything a finite Turing machine can do. On Turing complete language you can express contradiction even finitely.

Yes, all programs are subject to Gödel's result,
the unsolvability of the halting problem being a straight corollary of it.

However, Turing completeness is about universality of
computation, and on different logical level than properties
of individual computer programs.

Turing machine can represent any finite or inifinite computer. So we don't need such expressibility (at least as long as we don't have infinite physical computers).
So why sacrifice consistency (and decidability!) for nothing?

YarkoL

legendary

Activity: 996

Merit: 1013

Quote from: ohad on August 25, 2015, 04:22:08 AM

It is a different concept but still the completeness subject to Godel's theorem.
On the other hand, under say Martin-Lof type theory, you cannot even express inconsistency. Yet, it is able to express anything a finite Turing machine can do. On Turing complete language you can express contradiction even finitely.

Yes, all programs are subject to Gödel's result,
the unsolvability of the halting problem being a straight corollary of it.

However, Turing completeness is about universality of
computation, and on different logical level than properties
of individual computer programs.

ohad

hero member

Activity: 897

Merit: 1000

http://idni.org

Quote from: YarkoL on August 25, 2015, 04:20:15 AM

Quote from: ohad on August 25, 2015, 03:12:36 AM

Turing completeness is the same kind of Godel's completeness

That's why you can have inconsistencies like the halting problem

Turing completeness is a different concept. Turing complete machine
can simulate any kind of program.

Gödel's completeness is a theoretic concept that is unattainable.
A program that can output true statements about some formal system like arithmetic
is necessarily incomplete (that is, it can't solve every possible calculation) since
if it could give result in every case, it would also give inconsistent results,
and that would render it useless.

It is a different concept but still the completeness subject to Godel's theorem.
On the other hand, under say Martin-Lof type theory, you cannot even express inconsistency. Yet, it is able to express anything a finite Turing machine can do. On Turing complete language you can express contradiction even finitely.

YarkoL

legendary

Activity: 996

Merit: 1013

Quote from: ohad on August 25, 2015, 03:12:36 AM

Turing completeness is the same kind of Godel's completeness

That's why you can have inconsistencies like the halting problem

Turing completeness is a different concept. Turing complete machine
can simulate any kind of program.

Gödel's completeness is a theoretic concept that is unattainable.
A program that can output true statements about some formal system like arithmetic
is necessarily incomplete (that is, it can't solve every possible calculation) since
if it could give result in every case, it would also give inconsistent results,
and that would render it useless.

ohad

hero member

Activity: 897

Merit: 1000

http://idni.org

Quote from: YarkoL on August 25, 2015, 03:03:20 AM

Quote from: ohad on August 25, 2015, 02:15:17 AM

Why (Turing) completeness and give up consistency?

Are you perhaps having Turing mixed up with Gödel?

Turing completeness is the same kind of Godel's completeness

That's why you can have inconsistencies like the halting problem

YarkoL

legendary

Activity: 996

Merit: 1013

Quote from: ohad on August 25, 2015, 02:15:17 AM

Why (Turing) completeness and give up consistency?

Are you perhaps having Turing mixed up with Gödel?

ohad

hero member

Activity: 897

Merit: 1000

http://idni.org

Why (Turing) completeness and give up consistency?

superresistant

legendary

Activity: 2142

Merit: 1125

Quote from: dnaleor on August 10, 2015, 09:10:40 PM

Quote from: Seccour on August 01, 2015, 06:00:24 PM

Quote from: ApexEvo on August 01, 2015, 04:10:48 PM

is this dead? Sure looks that way

It was just an idea.
Now we just need to to find someone to develop it. Or gather together to do it.

I am not a dev, but it doesn't seem that hard.
The way ethereum launched was through a genesis block that contained which address owns how much ether.
to launch aethereum, we need to write something to be able to send a "minting transaction" to the network by signing a message containing a valid public key on the aethereum network with a bitcoin keypair. this is "double mint proof" because a public bitcoin address may only sign one key.
every claimed bitcoin address will automatically "mint" the same number of aeth to the signed aethereum address.
that is basically what needs to be written as software, the rest we can fork from ethereum.

I never worked in developing a crypto, only pools but that would be interesting.
First thing to do is to get a community around a slack and discuss development.
I am not a dev though. We would need at least on full time dev and that require funds so the question is :

How to fund æthereum ?
Give your proposals.

dnaleor

legendary

Activity: 1470

Merit: 1000

Want privacy? Use Monero!

Quote from: Seccour on August 01, 2015, 06:00:24 PM

Quote from: ApexEvo on August 01, 2015, 04:10:48 PM

is this dead? Sure looks that way

It was just an idea.

Now we just need to to find someone to develop it. Or gather together to do it.

I am not a dev, but it doesn't seem that hard.
The way ethereum launched was through a genesis block that contained which address owns how much ether.

to launch aethereum, we need to write something to be able to send a "minting transaction" to the network by signing a message containing a valid public key on the aethereum network with a bitcoin keypair. this is "double mint proof" because a public bitcoin address may only sign one key.
every claimed bitcoin address will automatically "mint" the same number of aeth to the signed aethereum address.

that is basically what needs to be written as software, the rest we can fork from ethereum.

Topic: [RFC] æthereum: a turing-complete coin distributed as per bitcoin's blockchain (Read 48633 times)