Bitcoin is decentralized which provides it both safety, security and performance.
However Bitcoin is pretty simple. My question is: Could a programming language be created that is completely decentralized?
Necessary characteristics:
1. Each node must be unable to access at least some critical data.
2. Each nodes individual instruction execution must be verified to be correct as defined by the language.
3. Protocol enforcement must either be maintained cryptographically or via strong incentives - such as "program-runtime-points" for instance.
We know bitcoin is possible. Multi-sig txs are also at least theoretically possible, though I don't know much about it.
To what degree can we take it? My vision is like torrents but with programs.
I'm thinking data protection might be achieved by never executing subsequent instructions on the same node - context information is thus lost.
Maybe all types should be split up too so that one node never has a full variable... basically each node would emulate a small part of a micro processor getting some, but not all bits and would have no idea of what was going on.
Performance is a bitch though.
Bedtime for me I think...