Pith. sign in

REVIEW 1 cited by

On Conflict-Free Replicated Data Types and Equivocation in Byzantine Setups

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2109.10554 v2 pith:GK4YDDM5 submitted 2021-09-22 cs.DC cs.DS

Florian Jacob , Saskia Bayreuther , Hannes Hartenstein This is my paper · ORCID
classification cs.DCcs.DS
keywords byzantineequivocationconflict-freecrdtsdatafaultsnumberreplicated
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We explore the property of equivocation tolerance for Conflict-Free Replicated Data Types (CRDTs). We show that a subclass of CRDTs is equivocation-tolerant and can thereby cope with any number of Byzantine faults: Without equivocation detection, prevention or remediation, they still fulfill strong eventual consistency (SEC). We also conjecture that there is only one operation-based CRDT design supporting non-commutative operations that fulfills SEC in Byzantine environments with any number of faults.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Byzantine Accountability Without Consensus: Strong Eventual Consistency for Non-Associative, Stochastic, Robust Aggregation

    cs.DC 2026-07 conditional novelty 6.0 of 10

    Any pure function of a product of CRDTs inherits Strong Eventual Consistency, so multi-Krum and similar discontinuous robust selectors can be made coordinator-free and accountable via OR-Set contributions plus grow-on...

Pith tools