feat: OR/AND proofs compose LinearRelations and skip trivial branches. #229
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
github-pages
Expired
|
12.2 MB |
sha256:a9c465b6089f2f8a7bf6ec211a3d0a54f223447978387e924840737f860b0d2b
|
|