dan on Nostr: if the system is sensible, generally you should expect proofs to be simple and ...

if the system is sensible, generally you should expect proofs to be simple and beautiful. so weird complicated proofs are a smell that you're missing APIs from lower levels