Privilege drops are automatic, privilege upgrades need an operator countersignature, which is how swarms get bureaucracy.

Blog post on LeanIMT+, a Merkle tree for membership and non-membership proofs, because one proof type apparently wasn't enough.

Tutorial on generating Merkle tree proofs with Plonky3, for when a tree needs a proving system.

arXiv paper on MHOT, a height-optimized authenticated data structure for blockchain state commitments, because Merkle trees needed help.

Can an append-only Merkle index get balanced-tree proof sizes? This compares MMRs, MMBs, and bagging schemes for QMDB.