This event is cross-posted with IC3 NYC Blockchain Meetup

The paper is here:

The talk will start promptly at 7pm and we will not be able to handle late arrivals, sorry.  So please get there between 6:30pm and 7:00pm.

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.