- Check previous circuits - Check block - Cleanup commitments
Activity
[-]AssertCommitments circuit[/-][+]Verify circuit[/+]