snarkVM
snarkVM copied to clipboard
Adds subgroup check at initialization
Motivation
Closes #805.
Adds a subgroup check at initialization for Group circuits.
Should we merge this?