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 STARK for small fields #945

Open ColoCarletti opened 2 days ago

ColoCarletti commented 2 days ago

Refactor STARK for small fields

This PR refactors the Air and TransitionConstraints traits to make the STARKs protocol compatible with small fields and their extensions.

Type of change

Please delete options that are not relevant.

codecov-commenter commented 2 days ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 70.99%. Comparing base (fc33967) to head (1c05608).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #945 +/- ## ======================================= Coverage 70.99% 70.99% ======================================= Files 153 153 Lines 32770 32777 +7 ======================================= + Hits 23264 23271 +7 Misses 9506 9506 ```

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