PCQC: Proof-Carrying Quorum Certificates for Federated Consensus Networks
Machine-verifiable safety, transition, fault-domain, and availability evidence for Gravity
Distribute network configurations with checkable structural evidence, authorization and freshness state. The reference verifier rejects specified adversarial changes; the result remains conditional on sound proof kernels and correct artifact binding.
- Identifier
- MF-PRISM-DLT-2026-07
- Series
- Distributed Systems
- Edition
- Version 0.2
- Length
- 23 pages
- Reserved DOI
- 10.5281/zenodo.22728326 (record reserved)
What is this paper trying to establish?
Can quorum-configuration changes carry machine-checkable evidence that validators verify before activation?
The central idea.
Distribute network configurations with checkable structural evidence, authorization and freshness state. The reference verifier rejects specified adversarial changes; the result remains conditional on sound proof kernels and correct artifact binding.
Certificate architecture and executable reference verifier. Signing keys are deterministic test fixtures; the checker is not formally verified and no production Gravity validator has enforced the proposed gate.
This report develops a conditional method and evaluates it within the stated evidence. It does not establish production performance, operational safety, or calibrated real-world predictive skill beyond that evidence.
What changes if the method holds?
Proof-carrying configuration turns governance and safety claims into artifacts a validator can check, rather than relying only on human review or unsigned configuration files.
Where scrutiny should concentrate.
The paper identifies the following points as the highest-value targets for independent review.
- 01Soundness of each implemented proof kernel.
- 02Exact byte binding, governance roles, rollback and activation.
- 03Research signing keys, metadata truth and scaling beyond exact replay.
An open, inspectable research artifact.
The public record links the manuscript to its release, source package, review materials, and persistent identifier. Status travels with the paper; a reserved DOI is not presented as a published Zenodo record.
- Document
- Research Paper
- Review status
- Open for independent review
- Published
- 2026-09-12
- DOI status
- Reserved · 10.5281/zenodo.22728326
- Canonical record
- MF-PRISM-DLT-2026-07