SECURITYPEER REVIEWED

Threat Model and Security Analysis of the Solidus Protocol

Solidus Foundation

May 2026·22 pp·no DOI yet (pre-print)

Abstract

We enumerate adversary capabilities (network attackers, malicious validators, compromised issuers, malicious verifiers) and analyze the protocol's resistance to validator collusion, key compromise, replay, downgrade, and censorship attacks. Includes a fault-tolerance proof for the 2/3+ validator quorum.

Full paper PDF — coming soon

The 22-page PDF will land here in Phase C. Until then, the abstract above + the outline in the sidebar represent the canonical scope. The BibTeX citation is ready to copy now.

1. Introduction

Why this problem matters now. Where prior work left off. The thesis of the paper in one paragraph.

2. Background and Related Work

Cited prior work in cryptography, distributed systems, and identity standards that this paper builds on.

3. Design

The protocol, the data structures, the algorithms. Diagrams and pseudocode. The bulk of the paper.

4. Security Analysis

Threat model, adversary capabilities, and a proof or argument for the security guarantees.

5. Evaluation

Benchmarks on commodity hardware, comparison to baseline approaches, and a discussion of trade-offs.

6. Conclusion

Summary of contributions, limitations, and future work.

References

Full bibliography in numeric format. The BibTeX in the sidebar is the citation for THIS paper.

Browse all research. Verify every claim.