Constructing safe obfuscation seems to be extraordinarily troublesome. The perfect model proved inconceivable in 2001, sending researchers to pursue weaker iO objectives as a substitute, however the practically 20-year effort was stuffed with failures. The excellent news nowadays is that iOs can now be constructed with affordable safety assumptions.
The draw back, nonetheless, is that the runtime is, in Buterin’s phrases, “galactic.” Environment friendly in principle, however ridiculously sluggish in observe.
Buterin in contrast that second to the scenario round 2010, earlier than years of optimization reworked SNARK, the zero-knowledge proof that’s now central to Ethereum’s scaling, from a curiosity to a working infrastructure. Obfuscation may observe the identical path from theoretical breakthrough to usable instrument, even whether it is hopelessly costly to do as soon as right this moment.
Privateness cash like Monero (XMR) are already hiding issues on the dwell blockchain, so why would Buterin deal with this as unresolved? As a result of they’re hiding one thing totally different. Monero hides transaction knowledge, together with who paid whom and the way a lot, by ring signatures, stealth addresses, and secret quantities.
Obfuscation in Buterin’s sense hides the logic of this system, the code itself, slightly than the information flowing by it. As he says, iO hides code, not knowledge. Monero has been engaged on transactional privateness for over a decade, however program obfuscation has by no means been carried out in manufacturing. The aim of his submit is to fill that hole.
