The downside here is it could give users a false sense of security.
Discussion
nostr:note1tpy0a58w6pcp22trklnq7fw3ccth6cdhs7mamt6nqmqsuyycvzkqffmuwn
Another downside is that it is much more complicated, the proofs are much bigger, everything is harder to reason about.
