Research notes on protocol assurance.
Technical writing on formal methods, economic security, distributed systems and the operational boundaries of digital financial infrastructure.
Solvency Invariants in Overcollateralized Lending
A practical specification framework for expressing collateral capacity, debt conservation and liquidation safety.
14 min
18 June 2026
Oracle Failure Modes During Market Dislocation
How stale observations, thin markets and fallback logic can compound during periods of extreme volatility.
11 min
04 May 2026
Designing Safe Redemption Queues
Ordering, liquidity and fairness properties for delayed redemption systems under constrained reserves.
9 min
21 March 2026
Cross-Chain Trust Assumptions
A structured taxonomy for validator, relayer, finality and custody assumptions in cross-chain protocols.
16 min
12 February 2026
Liquidation Cascades and Protocol Bad Debt
Modeling feedback loops between declining collateral, market depth and insolvency during forced liquidation.
13 min
08 December 2025
Administrative Risk in Upgradeable Contracts
A review framework for privilege boundaries, upgrade delays, emergency powers and operational key management.
10 min
17 October 2025