123 citations · 131 across the 6 of their papers we have counts for
6 papers
Lachesis: Scalable Asynchronous BFT on DAG Streams
Quan Nguyen, Andre Cronje, Michael Kong +2
This paper consolidates the core technologies and key concepts of our novel Lachesis consensus protocol and Fantom Opera platform, which is permissionless, leaderless and EVM compa…
OV: Validity-based Optimistic Smart Contracts
Quan Nguyen, Andre Cronje, Michael Kong
Smart contract (SC) platforms form blocks of transactions into a chain and execute them via user-defined smart contracts. In conventional platforms like Bitcoin and Ethereum, the t…
Fast Stochastic Peer Selection in Proof-of-Stake Protocols
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. In PoS, peers are chosen randomly with probability propor…
StairDag: Cross-DAG Validation For Scalable BFT Consensus
Quan Nguyen, Andre Cronje, Michael Kong +2
This paper introduces a new consensus protocol, so-called \emph{\stair}, for fast consensus in DAG-based trustless system. In \stair, we propose a new approach to creating local bl…
StakeDag: Stake-based Consensus For Scalable Trustless Systems
Quan Nguyen, Andre Cronje, Michael Kong +2
Trustless systems, such as those blockchain enpowered, provide trust in the system regardless of the trust of its participants, who may be honest or malicious. Proof-of-stake (PoS)…
Vandal: A Scalable Security Analysis Framework for Smart Contracts
Lexi Brent, Anton Jurisevic, Michael Kong +5
The rise of modern blockchains has facilitated the emergence of smart contracts: autonomous programs that live and run on the blockchain. Smart contracts have seen a rapid climb to…