A mechanized Isabelle/HOL proof establishes unconditional safety of cross-domain regulatory state preservation and liveness under Byzantine faults by discharging the honest-node assumption.
A Regulatory Compliance Protocol for Asset Interoperability between Traditional and Decentralized Finance in Tokenized Capital Markets
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL
A mechanized Isabelle/HOL proof establishes unconditional safety of cross-domain regulatory state preservation and liveness under Byzantine faults by discharging the honest-node assumption.