DeCenter Seminar Lecture: Correctness Conditions for Cross-Chain Deals @princetonengineering
DeCenter Seminar Lecture: Correctness Conditions for Cross-Chain Deals  @princetonengineering
Uploaded December 2022 | Updated September 2026, 17 hours ago
Maurice Herlihy, An Wang Professor of Computer Science, Brown University

Modern distributed data management systems face a new challenge: how can autonomous, mutually-distrusting parties cooperate safely and effectively? Addressing this challenge brings up many questions familiar from classical distributed systems. Nevertheless, many of these questions requires subtle rethinking when participants are autonomous and potentially adversarial.

We propose the notion of a cross-chain deal, a new way to structure complex distributed computations that manage assets in an adversarial setting. Deals are inspired by classical atomic transactions, but differ in important ways to accommodate the decentralized and untrusting nature of the exchange.

Joint work with Barbara Liskov and Liuba Shrira.
DeCenter Seminar Lecture: Correctness Conditions for Cross-Chain DealsOmenn Bioethics Lecture 2022: Jodi HalpernBioengineering: Aileen Kauffman, Toettcher labUsing brain cells to do computationDavid Dobkin on the resurgence of Computer ScienceAlexandra WerthAlchemy of computer science + archaeology = City of GoldLace is the inspiration for these reconfigurable materialsSara Fridovich-KeilScience, Society and DinnerBioengineering: Robert Heeter, Zhong labMixing liquids
Princeton Engineering |

DeCenter Seminar Lecture: "Correctness Conditions for Cross-Chain Deals"

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER