Viewing a single comment thread. View all comments

edmund_the_destroyer wrote

To wander off into academic territory, my understanding is that there is progress being made. You mentioned "capabilities" like OCAP, which is one path - Christopher Lemmer Webber has been doing work on on distributed trust-less computing with his Spritely project ( )

Crypto-currency is an abomination and a form of pyramid scheme and gambling. But the core technology, blockchain, allows for a form of distributed provable computation. My understanding, though, is that blockchains can't be used to prove any type of computation, just certain types. So I might be able to create a blockchain that proves that person A sent 5 and person B sent 3 and computer X running the software computed that the result was 8. But - again, as far as I understand it - nobody can create a blockchain that proves that computer X didn't also send the 5, 3, and 8 somewhere else. That is, blockchain can be used to prove some things a computer program did but it can't capture and prove a complete record of everything a computer program did.


southerntofu wrote

Spritely project ( )

Yes i'm following this project it's really interesting though i have a very weak understanding of how such "secure remote computation" can take place.

blockchain, allows for a form of distributed provable computation

Well a blockchain is merely a linked list of data. This data can contain programs/contracts as Ethereum is doing, however who gets to decide what block is next on the chain is up to individual implementation and their own trust model (usually majority wins).

The least-authority (permissionless, or anarchist) alternative is the DHT. Distributed Hash Tables are decentralized databases, but contrary to blockchains they are not an ordered list of items (with restriction on how to push something) but a loose collection items anyone in the network can publish.

Examples of DHTs include: Bittorrent, IPFS..


edmund_the_destroyer wrote

But the crucial bit is that a blockchain is public-key-signed transactions on top of a DHT. So I might not be able to make a particular transaction happen on a blockchain, but if it lists a transaction as having occurred then it did occur. So it doesn't prove everything and it can do things (good, bad, or neutral) in addition to proofs, but the things it lists as proved are actually proved.