zk-SNARKs are powerful when used to prove correctness instead of hiding everything.