Solving real-world problems through technical innovations.
Block-STM: Scaling Blockchain Execution by Turning Ordering Curse to a Performance Blessing
Rati Gelashvili, Alexander Spiegelman, Zhuolun Xiang, George Danezis, Zekun Li, Dahlia Malkhi, Yu Xia, Runtian Zhou
[ View publication] Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus
George Danezis, Alberto Sonnino, Lefteris Kokoris-Kogias, Alexander Spiegelman
[ View publication] Bullshark: DAG BFT Protocols Made Practical
Alexander Spiegelman, Neil Giridharan, Alberto Sonnino, Lefteris Kokoris-Kogias
[ View publication] Bullshark: The Partially Synchronous Version
Alexander Spiegelman, Neil Giridharan, Alberto Sonnino, Lefteris Kokoris-Kogias
[ View publication] All You Need is DAG
Idit Keidar, Eleftherios Kokoris-Kogias, Oded Naor, Alexander Spiegelman
[ View publication] Aggregatable Distributed Key Generation
Kobi Gurkan, Philipp Jovanovic, Mary Maller, Sarah Meiklejohn, Gilad Stern, Alin Tomescu
[ View publication] Towards Scalable Threshold Cryptosystems
Alin Tomescu, Robert Chen, Yiming Zheng, Ittai Abraham, Benny Pinkas, Guy Golan Gueta, Srinivas Devadas
[ View publication] Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments
Shravan Srinivasan, Alex Chepurnoy, Charalampos Papamanthou, Alin Tomescu, Yupeng Zhang
[ View publication] Transparency Logs via Append-only Authenticated Dictionaries
Alin Tomescu, Vivek Bhupatiraju, Dimitrios Papadopoulos, Charalampos Papamanthou, Nikos Triandopoulos, Srinivas Devadas
[ View publication] Shoal: Improving DAG-BFT Latency And Robustness
Alexander Spiegelman, Rati Gelashvili, Balaji Arun, Zekun Li
[ View publication] Distributed Randomness using Weighted VRFs
Sourav Das, Benny Pinkas, Alin Tomescu, Zhuolun Xiang
[ View publication] Verifiable Secret Sharing Simplified
Sourav Das, Zhuolun Xiang, Alin Tomescu, Alexander Spiegelman, Benny Pinkas, Ling Ren
[ View publication] Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Emma Zhong
[ View publication]