feat: add `assert` for non-empty accumulators in `decide_all` - Githubissues

axiom-crypto / snark-verifier

Apache License 2.0

94 stars 36 forks source link

feat: add `assert` for non-empty accumulators in `decide_all` #11

Closed jonathanpwang closed 1 year ago