... as a way to achieve soundness without writing many signatures. [Crux](https://crux.galois.com/) does this, we can take inspiration from them.
... as a way to achieve soundness without writing many signatures. Crux does this, we can take inspiration from them.