Blockchain, Cryptography, Zero Knowledge Proofs, Zksnark, Mathematics.
collude with the prover and disclose those secret parameters s,α which allows to fake the proof, as mentioned in remark 3.1 the verifier can generate fake proofs himself for the same reason verifier have to store α and t(s) until all relevant proofs are verified, which allows an extra attack