Maybe nostr:npub1hr6v96g0phtxwys4x0tm3khawuuykz6s28uzwtj5j0zc7lunu99snw2e29 could help. Seems like a cool application of ZKPs beyond DVMs
Discussion
Push notifications would have to be high performance, so i would be surprised if moon math would work here