Publications

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

Moritz Helmstaedter

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

Naveen Rao

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

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

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

David A. Markowitz, Juan Benet, Jacques Carolan, Eli Dourado, Thomas Kalil, Amy Kruse, Adam Marblestone, Patrick Mineault, Joanne Peng, Joshua Rosenow, Sean Escola

Cognitive Dark Matter: Measuring What AI Misses

Patrick J. Mineault, Thomas L. Griffiths, Sean Escola

A finality calculator for Filecoin’s Expected Consensus

Guy Goren, Jorge M. Soares

Filecoin Proof of Useful Space

Irene Giacomelli, Luca Nizzardo

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

Xuechao Wang, Sarah Azouvi, Marko Vukolić

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

Sarah Azouvi, Guy Goren, Lioba Heimbach, Alexander Hicks

SpaceVDF: Verifiable delay functions using cryptographic satellites

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

LURK: Lambda, the ultimate recursive knowledge

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

tlock: Practical timelock encryption from threshold BLS

Nicolas Gailly, Kelsey Melissaris, Yolan Romailler

Generalized Impact Evaluators

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

Sarah Azouvi, Marko Vukolić

Enriching Kademlia by partitioning

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

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

Structure-preserving compilers from new notions of obfuscations

Matteo Campanelli, Danilo Francati, Claudio Orlandi

Mir-BFT: Scalable and robust BFT for decentralized networks

Chrysoula Stathakopoulou, David Tudor, Matej Pavlovic, Marko Vukolić

Decentralized hole punching

Marten Seemann, Max Inden, Dimitris Vyzovitis

Impossibilities in succinct arguments: Black-box extraction and more

Matteo Campanelli, Chaya Ganesh, Hamidreza Khoshakhlagh, Janno Siim

Curve trees: Practical and transparent zero-knowledge accumulators

Matteo Campanelli, Mathias Hall Andersen

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

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

Linear-map vector commitments and their practical applications

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

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

Chaya Ganeshe, Hamidreza Khoshakhlagh, Markulf Kohlweiss, Anca Nitulescu, Michal Zajac

Caulk: Lookup arguments in sublinear time

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

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

Trent Davis

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

Dario Catalano, Dario Fiore, Rosario Gennaro, Emmanuele Giunta

State machine replication scalability made simple

Chrysoula Stathakopoulou, Matej Pavlovic, Marko Vukolić

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

Matteo Campanelli, Rosario Gennaro, Kelsey Melissaris, Luca Nizzardo

Hierarchical consensus: A horizontal scaling framework for blockchains

Alfonso de la Rocha, Lefteris Kokoris Kogias, Jorge M. Soares, Marko Vukolić

Decentralisation conscious players and system reliability

Sarah Azouvi, Alexander Hicks

Sliding window challenge process for congestion detection

Ayelet Lotem, Sarah Azouvi, Aviv Zohar, Patrick McCorry

On the future of decentralized computing

Marko Vukolić

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

Sarah Azouvi, Daniele Cappelletti

MyOPE: Malicious security for oblivious polynomial evaluation

Malika Izabachène, Anca Nitulescu, Paola de Perthuis, David Pointcheval

Count me in! Extendability for threshold ring signatures

Diego Aranha, Mathias Hall Anderson, Anca Nitulescu, Elena Pagnin, Sophia Yakoubov

Pulsarcast: Scalable, reliable pub-sub over P2P nets

Joao Antunes, David Dias, Luis Veiga

The case for AI based Web3 reputation systems

Navin V. Keizer, Fan Yang, Yiannis Psaras, George Pavlou

IPFS-FAN: A function-addressable computation network

Alfonso de la Rocha, Yiannis Psaras, David Dias

SnarkPack: Practical SNARK aggregation

Nicolas Gailly, Mary Maller, Anca Nitulescu

Rinocchio: SNARKs for ring arithmetic

Chaya Ganesh, Anca Nitulescu, Eduardo Soria Vazquez

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

Alfonso de la Rocha, David Dias, Yiannis Psaras

Improving system resilience through formal verification of transactive energy controls

Michael Hammersley, Francis M. O'Sullivan, Alan Ransil

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

Michał Król, Alberto Sonnino, Argyrios Tasiopoulos, Yiannis Psaras, Etienne Rivière

Incrementally aggregatable vector commitment techniques and applications to verifiable decentralized storage

Matteo Campanelli, Dario Fiore, Nicola Greco, Dimitris Kolonelos, Luca Nizzardo

Subversion-resilient enhanced privacy ID

Antonio Faonio, Dario Fiore, Luca Nizzardo, Claudio Soriente

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

Sarah Azouvi, George Danezis, Valeria Nikolaenko

Rewarding relays for decentralised NAT traversal using smart contracts

Navin V. Keizer, Onur Ascigil, Yiannis Psaras, George Pavlou

Engineering Filecoin’s economy

Protocol Labs

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

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

Automating QUIC interoperability testing

Marten Seemann, Jana Iyengar

Merkle-CRDTs: Merkle-DAGs meet CRDTs

Hector Sanjuan, Samuli Poyhtari, Pedro Teixeira, Yiannis Psaras

Gossipsub-v1.1 evaluation report

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

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

Dario Catalano, Mario Di Raimondo, Dario Fiore, Irene Giacomelli

Censorship-resistant web annotations based on Ethereum and IPFS

João Santos, Nuno Santos, David Dias

SoK: Tools for game theoretic models of security for cryptocurrencies

Sarah Azouvi, Alexander Hicks

Single secret leader election

Dan Boneh, Saba Eskandarian, Lucjan Hanzlik, Nicola Greco

Exploring connections between active learning and model extraction

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

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

Ignacio Cascudo, Ivan Damgård, Bernardo David, Nico Döttling, Rafael Dowsley, Irene Giacomelli

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

David Dalrymple

A dual-process approach for automated knowledge creation

Alan Ransil, Chhi'mèd Künzang

U.S. energy policy and market design

Michael Hammersley

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

Ariel Gabizon, Zachary J Williamson, Oana Ciobotaru

A computable multilayer system stack for future-proof interoperability

Alan Ransil, Edwin Fonkwe Fongang, Michael Hammersley, Ivan Celanovic, Francis O'Sullivan

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

Ariel Gabizon

Microgrids

Alan Ransil

Scaling proof-of-replication for Filecoin mining

Ben Fisch, Joseph Bonneau, Nicola Greco, Juan Benet

Smart grid pilot projects

Michael Hammersley

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

Alan Ransil

Energy pricing

Alan Ransil

PoReps: Proofs of space on useful data

Ben Fisch

Proof of replication

Juan Benet, David Dalrymple, Nicola Greco

Power fault tolerance

Protocol Labs

Filecoin: A decentralized storage network

Protocol Labs

Distributed web applications with IPFS

David Dias, Juan Benet

Filecoin: A cryptocurrency operated file storage network

Protocol Labs

IPFS - Content addressed, versioned, P2P file system

Juan Benet