4 ms·

PS: Random-crazy thought.. it's curious with reduction of costs via Moore's law improvements that there aren't yet formally-verified, zero-knowlege systems whic

PS: Random-crazy thought.. it's curious with reduction of costs via Moore's law improvements that there aren't yet formally-verified, zero-knowlege systems which can end-to-end prove they performed computation/real-world side-effects and/or continue to safely store data. Why blindly trust anyone or any company with data that can be seized, lost or misused when distributed computation, communication and storage can be A2E with only limited participants knowing operations / plaintext? Perhaps: homomorphic encryption, blockchain-similar ledger or proof-of-work and periodic, authenticated hash challenge queries. Mix in relaying and other idle phony traffic to make triangulation more difficult. I think in order to assure sufficient distributed system resources are made available, μpayments a-la AWS but just covering costs would make it possible to have a persistent, anonymous computation and storage collective that would survive outages, FBI raids, single nodes going offline, etc.

indolering 9y ago
Storage, [yes](https://storj.io/ https://storj.io/). Computation ... sure if you don't mind the server viewing the contents of your computation and can verify the results. Sadly, fully homomorphic systems incur waaaay too much overhead so you are constrained in what you can do (i.e. specialized DBs, zkSNARKs, etc). Then, of course, there is the problem of network latency and bandwidth costs vs just keeping it all on one datacenter.
nickpsecurity 9y ago
It wasn't necessary because we've already had systems whose hardware and/or software reliability reached decades between events of unplanned downtime. https://lobste.rs/s/jea4ms/paranoid_programming_techniques_for https://lobste.rs/s/jea4ms/paranoid_programming_techniques_f... http://www.hpl.hp.com/techreports/tandem/TR-86.2.pdf http://www.hpl.hp.com/techreports/tandem/TR-86.2.pdf http://h71000.www7.hp.com/openvms/whitepapers/high_avail.html http://h71000.www7.hp.com/openvms/whitepapers/high_avail.htm... http://www.enterprisefeatures.com/why-are-iseries-system-i-as400-etc-owners-so-fanatical/ http://www.enterprisefeatures.com/why-are-iseries-system-i-a... Now I'm not including all the anonymous, zero-knowledge stuff since the market won't buy that. All kinds of costs come with it that they don't want. Besides, most consumers and enterprises love products with lots of surveillance built in. ;)

indolering 9y ago

Storage, [yes](https://storj.io/ https://storj.io/). Computation ... sure if you don't mind the server viewing the contents of your computation and can verify the results. Sadly, fully homomorphic systems incur waaaay too much overhead so you are constrained in what you can do (i.e. specialized DBs, zkSNARKs, etc). Then, of course, there is the problem of network latency and bandwidth costs vs just keeping it all on one datacenter.

nickpsecurity 9y ago

It wasn't necessary because we've already had systems whose hardware and/or software reliability reached decades between events of unplanned downtime. https://lobste.rs/s/jea4ms/paranoid_programming_techniques_for https://lobste.rs/s/jea4ms/paranoid_programming_techniques_f... http://www.hpl.hp.com/techreports/tandem/TR-86.2.pdf http://www.hpl.hp.com/techreports/tandem/TR-86.2.pdf http://h71000.www7.hp.com/openvms/whitepapers/high_avail.html http://h71000.www7.hp.com/openvms/whitepapers/high_avail.htm... http://www.enterprisefeatures.com/why-are-iseries-system-i-as400-etc-owners-so-fanatical/ http://www.enterprisefeatures.com/why-are-iseries-system-i-a... Now I'm not including all the anonymous, zero-knowledge stuff since the market won't buy that. All kinds of costs come with it that they don't want. Besides, most consumers and enterprises love products with lots of surveillance built in. ;)