Adds 'AirBuilderWithPublicValues' trait and support for using public values when proving/verifying#3

Draft

tess-eract wants to merge 8 commits intovalida-mainfrom dorebell-public

+378-53

Commits on May 15, 2024

Adds 'AirBuilderWithPublicValues' trait and support for using public values when proving/verifying

patrickmao93
authored and
tess-eract
committed
Incorporate public values into the transcript (Plonky3#359 )

dlubarov
authored and
tess-eract
committed
adds PublicVar type to AirBuilderWithPublicValues trait
tess-eract
committed

Commits on May 28, 2024

changes public values from vector to matrix
tess-eract
committed

Commits on Jun 4, 2024

Commits on Jun 14, 2024

Add method to UnivariatePcsWithLde trait to compute LDE's without commitments
tess-eract
committed

Commits on Jul 17, 2024

remove LDEOwned type, expose method to get non-bit-reversed LDEs
tess-eract
committed