Publications
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
Using Ethereum Registration Authorities to Establish Trust for Ethereum Private Sidechains
Author: Peter Robinson — JBBA, 2018, 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