search

lambdaclass / lambdaworks

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
https://lambdaclass.github.io/lambdaworks/
Apache License 2.0
625 stars 140 forks source link

Refactor AIR #937

Closed ColoCarletti closed 2 weeks ago

ColoCarletti commented 1 month ago

Refactor AIR

This PR resumes the changes made for AIR in the following PRs: 834 and 697.

Description of the pull request changes and motivation.

Type of change

Please delete options that are not relevant.

Checklist

codecov-commenter commented 1 month ago

Codecov Report

Attention: Patch coverage is 81.02190% with 52 lines in your changes missing coverage. Please review.

Project coverage is 70.99%. Comparing base (e650e0f) to head (ef74970).

Files with missing lines Patch % Lines
provers/stark/src/trace.rs 59.59% 40 Missing :warning:
provers/stark/src/table.rs 44.44% 5 Missing :warning:
provers/stark/src/traits.rs 55.55% 4 Missing :warning:
provers/stark/src/prover.rs 97.82% 3 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #937 +/- ## ========================================== - Coverage 72.37% 70.99% -1.39% ========================================== Files 153 153 Lines 33423 32770 -653 ========================================== - Hits 24191 23264 -927 - Misses 9232 9506 +274 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.