Oh, I think many devs who are not familiar with ZK proof might choose second aproach due to minimum modification of the original code or they just can't due to all dependencies which hard to be rewriten all over. 😅 > However there is big overhead Does it slow down much to generate the proof along the code? More than 1000ms?