.
Groth16 and Halo2-KZG, as well as Hash-based systems like ZK-STARK and Plonky2. However, the verification overhead for these proof systems remains relatively high at present. This can be observed in the total cost of verification for both pairing-based SNARKs and STARKs, as demonstrated by the data