feat: security lemmas for Binary Basefold#270

chung-thai-nguyen wants to merge 2 commits intomainVerified-zkEVM/ArkLib:mainfrom

binarybasefold-proofsVerified-zkEVM/ArkLib:binarybasefold-proofsCopy head branch name to clipboard