zkVerify handlar inte bara om bevisverifiering. Det tar bort behovet av att lita på → med noll tvivel.