An implementation of ATProto's Merkle Search Tree