activity
20242026
collaborators

5 papers

cs.DC2026

QUANTAS 2 An Abstract, Concrete and Byzantine Simulator

Mikhail Nesterenko, Joseph Oglio

We present QUANTAS 2: a new distributed algorithm simulator and quantitative performance analysis tool. We use the original QUANTAS as a foundation. QUANTAS 2 can perform fast abst…

cs.DC2025

When Can You Trust Bitcoin? Value-Dependent Block Confirmation to Determine Transaction Finalit

Ethan Hicks, Joseph Oglio, Mikhail Nesterenko +1

We study financial transaction confirmation finality in Bitcoin as a function of transaction amount and user risk tolerance. A transaction is recorded in a block on a blockchain. H…

cs.DC2025

SmartShards: Churn-Tolerant Continuously Available Distributed Ledger

Joseph Oglio, Mikhail Nesterenko, Gokarna Sharma

We present SmartShards: a new sharding algorithm for improving Byzantine tolerance and churn resistance in blockchains. Our algorithm places a peer in multiple shards to create an…

cs.DC2024

Consensus Through Knot Discovery in Asynchronous Dynamic Networks

Rachel Bricker, Mikhail Nesterenko, Gokarna Sharma

We state the Problem of Knot Identification as a way to achieve consensus in dynamic networks. The network adversary is asynchronous and not oblivious. The network may be disconnec…

cs.DC2024

TRAIL: Cross-Shard Validation for Cryptocurrency Byzantine Shard Protection

Mitch Jacovetty, Joseph Oglio, Mikhail Nesterenko +1

We present TRAIL: an algorithm that uses a novel consensus procedure to tolerate failed or malicious shards within a blockchain-based cryptocurrency. Our algorithm takes a new appr…