Mining in Logarithmic Space
November 2021 — Prof Aggelos Kiayias, Nikos Leonardos, Dionysis Zindros
ACM CCS '21Where science meets purpose
Categories
Topics
Authors
Research Papers
Probability Models of Distributed Proof Generation for zk-SNARK-Based Blockchains
November 2021 — Yuri Bespalov, Alberto Garoffolo, Lyudmila Kovalchuk, Hanna Nelasa, Prof Roman Oliynykov
Mathematics 2021 9(23)Conclave: A Collective Stake Pool Protocol
October 2021 — Dimitris Karakostas, Prof Aggelos Kiayias, Mario Larangeira
ESORICS 2021Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake
October 2021 — Christian Badertscher, Peter Gaži, Prof Aggelos Kiayias, Prof Alexander Russell, Vassilis Zikas
Eurocrypt '21Post-Quantum Security of the Bitcoin Backbone and Quantum Multi-Solution Bernoulli Search
March 2021 — Alexandru Cojocaru, Juan Garay, Prof Aggelos Kiayias, Fang Song, Petros Wallden
ArXiv e-printConsistency of Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders
November 2020 — Prof Aggelos Kiayias, Saad Quader, Prof Alexander Russell
ICDCS '20Zendoo: a zk-SNARK Verifiable Cross-Chain Transfer Protocol Enabling Decoupled and Decentralized Sidechains
November 2020 — Alberto Garoffolo, Dmytro Kaidalov, Prof Roman Oliynykov
BlockApp 2020Models of distributed proof generation for ZK-SNARK-based blockchains
October 2020 — Yuri Bespalov, Alberto Garoffolo, Lyudmila Kovalchuk, Hanna Nelasa, Prof Roman Oliynykov
Updatable Blockchains
September 2020 — Michele Ciampi, Nikos Karayannidis, Prof Aggelos Kiayias, Dionysis Zindros
A Composable Security Treatment of the Lightning Network
June 2020 — Prof Aggelos Kiayias, Orfeas Stefanos Thyfronitis Litos
CSF '20Full Analysis of Nakamoto Consensus in Bounded-Delay Networks
March 2020 — Juan Garay, Prof Aggelos Kiayias, Nikos Leonardos
ePrint ArchiveBypassing Non-Outsourceable Proof-of-Work Schemes Using Collateralized Smart Contracts
February 2020 — Alexander Chepurnoy, Amitabh Saxena
Non-Interactive Proofs of Proof-of-Work
February 2020 — Prof Aggelos Kiayias, Andrew Miller, Dionysis Zindros
Financial Cryptography 2020The Extended UTXO Model
February 2020 — Manuel Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Prof Philip Wadler
The Combinatorics of the Longest-Chain Rule: Linear Consistency for Proof-of-Stake Blockchains
January 2020 — Erica Blum, Prof Aggelos Kiayias, Cristopher Moore, Saad Quader, Prof Alexander Russell
SODA 20System F in Agda, for fun and profit
October 2019 — James Chapman, Roman Kireev, Chad Nester, Prof Philip Wadler
MPC'19Unraveling recursion: compiling an IR with recursion to System F
October 2019 — Roman Kireev, Chad Nester, Michael Peyton Jones, Prof Philip Wadler, Vasilis Gkoumas, Kenneth MacKenzie
MPC'19Functional Blockchain Contracts
May 2019 — Manuel Chakravarty, Roman Kireev, Kenneth MacKenzie, Vanessa McHale, Jann Müller, Alexander Nemish, Chad Nester, Michael Peyton Jones, Prof Simon Thompson, Rebecca Valentine, Prof Philip Wadler
DraftDecreasing Security Threshold Against Double Spend Attack in Networks with Slow Synchronization
April 2019 — Lyudmila Kovalchuk, Dmytro Kaidalov, Andrii Nastenko, Mariia Rodinko, Oleksiy Shevtsov, Prof Roman Oliynykov
CryBlock'19