Constructing safe obfuscation has proved brutally onerous. A really perfect model was confirmed not possible in 2001, which despatched researchers after the weaker iO goal as an alternative, a roughly two-decade effort suffering from damaged makes an attempt. The current excellent news is that iO can now be constructed below affordable safety assumptions.
Nevertheless, the draw back is that the runtimes are, in Buterin’s phrase, “galactic,” environment friendly on paper however absurdly sluggish in follow.
Buterin in contrast the second to the place SNARKs, the zero-knowledge proofs now central to Ethereum’s scaling, sat round 2010, earlier than years of optimization turned them from a curiosity into working infrastructure. The suggestion is that obfuscation may journey the identical street from theoretical breakthrough to usable instrument, even when a single run in the present day can be hopelessly costly.
Privateness cash like Monero (XMR) already disguise issues on a dwell blockchain, so why does Buterin deal with this as unsolved? As a result of they disguise various things. Monero obscures transaction information, resembling who paid whom and the way a lot, by ring signatures, stealth addresses and confidential quantities.
Obfuscation in Buterin’s sense hides this system’s logic, the code itself, not the info flowing by it. As he places it, iO hides the code, not the info. Monero has accomplished transaction privateness for over a decade, however program obfuscation has by no means run in manufacturing anyplace, and shutting that hole is what his put up is about.
