Adamastor: a New Low Latency and Scalable Decentralized Anonymous Payment System
Authors:
Rui Morais,
Paul Crocker,
Simao Melo de Sousa
Abstract:
This paper presents Adamastor, a new low latency and scalable decentralized anonymous payment system, which is an extension of Ring Confidential Transactions (RingCT) that is compatible with consensus algorithms that use Delegated Proof of Stake (DPoS) as a defense mechanism against Sybil attacks. Adamastor also includes a new Decoy Selection Algorithm (DSA) that can be of independent interest, ca…
▽ More
This paper presents Adamastor, a new low latency and scalable decentralized anonymous payment system, which is an extension of Ring Confidential Transactions (RingCT) that is compatible with consensus algorithms that use Delegated Proof of Stake (DPoS) as a defense mechanism against Sybil attacks. Adamastor also includes a new Decoy Selection Algorithm (DSA) that can be of independent interest, called SimpleDSA, a crucial aspect of protocols that use ring signatures to anonymize the sender. SimpleDSA offers security against homogeneity attacks and chain analysis. Moreover, it enables the pruning of spent outputs, addressing the issue of perpetual output growth commonly associated with such schemes. Adamastor is implemented and evaluated using the Narwhal consensus algorithm, demonstrating significantly lower latency compared to Proof of Work based cryptocurrencies. Adamastor also exhibits ample scalability, making it suitable for a decentralized and anonymous payment network.
△ Less
Submitted 14 December, 2023; v1 submitted 28 November, 2020;
originally announced November 2020.
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts
Authors:
João Santos Reis,
Paul Crocker,
Simão Melo de Sousa
Abstract:
This paper introduces Tezla, an intermediate representation of Michelson smart contracts that eases the design of static smart contract analysers. This intermediate representation uses a store and preserves the semantics, ow and resource usage of the original smart contract. This enables properties like gas consumption to be statically verified. We provide an automated decompiler of Michelson smar…
▽ More
This paper introduces Tezla, an intermediate representation of Michelson smart contracts that eases the design of static smart contract analysers. This intermediate representation uses a store and preserves the semantics, ow and resource usage of the original smart contract. This enables properties like gas consumption to be statically verified. We provide an automated decompiler of Michelson smart contracts to Tezla. In order to support our claim about the adequacy of Tezla, we develop a static analyser that takes advantage of the Tezla representation of Michelson smart contracts to prove simple but non-trivial properties.
△ Less
Submitted 24 May, 2020;
originally announced May 2020.
