Past Meetup

“Ethereum Isn't Turing Complete, and It Doesn't Matter Anyway”

This Meetup is past

74 people went

11 Times Square

6th Floor, Conf. Room: “Central Park West” · NYC, NY

How to find us

Building Access Requires That You Register on This Site with Your First and Last Names by 6:30PM EDT on Monday Aug 1.

Location image of event venue

Details

Professor Andrew Miller, IC3 Associate Director, Department of Computer Science, University of Illinois, Urbana Champaign will talk about "Hawk" - the blockchain confidentiality protocol he pioneered, smart contract programming in general, and relevance of the concept of Turing completeness, which is often misinterpreted.

Abstract: Turing completeness is a red herring. It's commonly misused as a catch-all buzzword to mean "expressive", or "universal."

In computer science theory, Turing completeness is indeed universal for "computable functions", but cryptocurrencies are about much more than computable functions --- they require interaction and distributed communication, for example. Turing completeness doesn't say much about these settings.

In this talk, I'll explain exactly what Turing completeness means and doesn't mean. Spoiler: Ethereum isn't Turing complete anyway!

People often think "loops" are necessary and sufficient to be universal. Actually, even a system without loops, like Hawk, based on "circuit families", can represent any computable function as well.

I'll also give examples of Turing-complete cryptocurrency designs that are useless.

Finally, I'll explain why the halting problem is not a good excuse to ignore formal methods for validating smart contracts.