Consensys
publication-hero-gradient

Publications

Consensys R&D publish multiple papers and technical reports every year. Below is a full list of our research.

Year

Research Domain

Recursion over Public-Coin Interactive Proof Systems; Faster Hash Verification

Author: Alexandre Belling, Azam Soleimanian, Olivier Bégassat, 2022, Scalability

arrow-right icon

Partially anonymous rollups

Author: Olivier Bégassat, Alexandre Belling, Nicolas Liochon, 2022, Scalability

arrow-right icon

Stateful to Stateless: Modelling Stateless Ethereum

Author: Sandra Johnson, David Hyland-Wood, Anders L Madsen, Kerrie Mengersen — MARS 2022, 2022, Ethereum Protocol

arrow-right icon

BigFooT: A robust optimal-latency BFT blockchain consensus protocol with dynamic validator membership

Author: Roberto Saltini — COMPUT NETW, 2022, Distributed Protocols Formal Verification

arrow-right icon

Families of SNARK-friendly 2-chains of elliptic curves

Author: "Youssef El Housni and Aurore Guillevic" — EUROCRYPT 2022, 2022, Cryptography

arrow-right icon

Co-factor clearing and subgroup membership testing on pairing-friendly elliptic curves

Author: Youssef El Housni, Thomas Piellard, Aurore Guillevic — AFRICACRYPT 2022, 2022, Cryptography

arrow-right icon

A survey of elliptic curves for proof systems

Author: Youssef El Housni, Diego F. Aranha, Aurore Guillevic — DCC 2022, 2022, Cryptography

arrow-right icon

Pairings in Rank-1 Constraint Systems

Author: Youssef El Housni — TBD 2022, 2022, Cryptography

arrow-right icon

Deductive Verification of Smart Contracts with Dafny

Author: Franck Cassez, Joanne Fuller, Horacio A. M. Quiles — FMICS 2022, 2022, Trustworthy Smart Contracts

arrow-right icon

Formal Verification of the Ethereum 2.0 Beacon Chain

Author: Franck Cassez, Joanne Fuller, Aditya Asgaonkar — TACAS 2022, 2022, Distributed Protocols Formal Verification

arrow-right icon

A specification for a ZK-EVM

Author: Nicolas Liochon, Théodore Chapuis-Chkaiban, Alexandre Belling, Olivier Bégassat, 2021, Scalability

arrow-right icon

Verification of the Incremental Merkle Tree Algorithm with Dafny

Author: Franck Cassez — FM 2021, 2021, Trustworthy Smart Contracts

arrow-right icon

Atomic Crosschain Transactions for Ethereum Private Sidechains

Author: Peter Robinson, Raghavendra Ramesh, Sandra Johnson — Elsevier Journal of Blockchain: Research & Applications, 2021, Crosschain & Bridges

arrow-right icon

General Purpose Atomic Crosschain Transactions

Author: Peter Robinson, Raghavendra Ramesh — BRAINS 2021 & ICBC 2021, 2021, Crosschain & Bridges

arrow-right icon

Performance Overhead of Atomic Crosschain Transactions

Author: Peter Robinson — ISCC 2020, 2020, Crosschain & Bridges, 2021, Crosschain & Bridges

arrow-right icon

Survey of Crosschain Communications Protocols

Author: Peter Robinson — Elsevier Journal of Computer Networks, 2021, Crosschain & Bridges

arrow-right icon

A Gentle Introduction to the PCP Theorem - Part 2

Author: Olivier Bégassat, 2020, Scalability

arrow-right icon

A Gentle Introduction to the PCP Theorem - Part 1

Author: Olivier Bégassat, 2020, Scalability

arrow-right icon

Account-Based Anonymous Rollup

Author: Alexandre Belling, Olivier Bégassat, Nicolas Liochon, 2020, Scalability

arrow-right icon

Layer 2 Atomic Cross-Blockchain Function Calls

Author: Peter Robinson, Raghavendra Ramesh, 2020, Crosschain & Bridges

arrow-right icon

Atomic Crosschain Transactions White Paper

Author: Peter Robinson, Raghavendra Ramesh, John Brainard, Sandra Johnson, 2020, Crosschain & Bridges

arrow-right icon

Handel: Practical Multi-Signature Aggregation for Large Byzantine Committees

Author: Olivier Bégassat, Nicolas Gailly, Blazej Kolad, Nicolas Liochon — SBC 2019, 2019, Scalability

arrow-right icon

IBFT 2.0: A Safe and Live Variation of the IBFT Blockchain Consensus Protocol for Eventually Synchronous Networks

Author: Roberto Saltini, David Hyland-Wood, 2019, Distributed Protocols Formal Verification

arrow-right icon

IBFT Liveness Analysis

Author: Roberto Saltini — IEEE Blockchain 2019, 2019, Distributed Protocols Formal Verification

arrow-right icon

The merits of using Ethereum MainNet as a Coordination Blockchain for Ethereum Private Sidechains

Author: Peter Robinson — Knowledge Engineering Review, 2019, Crosschain & Bridges

arrow-right icon

Invoice Financing of Supply Chains with Blockchain technology and Artificial Intelligence

Author: Sandra Johnson, Peter Robinson, Kishore Atreya, Claudio Lisco, 2019, Crosschain & Bridges

arrow-right icon

Atomic Crosschain Transactions for Ethereum Private Sidechains

Author: Peter Robinson, David Hyland-Wood, Roberto Saltini, Sandra Johnson, John Brainard, 2019, Crosschain & Bridges

arrow-right icon

Sidechains and interoperability

Author: Sandra Johnson, Peter Robinson, 2019, Crosschain & Bridges

arrow-right icon

Anonymous State Pinning for Private Blockchains

Author: Peter Robinson, John Brainard — IEEE TrustCom 2019, 2019, Scalability

arrow-right icon

Decentralised Random Number Generation

Author: Peter Robinson — SLDT 2018, 2018, Cryptography

arrow-right icon

Requirements for Ethereum Private Sidechains

Author: Peter Robinson, 2018, Scalability

arrow-right icon