Public Report: Aleo snarkOS Implementation and Consensus Mechanism Review
In November 2023, Aleo engaged NCC Groupβs Cryptography Services team to perform a review of the consensus mechanism implemented by snarkOS: βa decentralized operating system for zero-knowledge applications [that] forms the backbone of Aleo network, which verifies transactions and stores the encrypted state applications in a publicly verifiable manner.β The consensus mechanism is based on a partially synchronous version of the Bullshark Byzantine Fault Tolerance (BFT) protocol, which uses a directed acyclic graph (DAG) to order updates. The review was performed remotely by four consultants over a total of 25 person-days of effort. A retest was performed in January 2024.
This review complements NCC Groupβs prior public report reviewing Aleoβs snarkVM.