Wat is de beste uitleg voor zkSNARK's die je hebt gezien voor een niet-cryptopubliek? Moet een bepaald niveau van details hebben, enkele trucs met veeltermen uitleggen. Ik denk dat IOP's en permutatieargumenten waarschijnlijk te ver gaan.