Hacker News new | ask | show | jobs
by beeflet 255 days ago
Make it so that the proofs are not reusable.
1 comments

Why does that matter if I can keep generating new ones?
Because non-reusable proofs have a "linkability" property that lets you tell if they come from the same source.