Publications

Papers and articles advancing the frontiers of decentralized systems, cryptography, and distributed computing.

How to Obtain a Complete Human Connectome at Synaptic Resolution Within the Next Decade

Moritz Helmstaedter · PL Neuro Whitepaper · 2026

Models to Markets: BCI, Neural Data, and Business Innovation in the AI Era

Naveen Rao · Neurotech Futures Newsletter · 2026

Compiling Molecular Ultrastructure Into Neural Dynamics

Konrad P. Kording, Anton Arkhipov, Davy Deng, Sean Escola, Seth G.N. Grant, Gal Haspel, Michał Januszewski, Narayanan Kasthuri, Nina Khera, Richie E. Kohman, Grace Lindsay, Jeantine Lunshof, Adam Marblestone, David A. Markowitz, Jordan Matelsky, Brett Mensh, Patrick Mineault, Andrew Payne, Joanne Peng, Xaq Pitkow, Philip Shiu, Gregor Schuhknecht, Sven Truckenbrodt, Joshua T. Vogelstein, Edward S. Boyden · arXiv · 2026

Smoothing the Path to Clinical Revenue

David A. Markowitz, Juan Benet, Jacques Carolan, Eli Dourado, Thomas Kalil, Amy Kruse, Adam Marblestone, Patrick Mineault, Joanne Peng, Joshua Rosenow, Sean Escola · PL Neuro BCI Roadmap Series · 2026

Overview: A Strategic Vision for the Future of Brain–Computer Interfaces

Cognitive Dark Matter: Measuring What AI Misses

Patrick J. Mineault, Thomas L. Griffiths, Sean Escola · arXiv · 2026

A finality calculator for Filecoin’s Expected Consensus

Guy Goren, Jorge M. Soares · 2024

Filecoin Proof of Useful Space

Irene Giacomelli, Luca Nizzardo · 2023

Security analysis of Filecoin's Expected Consensus in the Byzantine vs honest model

Xuechao Wang, Sarah Azouvi, Marko Vukolić · AFT 2023 · 2023

Base fee manipulation in Ethereum's EIP-1559 transaction fee mechanism

Sarah Azouvi, Guy Goren, Lioba Heimbach, Alexander Hicks · DISC 2023 · 2023

SpaceVDF: Verifiable delay functions using cryptographic satellites

Yonatan Winetraub, Elad Sagi, Yan Michalevsky, Chhi'mèd Künzang, Jonathan Gross · 2023

LURK: Lambda, the ultimate recursive knowledge

Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong · 2023

tlock: Practical timelock encryption from threshold BLS

Nicolas Gailly, Kelsey Melissaris, Yolan Romailler · 2023

Generalized Impact Evaluators

· 2023

Pikachu: Securing PoS blockchains from long-range attacks by checkpointing into Bitcoin PoW using Taproot

Sarah Azouvi, Marko Vukolić · ConsensusDay 22 · 2022

Enriching Kademlia by partitioning

João Monteiro, Pedro Ákos Costa, João Leitão, Alfonso de la Rocha, Yiannis Psaras · DINPS 22 · 2022

To the InterPlanetary File System – and beyond!: Peer-to-peer file sharing would make the Internet far more efficient

Yiannis Psaras, Jorge M. Soares, David Dias · IEEE Spectrum · 2022

Structure-preserving compilers from new notions of obfuscations

Matteo Campanelli, Danilo Francati, Claudio Orlandi · 2022

Mir-BFT: Scalable and robust BFT for decentralized networks

Chrysoula Stathakopoulou, David Tudor, Matej Pavlovic, Marko Vukolić · Journal of Systems Research · 2022

Decentralized hole punching

Marten Seemann, Max Inden, Dimitris Vyzovitis · DINPS 2022 · 2022

Impossibilities in succinct arguments: Black-box extraction and more

Matteo Campanelli, Chaya Ganesh, Hamidreza Khoshakhlagh, Janno Siim · 2022

Curve trees: Practical and transparent zero-knowledge accumulators

Matteo Campanelli, Mathias Hall Andersen · 2022

Encryption to the future: A paradigm for sending secret messages to future (anonymous) committees

Matteo Campanelli, Bernardo David, Hamidreza Khoshakhlagh, Anders Konring, Jesper Buus Nielsen · Asiacrypt 2022 · 2022

