When we compute a ZK circuit we are not just executing some code, but proving that we have executed the…
A look into Aztec’s transaction architecture