Blockchain is a decentralized distributed ledger that combines multiple technologies,
including chain data structures, P2P networks, consensus algorithms, cryptography, and …

Smart contracts are regarded as one of the most promising and appealing notions in
blockchain technology. Their self-enforcing and event-driven features make some online …

Data privacy is a key concern for smart contracts handling sensitive data. The existing work
zkay addresses this concern by allowing developers without cryptographic expertise to …

Bitcoin is one of the most prominent examples of a distributed cryptographic protocol that is
extensively used in reality. Nonetheless, existing security proofs are property-based, and as …

Cryptocurrency exchange services are either trusted central entities that have been routinely
hacked (losing over 8 billion USD), or decentralized services that make all orders public …

Traditional blockchain systems execute program state transitions on-chain, requiring each
network node participating in state-machine replication to re-compute every step of the …

Society appears to be on the verge of recognizing the need for control over sensitive data in
modern web applications. Recently, many systems claim to give control to individuals …

Due to the simplicity and performance of zk-SNARKs they are widely used in real-world
cryptographic protocols, including blockchain and smart contract systems. Simulation …

Decentralized autonomous organizations (DAOs) are a new, rapidly-growing class of
organizations governed by smart contracts. Here we describe how researchers can …

Abstract The proliferation of Decentralised Finance (DeFi) and Decentralised Autonomous
Organisations (DAO), which in current form are exposed to front-running of token …