anubis is more like Cap's checkpoint, but still the implementation is very different.