Appendix A — Fiscal Protocol Mathematics Joan Smithjo-smith@gmx.us A.1. Notation and assumptions Let: SSS — a spending event amount (in sats)....

Appendix D — Formal Security Proof Sketches Joan Smithjo-smith@gmx.us D.1. Overview & threat model System context. The Fiscal Protocol records ...