Blockchain, Cryptography, Zero Knowledge Proofs, Zksnark, Mathematics.
the possibility of fake proofs, the probability becomes negligible if competing parties are participating. The scheme allows involving other untrusted parties who are in doubt about the legibility of the setup because verification step ensures they are not sabotaging (which also includes usage of