Khashayar Barooti issues

Repositories
Issues
Comments

Results 2 issues of


                                            Khashayar Barooti

feat: adds a parser for ACIR

# Description wip ## Problem\* Resolves ## Summary\* ## Additional Context ## Documentation\* Check one: - [ ] No documentation needed. - [ ] Documentation included in this PR. -...

chore: Sumcheck audit add tests for lower level functions

Sumcheck Audit 2 ### 🧾 Audit Context This PR adds test coverage for the following lower-level functions in sumcheck: - `compute_effective_round_size` - `RowDisablingPolynomials` - `extend_edges` - `check_sum` and recursive version...