@eulerlagrange.eth
Verifying snarks is relatively expensive, so a contract that requires users to submit snarks regularly has a high engagement cost.
The idea is users submit a proof and the contract doesn’t verify it. If a “validator” sees it’s a bad proof, they can pay for the verification to claim some stake.