Idea for an altcoin: TrueCoin?

[ldc73]

I can imagine an alternative crypto-currency based entirely on a general idea for a "useful" proof of work.  To me the most general form of proof of work consists of giving a proof of a mathematical theorem. It's hard to come up with a proof, but easy to check it is a proof. This standard asymmetry is important for the problems solved by proof of work schemes.

Now the thing that's really, I guess, different about this idea (from my understanding) is computers are still much worse than people at coming up with proofs.  This means people would be doing the "mining" and get "rewarded" by tokens. They could use the tokens to "mine" blocks.

This proposal seems like one that would be interesting for scientists and developers. But does anyone have the interest to fully flesh out the idea? Does anyone know of similar ideas or experiments out there?

[Joe_Bauers]

Any coin that sets out to do something more useful than solely making it's creators rich in Bitcoin is worth pursuing. Primecoin somewhat touched on some of the concepts you have described, though it sounds like you want to expand on that concept greatly.

[klarki]

The idea is not bad, what prevents implement it?
Specifically, what I need help?

[ldc73]

It's good to see some responses that agree this is a good idea.  I can't say I can exactly say how everything should work or what everyone can do. I was hoping This thread could be a good place for everyone to be allowed to brainstorm about their ideas and arriving at some initial plan.

It seems like the tokens earned by proving theorems are going to need to be maintained separate from the currency. People could prove theorems, then the system gives them "proof tokens" as a result. these could then be used the for mining and (as a result) converted to get currency via the block reward. People could get more tokens by proving more important theorems than less important.

This opens up a question: is it entirely clear why one theorem is more important than another? The problem I can see with the "no theorems are inferior but all are the same" setup is that computers could generate proofs of "theorems" that a supermajority of people would Consider useless (and worthless?).

[Joe_Bauers]

I believe that the theorem(s) should be chosen by the user base. Could be done by a poll on this website.   

[ldc73]

I cannot disagree that users should choose the theorems and a poll on bitcointalk.org would be useful to correlate good theorems. Still in the long run it can be good To choose them on chain.  In addition we need of think about the threat of how a bad guy might be tempted to make insightful choices to make an artificial Increase in his reward.

[ldc73]

Before choosing theorems for getting proof tokens we cannot avoid making a stand on the underlying foundation (logic, axioms). For my part, I have been Reading and it seems -- personally -- first-order logic is The most common of logics. it would be used to state mathematical theorems by their set theory formulation (using the set membership relation). The logic would need set theory axioms like ZFC. I don't know if this would be good enough, but we still have time for talking about it and may exchange for an alternative. (we do not need to buy into the underlying logic now)

[CoinBreader]

Well the real question the use of the coin ? i mean in everyday use , why ppl should buy/invest/support ?

[Blawpaw]

I think that there are already several coins and projects with a lot of potential. I don't think that any new coin will present something better than the ones we already have projected

[Superways]

Well the real question the use of the coin ? i mean in everyday use , why ppl should buy/invest/support ?

People need profit so for that they buy some coins ( invest in there) then after that they want that this currency establish and the value increase much higher so that they get the expected profit from that currency.

[d-leit]

Before choosing theorems for getting proof tokens we cannot avoid making a stand on the underlying foundation (logic, axioms). For my part, I have been Reading and it seems -- personally -- first-order logic is The most common of logics. it would be used to state mathematical theorems by their set theory formulation (using the set membership relation). The logic would need set theory axioms like ZFC. I don't know if this would be good enough, but we still have time for talking about it and may exchange for an alternative. (we do not need to buy into the underlying logic now)

When your interest is mathematics theorems, you should be looking at Coq / type theory, for example, 4 color theorem was proven in Coq.

I think that there are already several coins and projects with a lot of potential. I don't think that any new coin will present something better than the ones we already have projected

Yes, i agree. the idea for "TrueCoin" reminds me of the Qeditas project:

https://bitcointalk.org/index.php?topic=998559.0

but Qeditas does seems not to be very active. last post was a month ago.

[ldc73]

Well the real question the use of the coin ? i mean in everyday use , why ppl should buy/invest/support ?

The use/purpose of the Coin is to supply coins to those Who extend understanding and to create rewards for people who wrote more mathematics.

[ldc73]

Before choosing theorems for getting proof tokens we cannot avoid making a stand on the underlying foundation (logic, axioms). For my part, I have been Reading and it seems -- personally -- first-order logic is The most common of logics. it would be used to state mathematical theorems by their set theory formulation (using the set membership relation). The logic would need set theory axioms like ZFC. I don't know if this would be good enough, but we still have time for talking about it and may exchange for an alternative. (we do not need to buy into the underlying logic now)

When your interest is mathematics theorems, you should be looking at Coq / type theory, for example, 4 color theorem was proven in Coq.

I think that there are already several coins and projects with a lot of potential. I don't think that any new coin will present something better than the ones we already have projected

Yes, i agree. the idea for "TrueCoin" reminds me of the Qeditas project:

https://bitcointalk.org/index.php?topic=998559.0

but Qeditas does seems not to be very active. last post was a month ago.

just a quick look at that and it is Arguably a Scheme of high value. it does seem a bit ideal. I should be Reading more into it now. Thanks for This nice outcome

[TheLittleDuke]

This looks and smells like a SCAM:

https://docs.google.com/document/d/1ellkPYCXei4MGUlUGtdfnHuJvULjGHiWheqlNCgKBYI/edit?usp=sharing

The author is unwilling to state clearly why the "Global" token will have ANY value other than continually asserting that it will and therefore everyone is going to get rich.

[d-leit]

This looks and smells like a SCAM:

https://docs.google.com/document/d/1ellkPYCXei4MGUlUGtdfnHuJvULjGHiWheqlNCgKBYI/edit?usp=sharing

The author is unwilling to state clearly why the "Global" token will have ANY value other than continually asserting that it will and therefore everyone is going to get rich.

if you are correct, then thank you for bringing attention to it. however, no where in the thread until your comment do i see some mention of a "Global" token. is it potential that there is some confusion?

[ldc73]

because there must be some reservations here.  where I said things up "Global" or more Over people get rich with this?

[TheLittleDuke]

This looks and smells like a SCAM:

https://docs.google.com/document/d/1ellkPYCXei4MGUlUGtdfnHuJvULjGHiWheqlNCgKBYI/edit?usp=sharing

The author is unwilling to state clearly why the "Global" token will have ANY value other than continually asserting that it will and therefore everyone is going to get rich.

if you are correct, then thank you for bringing attention to it. however, no where in the thread until your comment do i see some mention of a "Global" token. is it potential that there is some confusion?

See this:

https://www.facebook.com/groups/1757361427875317/

Maybe it's different?  IDK...smells like the same rotten pump-n-dump scam