Abstract


Financial systems are often described in terms of correctness guarantees. Engineers discuss transactional invariants, threshold cryptography, and deterministic state machines. These properties are necessary, but they are not sufficient to operate financial infrastructure in production. The reality of distributed environments introduces...