The Isabelle/HOL work formalizes preservation maps as a category and proves natural projection across chain breadth, offering a reusable verification basis for bridges, rollup exits and settlement systems.
verifying reliability
No specialized terms available for this topic.