not that they're using it, but this is something that a zk proof would be a good solution.