Design and evaluation of IPFS: A storage layer for the decentralized web

Dennis Trautwein, Aravindh Raman, Gareth Tyson, Ignacio Castro, Will Scott, Moritz Schubotz, Bela Gipp, Yiannis Psaras · ACM SIGCOMM 2022 · 2022

Linear-map vector commitments and their practical applications

Matteo Campanelli, Anca Nitulescu, Carla Ràfols, Alexandros Zacharakis, Arantxa Zapico · 2022

What makes Fiat–Shamir zkSNARKs (updatable SRS) simulation extractable?

Chaya Ganeshe, Hamidreza Khoshakhlagh, Markulf Kohlweiss, Anca Nitulescu, Michal Zajac · SCN 2022 · 2022

Caulk: Lookup arguments in sublinear time

Arantxa Zapico, Vitalik Buterin, Dmitry Khovratovich, Mary Maller, Anca Nitulescu, Mark Simkin · 2022

Influencing NFT pricing on secondary markets: A case study of Vpunks

Trent Davis · CryptoAssets and Digital Asset Investment Conference · 2022

On the impossibility of algebraic vector commitments in pairing-free groups

Dario Catalano, Dario Fiore, Rosario Gennaro, Emmanuele Giunta · 2022

State machine replication scalability made simple

Chrysoula Stathakopoulou, Matej Pavlovic, Marko Vukolić · EuroSys '22: Seventeenth European Conference on Computer Systems · 2022

Witness-authenticated key exchange revisited: Improved models, simpler constructions, extensions to groups

Matteo Campanelli, Rosario Gennaro, Kelsey Melissaris, Luca Nizzardo · 2022

Hierarchical consensus: A horizontal scaling framework for blockchains

Alfonso de la Rocha, Lefteris Kokoris Kogias, Jorge M. Soares, Marko Vukolić · DINPS 22 · 2022

Decentralisation conscious players and system reliability

Sarah Azouvi, Alexander Hicks · Financial Cryptography and Data Security 2022 · 2022

Sliding window challenge process for congestion detection

Ayelet Lotem, Sarah Azouvi, Aviv Zohar, Patrick McCorry · Financial Cryptography and Data Security 2022 · 2022

On the future of decentralized computing

Marko Vukolić · Bulletin of the European Association for Theoretical Computer Science · 2021

Private attacks in longest chain proof-of-stake protocols with single secret leader elections

Sarah Azouvi, Daniele Cappelletti · AFT '21: 3rd ACM Conference on Advances in Financial Technologies · 2021

MyOPE: Malicious security for oblivious polynomial evaluation

Malika Izabachène, Anca Nitulescu, Paola de Perthuis, David Pointcheval · SCN 2022 · 2021

Count me in! Extendability for threshold ring signatures

Diego Aranha, Mathias Hall Anderson, Anca Nitulescu, Elena Pagnin, Sophia Yakoubov · PKC 2022 · 2021

Pulsarcast: Scalable, reliable pub-sub over P2P nets

Joao Antunes, David Dias, Luis Veiga · DI2F · 2021

The case for AI based Web3 reputation systems

Navin V. Keizer, Fan Yang, Yiannis Psaras, George Pavlou · DI2F · 2021

IPFS-FAN: A function-addressable computation network

Alfonso de la Rocha, Yiannis Psaras, David Dias · DI2F · 2021

SnarkPack: Practical SNARK aggregation

Nicolas Gailly, Mary Maller, Anca Nitulescu · Financial Cryptography and Data Security 2022 · 2021

Rinocchio: SNARKs for ring arithmetic

Chaya Ganesh, Anca Nitulescu, Eduardo Soria Vazquez · 2021

Accelerating content routing with Bitswap: A multi-path file transfer protocol in IPFS and Filecoin

Alfonso de la Rocha, David Dias, Yiannis Psaras · 2021

Improving system resilience through formal verification of transactive energy controls

Michael Hammersley, Francis M. O'Sullivan, Alan Ransil · IEEE PES Transactive Energy Systems Conference (TESC) · 2020

PASTRAMI: Privacy-preserving, auditable, scalable & trustworthy auctions for multiple items

