Kachina - Foundations of Private Smart Contracts

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Smart contracts present a uniform approach for deploying distributed computation and have become a popular means to develop security critical applications. A major barrier to adoption for many applications is the public nature of existing
systems, such as Ethereum. Several systems satisfying various definitions of privacy and requiring various trust assumptions have been proposed; however, none achieved the universality and uniformity that Ethereum achieved for non-private contracts: One unified method to construct most contracts. We provide a unified security model for private smart contracts which is based on the Universal Composition (UC) model and propose a novel core protocol, KACHINA, for deploying privacy-preserving smart contracts, which encompasses previous systems. We demonstrate the KACHINA method of smart contract development, using it to construct a contract that implements privacy-preserving payments, along the lines of Zerocash, which is provably secure in the UC setting and facilitates concurrency.
Original languageEnglish
Title of host publication2021 IEEE 34th Computer Security Foundations Symposium (CSF)
Number of pages16
ISBN (Electronic)978-1-7281-7607-9
ISBN (Print)978-1-7281-7608-6
Publication statusPublished - 10 Aug 2021
Event34th IEEE Computer Security Foundations Symposium -
Duration: 21 Jun 202125 Jun 2021

Publication series

ISSN (Print)1940-1434
ISSN (Electronic)2374-8303


Symposium34th IEEE Computer Security Foundations Symposium
Abbreviated titleCSF 2021
Internet address


Dive into the research topics of 'Kachina - Foundations of Private Smart Contracts'. Together they form a unique fingerprint.

Cite this