Among the zero-knowledge succinct non-interactive arguments of knowledge (zk-SNARK). the simulation-extractable zk-SNARK (SE-SNARK) introduces a security notion of non-malleability. The existing pairing-based zk-SNARKs designed from linear encoding are known to be vulnerable to algebraic manipulation of the proof. The latest SE-SNARKs check the proof consistency by increasing the proo... https://jalyttlers.shop/product-category/hat-and-coat-stand/