26:39Lockable Signatures for Blockchains Scriptless Scripts for All SignaturesTPBC63 views·4 years ago
26:17Ebb-and-Flow Protocols A Resolution of the Availability-Finality DilemmaTPBC206 views·4 years ago
20:58On the Routing-Aware Peering against Network-Eclipse Attacks in BitcoinTPBC166 views·4 years ago
25:12GearBox An Efficient UC Sharded Ledger Leveraging the Safety-Liveness DichotomyTPBC109 views·4 years ago
47:42On the Central Role of Networks in Blockchain Privacy, Security, and PerformanceTPBC96 views·4 years ago
44:11Scalability of Decentralized Trust Some Lessons and some Recent AdvancesTPBC417 views·4 years ago
24:17The Discriminating Miner Dilemma Revisiting Liveness Guarantees under Content DiscriminationTPBC33 views·4 years ago
24:57Post-Quantum Security of the Bitcoin Backbone and Quantum Multi-Solution Bernoulli SearchTPBC82 views·4 years ago
25:45SciviK A Versatile Framework for Specifying and Verifying Smart ContractsTPBC60 views·4 years ago
42:30Beyond “Smart Contracts” - General-Purpose Computation on the BlockchainTPBC91 views·4 years ago