Mining in Logarithmic Space
November 2021 — Aggelos Kiayias, Nikos Leonardos, Dionysis Zindros
ACM CCS '21Where ideas meet evidence
Categories
Topics
Authors
Search results
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, Aggelos Kiayias, Mario Larangeira
ESORICS 2021Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake
October 2021 — Christian Badertscher, Peter Gaži, Aggelos Kiayias, Alexander Russell, Vassilis Zikas
Eurocrypt '21Post-Quantum Security of the Bitcoin Backbone and Quantum Multi-Solution Bernoulli Search
March 2021 — Alexandru Cojocaru, Juan Garay, Aggelos Kiayias, Fang Song, Petros Wallden
ArXiv e-printConsistency of Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders
November 2020 — Aggelos Kiayias, Saad Quader, 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, Aggelos Kiayias, Dionysis Zindros
A Composable Security Treatment of the Lightning Network
June 2020 — Aggelos Kiayias, Orfeas Stefanos Thyfronitis Litos
CSF '20Full Analysis of Nakamoto Consensus in Bounded-Delay Networks
March 2020 — Juan Garay, 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 — 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, Philip Wadler
The Combinatorics of the Longest-Chain Rule: Linear Consistency for Proof-of-Stake Blockchains
January 2020 — Erica Blum, Aggelos Kiayias, Cristopher Moore, Saad Quader, Alexander Russell
SODA 20System F in Agda, for fun and profit
October 2019 — James Chapman, Roman Kireev, Chad Nester, Philip Wadler
MPC'19Unraveling recursion: compiling an IR with recursion to System F
October 2019 — Roman Kireev, Chad Nester, Michael Peyton Jones, 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, Simon Thompson, Rebecca Valentine, 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
Partner with research
Investing in and contributing to Input Output Research means supporting one of the most rigorous and peer-reviewed blockchain R&D efforts in the world. Our work bridges academia and industry, advancing decentralization, security and scalability while creating open knowledge that benefits the entire ecosystem. Whether through funding, collaboration, or partnership, contributors play a vital role in shaping innovations that are ethical, impactful and built to endure.