Publications

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

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

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


Partially anonymous rollups

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


Stateful to Stateless: Modelling Stateless Ethereum

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


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

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


Families of SNARK-friendly 2-chains of elliptic curves

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


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

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


A survey of elliptic curves for proof systems

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


Pairings in Rank-1 Constraint Systems

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


Deductive Verification of Smart Contracts with Dafny

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


Formal Verification of the Ethereum 2.0 Beacon Chain

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


A specification for a ZK-EVM

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


Verification of the Incremental Merkle Tree Algorithm with Dafny

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


Atomic Crosschain Transactions for Ethereum Private Sidechains

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


General Purpose Atomic Crosschain Transactions

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


Performance Overhead of Atomic Crosschain Transactions

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


Survey of Crosschain Communications Protocols

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


A Gentle Introduction to the PCP Theorem - Part 2

Author: Olivier Bégassat, 2020, Scalability


A Gentle Introduction to the PCP Theorem - Part 1

Author: Olivier Bégassat, 2020, Scalability


Account-Based Anonymous Rollup

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


Layer 2 Atomic Cross-Blockchain Function Calls

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


Atomic Crosschain Transactions White Paper

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


Handel: Practical Multi-Signature Aggregation for Large Byzantine Committees

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


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


IBFT Liveness Analysis

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


Application Level Authentication for Ethereum Private Blockchain Atomic Crosschain Transactions

Author: Peter Robinson — SDLT 2019, 2019, Crosschain & Bridges


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

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


Invoice Financing of Supply Chains with Blockchain technology and Artificial Intelligence

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


Atomic Crosschain Transactions for Ethereum Private Sidechains

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


Sidechains and interoperability

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


Anonymous State Pinning for Private Blockchains

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


Decentralised Random Number Generation

Author: Peter Robinson — SLDT 2018, 2018, Cryptography


Requirements for Ethereum Private Sidechains

Author: Peter Robinson, 2018, Scalability


Design Patterns which Facilitate Message Digest Collision Attacks on Blockchains

Author: Peter Robinson — SLDT 2018, 2018, Cryptography