1 code implementation • 9 Apr 2020 • Quan Nguyen, Andre Cronje, Michael Kong
Reasoning about the validity of the object states is challenging in concurrent smart contracts.
Distributed, Parallel, and Cluster Computing Programming Languages
no code implementations • 12 Nov 2019 • Quan Nguyen, Andre Cronje, Michael Kong
The problem of peer selection, which randomly selects a peer from a set, is commonplace in Proof-of-Stake (PoS) protocols.
Distributed, Parallel, and Cluster Computing Data Structures and Algorithms
no code implementations • 29 Aug 2019 • Quan Nguyen, Andre Cronje, Michael Kong, Alex Kampa, George Samman
Unlike StakeDag's DAG, x-DAG ensures that each new block has to have parent blocks from both Users and Validators to achieve more safety and liveness.
Cryptography and Security Distributed, Parallel, and Cluster Computing
no code implementations • 5 Jul 2019 • Quan Nguyen, Andre Cronje, Michael Kong, Alex Kampa, George Samman
We address a general model of trustless system in which participants are distinguished by their stake or trust: users and validators.
Distributed, Parallel, and Cluster Computing Cryptography and Security
no code implementations • 13 May 2019 • Quan Nguyen, Andre Cronje
This paper presents a new framework, namely \emph{\onlay}, for scalable asynchronous distributed systems.
Distributed, Parallel, and Cluster Computing
no code implementations • 22 Oct 2018 • Sang-Min Choi, Jiho Park, Quan Nguyen, Andre Cronje
We describe \emph{Fantom}, a framework for asynchronous distributed systems.
Distributed, Parallel, and Cluster Computing
no code implementations • 4 Oct 2018 • Sang-Min Choi, Jiho Park, Quan Nguyen, Andre Cronje, Kiyoung Jang, Hyunjoon Cheon, Yo-Sub Han, Byung-Ik Ahn
Each event block is signed by the hashes of the creating node and its $k$ peers.
Distributed, Parallel, and Cluster Computing