logos-storage/plonky2-verifier
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2-verifier.git synced 2026-01-04 06:43:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

improve some explanatory comments

Browse Source
This commit is contained in:
Balazs Komuves 2025-01-21 21:27:11 +01:00
parent d19c929c89
commit fa3c8cad25
No known key found for this signature in database
GPG Key ID: F63B7AEF18435562
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Types.hs
View File

@ -249,8 +249,8 @@ data OpeningSet = MkOpeningSet
, opening_plonk_zs_next :: [FExt] -- ^ evaluations of the first columns shifted by \"one row\" , opening_plonk_zs_next :: [FExt] -- ^ evaluations of the first columns shifted by \"one row\"
, opening_partial_products :: [FExt] -- ^ remaining columns of the permutation arguments , opening_partial_products :: [FExt] -- ^ remaining columns of the permutation arguments
, opening_quotient_polys :: [FExt] -- ^ the quotient polynomials (@num_challenges * max_degree@) , opening_quotient_polys :: [FExt] -- ^ the quotient polynomials (@num_challenges * max_degree@)
, opening_lookup_zs :: [FExt] -- ^ first columns of the lookup arguments , opening_lookup_zs :: [FExt] -- ^ columns of the lookup arguments
, opening_lookup_zs_next :: [FExt] -- ^ rest of the lookup arguments , opening_lookup_zs_next :: [FExt] -- ^ evaluation of the lookup columns evaluated shifted by \"one row\"
} }
deriving (Eq,Show,Generic) deriving (Eq,Show,Generic)