Smart contracts are being suggested as the building block of "autonomous corporations" (implying "do anything!") yet nearly anything meaningful basically has to interact with the real world through agents external to the contract for most business cases. Given this severe limitation, could someone clarify what the whole shebang is supposed to be about?
I actually saw Vitalik speak last week or so here in Shenzhen came away less convinced than ever of their theoretical utility for anything but a tiny fraction of users.
In short, adding a decentralized network of paid/incentivized actors to any existing potential cryptographic problem space (a fair rough summary of the smart contract notion?), in particular the subset relevant for most businesses, doesn't seem to solve anything particularly well and typically decreases critical measures of engineering elegance such as simplicity, comprehensibility, predictability, etc. while increasing negative measures such as technical lock-in to piles of rapidly evolving technologies for which hiring and building is expensive and error-prone.
> In short, adding a decentralized network of paid/incentivized actors to any existing potential cryptographic problem space (a fair rough summary of the smart contract notion?), in particular the subset relevant for most businesses, doesn't seem to solve anything particularly well and typically decreases critical measures of engineering elegance such as simplicity, comprehensibility, predictability, etc. while increasing negative measures such as technical lock-in to piles of rapidly evolving technologies for which hiring and building is expensive and error-prone.
You could say very much the same thing about most supply-side innovations when they came out. Why buy a factory machine when your workers do it just fine? It's complicated, error-prone, you'll have to hire expensive, specialized mechanics to deal with it when it breaks down. It decreases measures of engineering elegance, like simplicity, comprehensibility and predictability. All the locking you into that vendor with a massive upfront capital cost.
Smart contracts eliminate trusted third parties (sometimes) and automate certain processes that previously couldn't be automated due to trust issues, or were automated but centralized (with the aggregating entity extracting rents). Fixing these things will reduce transaction costs globally, just as factory automation did.
Will it solve everything? No, at least not soon. Will it eliminate lawyers, courts, and so on? Not even close. But it will do some things. Things like escrow, notarization, and assurance contracts (e.g. kickstarter) are all easily amenable to blockchain / smart contract solutions. Prediction markets are another good one.
My point is basically this: People have been making unbelievably grandiose claims about cryptocurrencies. And those claims are, largely, bullshit. However, there are some things that they do very well, and they are starting to do them.
The entire business of smart contracts is predicated on ignoring the oracle problem. You can't do anything interesting or useful in the real world without solving that problem, and it's more-or-less unsolvable through technology...
But hey, check out my ICO - we have a "whitepaper"!
> Smart contracts are being suggested as the building block of "autonomous corporations"
By who? I'm not aware of any major developers suggesting this. As far as I can tell this is just a strawman promoted on HN. The Dao was a single instantiation of this sort of idea promoted by a small number of non-core developers - it doesn't define the idea of smart contracts.
Yep. The "oracle problem" is the crippling flaw (the main crippling flaw amongst a pile of others) in smart contracts.
As Matt Levine from Bloomberg put it:"My immutable unforgeable cryptographically secure blockchain record proving that I have 10,000 pounds of aluminum in a warehouse is not much use to a bank if I then smuggle the aluminum out of the warehouse through the back door."
Technology and business journalists writing about non-
cryptocurrency use cases for smart contracts never seem to mention that their "trustless" system will still involve trusting humans wherever it touches the physical world. You may have a tamperproof system for running contract code, but the inputs have to come from outside this secure space.
I've been thinking the same thing over the last few months...
I see all of these "prediction markets" and "gambling platforms" being launched and claiming that they are "fully autonomous".
Well where do they get the outcome information from? It must be from a person.
You cannot program a smart contract to know who has the most reliable sports scores or political information. AI does not exist yet.
If I bet that Hillary Clinton won the election, and she lost to Trump, what's stopping a hoard of Clinton supporters from voting (or tweeting or however the DAO collects their "data") that Clinton actually won the election and stealing my winnings?
The value comes from a hybrid of blockchain contracts and legal contracts. The contracts that actually manage an asset would run on the blockchain, and the legal contracts would enforce the rights to that asset in the physical world. Managing the asset in the blockchain would avoid unnecessary fees, opacity, and cheating, and the legal contract binds the results to the real world.
Yep, the technological downsides of blockchains are so bad that the only market where it actually makes sense to use them is the illegal market because governments have a much harder time of controlling it.
>Anything meaningful basically has to interact with the real world through agents external to the contract
This is where people are betting to take a risk that the law will change to legalize and maybe even incorporate these contracts. Take a prenuptial agreement for example. Instead of having a lawyer, a smart contract could automatically split ether from an account into two addresses.
I tend to think of it as "the blockchain is a mostly read-only database, smart contracts are stored procedures that can read & write a small part of it".
The benefit over a regular database is that everyone gets to see what the data and stored procedures are, so you don't have to take someone elses word for that part.
Also, there's a built-in payment system, which is handy sometimes.
It doesn't solve interacting with the rest of the world, you still need an external system for that, just like with most databases.
One big benefit of crypto is you can't cook the books. So in markets where there is constant temptations for a human to say "I'm guarding he vault, why not fudge the numbers here a little and pay out my friends" those institutions will lose share to crypto.
The other market that intrigues me is autonomous AIs. I can imagine an AI that can more easily trust a smart contract than a human institution.
Essentially, you are right, but you're biased because you feel good in your network of human trust. Replacing that world with machines doesn't buy you anything because you'll still want to keep your human layer as the bottom line. But not everyone is so nestled in the bosom of modernity.
Also consider scale. Banks won't loan you $1000. It's not worth the time to do the math, and find an appraiser. But a crypto contract can do the math for free, and a network of appraisers would contain someone who can do really fast work on a tight schedule. Like, "show up at Highland Mall on Saturday afternoon, I will appraise 50 businesses in 3 hours".
That business model only works if you have infrastructure that takes care of everything else than the appraising, with much richer modeling than even banks use today.
It's much more than "do anything", closer to "do anything I would normally have to get a team to do for me".
Think of a blockchain a OSS Visa like payment network where you and anyone else can build their own apps, be it something as trivial as a multi-sig or a token exchange, for instance. From this angle, I think it makes more sense to investigate Ethereum and smart contracts in general.
Regarding accessing external data, that is done via oracles and is a well researched topic with some notable implementations (Oraclize, Town Crier, etc), but I'd venture that the most common way to integrate a web3 with web2 is and will be at a middleware level, not directly on a smart contract.
> Instead, we seek to design a system whereby computation can occur off-blockchain but ultimately enforcible on-chain
This seems to be the direction that blockchain and smart contract tech needs to go if it aims to be scalable. Conduct the vast majority of your business off-chain, and resort to the blockchain in the event of a dispute.
Kind of like how two parties in a business relationship will generally act on good faith, but may choose the nuclear option of legally enforcing a contract if the relationship sours.
As far as I can see, a billion tx/s blockchain can never work if the P2P network is sufficiently large.
Imagine a 10,000-node network, where each node has to handle 1 billion messages per second. Firstly, if we assume a single VM can handle 1 million messages per second, it would require that each node rent ~1000 VMs (for a total of 10 million VMs for the entire P2P network), which they obviously can’t do without compensation. And if you introduce compensation, you need to pay the same fee to each node, which makes it inherently 10,000 times as expensive as a centralized network.
So the question is not whether it’s possible, the question is whether it’s worth it: in how many cases would a user prefer a system that’s 10,000 times cheaper, albeit requiring some trust?
Merchants all over the world are willing to accept VISA credit in exchange for goods and services, but they could — in theory — demand trustless payments in the form of international bank transfers, which are less than 10,000 times as expensive as a VISA transaction.
Plasma is not for payments. It is a counterpart of Lightning Network, but for code. With LN you can do a lot of extremely cheap payments. With Plasma you can do the same for arbitrarily complicated code. Idea is - take some tokens to domain specific plasma chain, do your interaction with possibly byzantine actors, settle on parent chain when you are done.
Today even timestamping is expensive in decentralized world. Plasma actually allows you to do that cheaply.
Sharding intents to solve this by splitting the billion messages into a 1000 (or more) smaller problem space. Thusly only requiring 1 VM per node. (tho you need more nodes for equivalent security)
Did anyone read the paper? I tried to, and it's a mess. There isn't nearly enough technical detail there to actually implement this system, and the incentives are so complex that game theory experts could be analyzing it for decades without finding all the potential issues. This is nothing like the Bitcoin white paper, which was very clear and complete.
Vitalik has created Ethereum of course, and he's not asking for investment, so this is better than your garden variety ICO scam. But right now this is more of a wishlist of desired features than a roadmap to implementation.
Yeah, I was struggling to understand the implementation details also.
Given: "Draft is in-progress and may be frequently updated in the next week(s)." I'll give them the benefit of the doubt, and just look forward to it getting more specific.
Because it takes too long, and everybody wants to get rich quick (or while they try to implement their idea).
Also, on bitcointalk it seems all you need is a whitepaper and a great(!) team (of 1 developer and hundred marketing strategists, financial directors and whatnot.)
"Perhaps I've been wrong. Perhaps cryptographically-secured smart contracts have uses and are powerful. Perhaps the scalability challenge can be met with MapReducable computations committed into merkle proofs. Perhaps enforced execution of smart contracts are potentially scalable to billions of state updates per second. ....... Nahhh!"
And before KDE, plasma was already the name of a state of matter. It wasn't confusing to reuse it for KDE's interface because the context makes it clear. Same here.
Finding a good name is hard, especially if you want a single word. Going with "Plasma Contacts" or something similar would easily remove the ambiguity.
Is there a resource/tutorial so that I can learn how to implement Plasma? Apparently Omise GO has already implementing it. There should be an open source project that shows Plasma's implementation.
Community at HN does not like Wolfram; on the issue of Oracles/Human input @ cryptosystems, he is spot on on the solution as he has had first hand experience with Wolfram|Alpha being used as an oracle by smart contracts (the whole post is amazing btw):
And so it is with bitcoin, Ethereum, etc. The idea is that some particular thing that happened (“X paid Y such-and-such” or whatever) is shared and recorded in so many places that there can’t be any doubt about it. Yes, it’s in principle possible that all the few thousand places that actually participate in something like bitcoin today could collude to give a fake result. But the idea is that it’s like with gas molecules in a room: the probability is inconceivably small. (As it happens, my Principle of Computational Equivalence suggests that there’s more than an analogy with the gas molecules, and that actually the underlying principles at work are basically exactly the same. And, yes, there are lots of interesting technical details about the operation of distributed blockchain ledgers, distributed consensus protocols, etc., but I’m not going to get into them here.)
It’s popular these days to talk about “smart contracts”. When I’ve been talking about “computational contracts” I mean contracts that can be expressed computationally. But by “smart contracts” people usually mean contracts that can both be expressed computationally and execute automatically. Most often the idea is to set up a smart contract in a distributed computation environment like Ethereum, and then to have the code in the contract evaluate based on inputs from the computation environment.
Sometimes the input is intrinsic—like the passage of time (who could possibly tamper with the clock of the whole internet?), or physically generated random numbers. And in cases like this, one has fairly pure smart contracts, say for paying subscriptions, or for running distributed lotteries.
But more often there has to be some input from the outside—from something that happens in the world. Sometimes one just needs public information: the price of a stock, the temperature at a weather station, or a seismic event like a nuclear explosion. But somehow the smart contract needs access to an “oracle” that can give it this information. And conveniently enough, there is one good such oracle available in the world: Wolfram|Alpha. And indeed Wolfram|Alpha is becoming widely used as an oracle for smart contracts. (Yes, our general public terms of service say you currently just shouldn’t rely on Wolfram|Alpha for anything you consider critical—though hopefully soon those terms of service will get more sophisticated, and computational.)
But what about non-public information from the outside world? The current thinking for smart contracts tends to be that one has to get humans in the loop to verify the information: that in effect one has to have a jury (or a democracy) to decide whether something is true. But is that really the best one can do? I tend to suspect there’s another path, that’s like using machine learning to inject human-like judgment into things. Yes, one can use people, with all their inscrutable and hard-to-systematically-influence behavior. But what if one replaces those people in effect by AIs—or even a collection of today’s machine-learning systems?
One can think of a machine-learning system as being a bit like a cryptosystem. To attack it and spoof its input one has to do something like inverting how it works. Well, given a single machine-learning system there’s a certain effort needed to achieve this. But if one has a whole collection of sufficiently independent systems, the effort goes up. It won’t be good enough just to change a few parameters in the system. But if one just goes out into the computational universe and picks systems at random then I think one can expect to have the same kind of independence as by having different people. (To be fair, I don’t yet quite know how to apply the mining of the computational universe that I’ve done for programs like cellular automata to the case of systems like neural nets.)
There’s another point as well: if one has a sufficiently dense net of sensors in the world, then it becomes increasingly easy to be sure about what’s happened. If there’s just one motion sensor in a room, it might be easy to cover it. And maybe even if there are several sensors, it’s still possible to avoid them, Mission Impossible-style. But if there are enough sensors, then by synthesizing information from them one can inevitably build up an understanding of what actually happened. In effect, one has a model of how the world works, and with enough sensors one can validate that the model is correct.
It’s not surprising, but it always helps to have redundancy. More nodes to ensure the computation isn’t tampered with. More machine-learning algorithms to make sure they aren’t spoofed. More sensors to make sure they’re not fooled. But in the end, there has to be something that says what should happen—what the contract is. And the contract has to be expressed in some language in which there are definite concepts. So somehow from the various redundant systems one has in the world, one has to make a definite conclusion—one has to turn the world into something symbolic, on which the contract can operate.
So we basically have to put our faith and trust into machines that by doing computational expensive operations just for the sake of making them hard to break, will trade wasting a lot of energy for a little more trust.
The point is always "make it hard so it will be too expensive to crack it". but what if some country (or group of countries) really try to temper with the clock of the internet?
Are we sure the won't succed and make all of us use it?
If consensus is only established by powerful AIs, the ones with the most powerful AIs are creating the truth.
If there's one thing I really hate about all this machine-learning/AI scene it is this "Have a seemingly unsolvable problem? Don't worry, just let an AI that you don't understand and can't debug fix it for you!" silver-bullet mentality.
[+] [-] contingencies|8 years ago|reply
I actually saw Vitalik speak last week or so here in Shenzhen came away less convinced than ever of their theoretical utility for anything but a tiny fraction of users.
In short, adding a decentralized network of paid/incentivized actors to any existing potential cryptographic problem space (a fair rough summary of the smart contract notion?), in particular the subset relevant for most businesses, doesn't seem to solve anything particularly well and typically decreases critical measures of engineering elegance such as simplicity, comprehensibility, predictability, etc. while increasing negative measures such as technical lock-in to piles of rapidly evolving technologies for which hiring and building is expensive and error-prone.
[+] [-] darawk|8 years ago|reply
You could say very much the same thing about most supply-side innovations when they came out. Why buy a factory machine when your workers do it just fine? It's complicated, error-prone, you'll have to hire expensive, specialized mechanics to deal with it when it breaks down. It decreases measures of engineering elegance, like simplicity, comprehensibility and predictability. All the locking you into that vendor with a massive upfront capital cost.
Smart contracts eliminate trusted third parties (sometimes) and automate certain processes that previously couldn't be automated due to trust issues, or were automated but centralized (with the aggregating entity extracting rents). Fixing these things will reduce transaction costs globally, just as factory automation did.
Will it solve everything? No, at least not soon. Will it eliminate lawyers, courts, and so on? Not even close. But it will do some things. Things like escrow, notarization, and assurance contracts (e.g. kickstarter) are all easily amenable to blockchain / smart contract solutions. Prediction markets are another good one.
My point is basically this: People have been making unbelievably grandiose claims about cryptocurrencies. And those claims are, largely, bullshit. However, there are some things that they do very well, and they are starting to do them.
[+] [-] AlwaysBCoding|8 years ago|reply
If total ETH sent to contract address by date X > Amount Y then send the ETH to the fundraiser, else return the ETH.
[+] [-] vosper|8 years ago|reply
But hey, check out my ICO - we have a "whitepaper"!
[+] [-] TTPrograms|8 years ago|reply
By who? I'm not aware of any major developers suggesting this. As far as I can tell this is just a strawman promoted on HN. The Dao was a single instantiation of this sort of idea promoted by a small number of non-core developers - it doesn't define the idea of smart contracts.
[+] [-] davidgerard|8 years ago|reply
As Matt Levine from Bloomberg put it:"My immutable unforgeable cryptographically secure blockchain record proving that I have 10,000 pounds of aluminum in a warehouse is not much use to a bank if I then smuggle the aluminum out of the warehouse through the back door."
Technology and business journalists writing about non- cryptocurrency use cases for smart contracts never seem to mention that their "trustless" system will still involve trusting humans wherever it touches the physical world. You may have a tamperproof system for running contract code, but the inputs have to come from outside this secure space.
[+] [-] flyGuyOnTheSly|8 years ago|reply
I see all of these "prediction markets" and "gambling platforms" being launched and claiming that they are "fully autonomous".
Well where do they get the outcome information from? It must be from a person.
You cannot program a smart contract to know who has the most reliable sports scores or political information. AI does not exist yet.
If I bet that Hillary Clinton won the election, and she lost to Trump, what's stopping a hoard of Clinton supporters from voting (or tweeting or however the DAO collects their "data") that Clinton actually won the election and stealing my winnings?
[+] [-] colordrops|8 years ago|reply
[+] [-] mrep|8 years ago|reply
[+] [-] atarian|8 years ago|reply
This is where people are betting to take a risk that the law will change to legalize and maybe even incorporate these contracts. Take a prenuptial agreement for example. Instead of having a lawyer, a smart contract could automatically split ether from an account into two addresses.
https://www.coindesk.com/prenup-ethereum-marriage-obligation...
[+] [-] nfriedly|8 years ago|reply
The benefit over a regular database is that everyone gets to see what the data and stored procedures are, so you don't have to take someone elses word for that part.
Also, there's a built-in payment system, which is handy sometimes.
It doesn't solve interacting with the rest of the world, you still need an external system for that, just like with most databases.
[+] [-] erikpukinskis|8 years ago|reply
The other market that intrigues me is autonomous AIs. I can imagine an AI that can more easily trust a smart contract than a human institution.
Essentially, you are right, but you're biased because you feel good in your network of human trust. Replacing that world with machines doesn't buy you anything because you'll still want to keep your human layer as the bottom line. But not everyone is so nestled in the bosom of modernity.
Also consider scale. Banks won't loan you $1000. It's not worth the time to do the math, and find an appraiser. But a crypto contract can do the math for free, and a network of appraisers would contain someone who can do really fast work on a tight schedule. Like, "show up at Highland Mall on Saturday afternoon, I will appraise 50 businesses in 3 hours".
That business model only works if you have infrastructure that takes care of everything else than the appraising, with much richer modeling than even banks use today.
[+] [-] ecommerceguy|8 years ago|reply
[+] [-] decentralised|8 years ago|reply
Think of a blockchain a OSS Visa like payment network where you and anyone else can build their own apps, be it something as trivial as a multi-sig or a token exchange, for instance. From this angle, I think it makes more sense to investigate Ethereum and smart contracts in general.
Regarding accessing external data, that is done via oracles and is a well researched topic with some notable implementations (Oraclize, Town Crier, etc), but I'd venture that the most common way to integrate a web3 with web2 is and will be at a middleware level, not directly on a smart contract.
[+] [-] k__|8 years ago|reply
They make up a big part of many corporations that costs much money but doesn't bring any benefits to the products.
They do work that I'd deem difficult, but that would also lend itself to automation with smart contracts very well.
[+] [-] ascendantlogic|8 years ago|reply
I feel like this song and dance precedes all major shifts in technology.
[+] [-] jerguismi|8 years ago|reply
(sarcasm)
[+] [-] erikpukinskis|8 years ago|reply
[deleted]
[+] [-] hyper_reality|8 years ago|reply
This seems to be the direction that blockchain and smart contract tech needs to go if it aims to be scalable. Conduct the vast majority of your business off-chain, and resort to the blockchain in the event of a dispute.
Kind of like how two parties in a business relationship will generally act on good faith, but may choose the nuclear option of legally enforcing a contract if the relationship sours.
[+] [-] runeks|8 years ago|reply
Imagine a 10,000-node network, where each node has to handle 1 billion messages per second. Firstly, if we assume a single VM can handle 1 million messages per second, it would require that each node rent ~1000 VMs (for a total of 10 million VMs for the entire P2P network), which they obviously can’t do without compensation. And if you introduce compensation, you need to pay the same fee to each node, which makes it inherently 10,000 times as expensive as a centralized network.
So the question is not whether it’s possible, the question is whether it’s worth it: in how many cases would a user prefer a system that’s 10,000 times cheaper, albeit requiring some trust?
Merchants all over the world are willing to accept VISA credit in exchange for goods and services, but they could — in theory — demand trustless payments in the form of international bank transfers, which are less than 10,000 times as expensive as a VISA transaction.
[+] [-] pepesza|8 years ago|reply
Today even timestamping is expensive in decentralized world. Plasma actually allows you to do that cheaply.
[+] [-] tscs37|8 years ago|reply
[+] [-] buf|8 years ago|reply
Looking forward to seeing results
[+] [-] unknown|8 years ago|reply
[deleted]
[+] [-] whatnotests|8 years ago|reply
[+] [-] modeless|8 years ago|reply
Vitalik has created Ethereum of course, and he's not asking for investment, so this is better than your garden variety ICO scam. But right now this is more of a wishlist of desired features than a roadmap to implementation.
[+] [-] state|8 years ago|reply
Given: "Draft is in-progress and may be frequently updated in the next week(s)." I'll give them the benefit of the doubt, and just look forward to it getting more specific.
[+] [-] sktrdie|8 years ago|reply
[+] [-] imafish|8 years ago|reply
Also, on bitcointalk it seems all you need is a whitepaper and a great(!) team (of 1 developer and hundred marketing strategists, financial directors and whatnot.)
[+] [-] unknown|8 years ago|reply
[deleted]
[+] [-] jamespitts|8 years ago|reply
- Medieval barber, Theodoric of York
[+] [-] mmckeen|8 years ago|reply
[+] [-] DennisP|8 years ago|reply
[+] [-] Etheryte|8 years ago|reply
[+] [-] Zardoz84|8 years ago|reply
[+] [-] unknown|8 years ago|reply
[deleted]
[+] [-] afeezaziz|8 years ago|reply
[+] [-] unknown|8 years ago|reply
[deleted]
[+] [-] ntemiann|8 years ago|reply
http://blog.stephenwolfram.com/2016/10/computational-law-sym...
And so it is with bitcoin, Ethereum, etc. The idea is that some particular thing that happened (“X paid Y such-and-such” or whatever) is shared and recorded in so many places that there can’t be any doubt about it. Yes, it’s in principle possible that all the few thousand places that actually participate in something like bitcoin today could collude to give a fake result. But the idea is that it’s like with gas molecules in a room: the probability is inconceivably small. (As it happens, my Principle of Computational Equivalence suggests that there’s more than an analogy with the gas molecules, and that actually the underlying principles at work are basically exactly the same. And, yes, there are lots of interesting technical details about the operation of distributed blockchain ledgers, distributed consensus protocols, etc., but I’m not going to get into them here.) It’s popular these days to talk about “smart contracts”. When I’ve been talking about “computational contracts” I mean contracts that can be expressed computationally. But by “smart contracts” people usually mean contracts that can both be expressed computationally and execute automatically. Most often the idea is to set up a smart contract in a distributed computation environment like Ethereum, and then to have the code in the contract evaluate based on inputs from the computation environment. Sometimes the input is intrinsic—like the passage of time (who could possibly tamper with the clock of the whole internet?), or physically generated random numbers. And in cases like this, one has fairly pure smart contracts, say for paying subscriptions, or for running distributed lotteries. But more often there has to be some input from the outside—from something that happens in the world. Sometimes one just needs public information: the price of a stock, the temperature at a weather station, or a seismic event like a nuclear explosion. But somehow the smart contract needs access to an “oracle” that can give it this information. And conveniently enough, there is one good such oracle available in the world: Wolfram|Alpha. And indeed Wolfram|Alpha is becoming widely used as an oracle for smart contracts. (Yes, our general public terms of service say you currently just shouldn’t rely on Wolfram|Alpha for anything you consider critical—though hopefully soon those terms of service will get more sophisticated, and computational.) But what about non-public information from the outside world? The current thinking for smart contracts tends to be that one has to get humans in the loop to verify the information: that in effect one has to have a jury (or a democracy) to decide whether something is true. But is that really the best one can do? I tend to suspect there’s another path, that’s like using machine learning to inject human-like judgment into things. Yes, one can use people, with all their inscrutable and hard-to-systematically-influence behavior. But what if one replaces those people in effect by AIs—or even a collection of today’s machine-learning systems? One can think of a machine-learning system as being a bit like a cryptosystem. To attack it and spoof its input one has to do something like inverting how it works. Well, given a single machine-learning system there’s a certain effort needed to achieve this. But if one has a whole collection of sufficiently independent systems, the effort goes up. It won’t be good enough just to change a few parameters in the system. But if one just goes out into the computational universe and picks systems at random then I think one can expect to have the same kind of independence as by having different people. (To be fair, I don’t yet quite know how to apply the mining of the computational universe that I’ve done for programs like cellular automata to the case of systems like neural nets.) There’s another point as well: if one has a sufficiently dense net of sensors in the world, then it becomes increasingly easy to be sure about what’s happened. If there’s just one motion sensor in a room, it might be easy to cover it. And maybe even if there are several sensors, it’s still possible to avoid them, Mission Impossible-style. But if there are enough sensors, then by synthesizing information from them one can inevitably build up an understanding of what actually happened. In effect, one has a model of how the world works, and with enough sensors one can validate that the model is correct. It’s not surprising, but it always helps to have redundancy. More nodes to ensure the computation isn’t tampered with. More machine-learning algorithms to make sure they aren’t spoofed. More sensors to make sure they’re not fooled. But in the end, there has to be something that says what should happen—what the contract is. And the contract has to be expressed in some language in which there are definite concepts. So somehow from the various redundant systems one has in the world, one has to make a definite conclusion—one has to turn the world into something symbolic, on which the contract can operate.
[+] [-] walterstucco|8 years ago|reply
The point is always "make it hard so it will be too expensive to crack it". but what if some country (or group of countries) really try to temper with the clock of the internet? Are we sure the won't succed and make all of us use it?
If consensus is only established by powerful AIs, the ones with the most powerful AIs are creating the truth.
[+] [-] Slartie|8 years ago|reply
If there's one thing I really hate about all this machine-learning/AI scene it is this "Have a seemingly unsolvable problem? Don't worry, just let an AI that you don't understand and can't debug fix it for you!" silver-bullet mentality.
[+] [-] hasa|8 years ago|reply
[+] [-] SkyMarshal|8 years ago|reply
[+] [-] doktrin|8 years ago|reply
[+] [-] dang|8 years ago|reply
We detached this subthread from https://news.ycombinator.com/item?id=14976350 and marked it off-topic.
[+] [-] unknown|8 years ago|reply
[deleted]
[+] [-] rothbardrand|8 years ago|reply
[+] [-] ge96|8 years ago|reply
[+] [-] dang|8 years ago|reply
We detached this subthread from https://news.ycombinator.com/item?id=14977061 and marked it off-topic.
[+] [-] runeks|8 years ago|reply