Michał Król, Alberto Sonnino, Argyrios Tasiopoulos, Yiannis Psaras, Etienne Rivière · Middleware '20 · 2020

Incrementally aggregatable vector commitment techniques and applications to verifiable decentralized storage

Matteo Campanelli, Dario Fiore, Nicola Greco, Dimitris Kolonelos, Luca Nizzardo · Advances in Cryptology – ASIACRYPT 2020 · 2020

Subversion-resilient enhanced privacy ID

Antonio Faonio, Dario Fiore, Luca Nizzardo, Claudio Soriente · Cryptographers’ Track at the RSA Conference · 2020

Winkle: foiling long-range attacks in proof-of-stake systems

Sarah Azouvi, George Danezis, Valeria Nikolaenko · AFT '20: 2nd ACM Conference on Advances in Financial Technologies · 2020

Rewarding relays for decentralised NAT traversal using smart contracts

Navin V. Keizer, Onur Ascigil, Yiannis Psaras, George Pavlou · Mobihoc '20 · 2020

Engineering Filecoin’s economy

Protocol Labs · 2020

GossipSub: Attack-resilient message propagation in the Filecoin and ETH2.0 networks

Dimitris Vyzovitis, Yusef Napora, Dirk McCormick, David Dias, Yiannis Psaras · 2020

Automating QUIC interoperability testing

Marten Seemann, Jana Iyengar · ACM SIGCOMM 2020 Workshop on Evolution, Performance, and Interoperability of QUIC · 2020

Merkle-CRDTs: Merkle-DAGs meet CRDTs

Hector Sanjuan, Samuli Poyhtari, Pedro Teixeira, Yiannis Psaras · 2020

Gossipsub-v1.1 evaluation report

Dimitris Vyzovitis, Yusef Napora, Dirk McCormick, David Dias, Yiannis Psaras · 2020

MonZa: Fast maliciously secure two party computation on Z_{2^k}

Dario Catalano, Mario Di Raimondo, Dario Fiore, Irene Giacomelli · IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC) · 2020

Censorship-resistant web annotations based on Ethereum and IPFS

João Santos, Nuno Santos, David Dias · SAC 2020 · 2020

SoK: Tools for game theoretic models of security for cryptocurrencies

Sarah Azouvi, Alexander Hicks · Cryptoeconomic Systems · 2020

Single secret leader election

Dan Boneh, Saba Eskandarian, Lucjan Hanzlik, Nicola Greco · ACM Advances in Financial Technologies 2020 · 2020

Exploring connections between active learning and model extraction

Varun Chandrasekaran, Kamalika Chaudhuri, Irene Giacomelli, Somesh Jha, Songbai Yan · 2019

Efficient UC commitment extension with homomorphism for free (and applications)

Ignacio Cascudo, Ivan Damgård, Bernardo David, Nico Döttling, Rafael Dowsley, Irene Giacomelli · Advances in Cryptology – ASIACRYPT 2019 · 2019

Dioptics: A common generalization of open games and gradient-based learners

David Dalrymple · Fifth Symposium on Compositional Structures (SYCO) · 2019

A dual-process approach for automated knowledge creation

Alan Ransil, Chhi'mèd Künzang · Metascience Symposium · 2019

U.S. energy policy and market design

Michael Hammersley · 2019

PLONK: Permutations over Lagrange-bases for oecumenical noninteractive arguments of knowledge

Ariel Gabizon, Zachary J Williamson, Oana Ciobotaru · Stanford Blockchain Conference · 2019

A computable multilayer system stack for future-proof interoperability

Alan Ransil, Edwin Fonkwe Fongang, Michael Hammersley, Ivan Celanovic, Francis O'Sullivan · IEEE PES Transactive Energy Systems Conference (TESC) · 2019

AuroraLight: Improved prover efficiency and SRS size in a Sonic-like system

Ariel Gabizon · 2019

Microgrids

Alan Ransil · 2018

Scaling proof-of-replication for Filecoin mining

Ben Fisch, Joseph Bonneau, Nicola Greco, Juan Benet · 2018

Smart grid pilot projects

Michael Hammersley · 2018

Price signals and demand-side management in the electric distribution and retail system

Alan Ransil · 2018

Energy pricing

Alan Ransil · 2018