138 citations · 281 across the 10 of their papers we have counts for
10 papers
MPC-EVM: Enabling MPC Execution by Smart Contracts In An Asynchronous Manner
Yichen Zhou, Chenxing Li, Fan Long
This paper presents MPC-EVM, the first blockchain prototype that extends the EVM to enable asynchronous MPC invocations by smart contracts during transaction executions without com…
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long
In decentralized finance (DeFi), lenders can offer flash loans to borrowers, i.e., loans that are only valid within a blockchain transaction and must be repaid with fees by the end…
Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts
Péter Garamvölgyi, Yuxi Liu, Dong Zhou +2
Traditional public blockchain systems typically had very limited transaction throughput because of the bottleneck of the consensus protocol itself. With recent advances in consensu…
SigVM: Enabling Event-Driven Execution for Autonomous Smart Contracts
Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song +3
This paper presents SigVM, a novel blockchain virtual machine that supports an event-driven execution model, enabling developers to build autonomous smart contracts. Contracts in S…
Automatic Horizontal Fusion for GPU Kernels
Ao Li, Bojian Zheng, Gennady Pekhimenko +1
We present automatic horizontal fusion, a novel optimization technique that complements the standard kernel fusion techniques for GPU programs. Unlike the standard fusion, whose go…
GHAST: Breaking Confirmation Delay Barrier in Nakamoto Consensus via Adaptive Weighted Blocks
Chenxing Li, Fan Long, Guang Yang
Initiated from Nakamoto's Bitcoin system, blockchain technology has demonstrated great capability of building secure consensus among decentralized parties at Internet-scale, i.e.,…
Engineering Economics in the Conflux Network
Yuxi Cai, Fan Long, Andreas Park +1
Proof-of-work blockchains need to be carefully designed so as to create the proper incentives for miners to faithfully maintain the network in a sustainable way. This paper describ…
Securing Smart Contract On The Fly
Ao Li, Jemin Andrew Choi, Fan Long
We present Solythesis, a source to source Solidity compiler which takes a smart contract code and a user specified invariant as the input and produces an instrumented contract that…
Detecting Standard Violation Errors in Smart Contracts
Ao Li, Fan Long
We present SOLAR, a new analysis tool for automatically detecting standard violation errors in Ethereum smart contracts.Given the Ethereum Virtual Machine (EVM) bytecode of a smart…
Scaling Nakamoto Consensus to Thousands of Transactions per Second
Chenxing Li, Peilun Li, Dong Zhou +3
This paper presents Conflux, a fast, scalable and decentralized blockchain system that optimistically process concurrent blocks without discarding any as forks. The Conflux consens…