δ must be positive in proximity gap theorems#429

ElijahVlasov wants to merge 2 commits intoVerified-zkEVM:mainVerified-zkEVM/ArkLib:mainfrom

NethermindEth:ElijahVlasov/positive-delta-in-proximity-gapNethermindEth/ArkLibFri:ElijahVlasov/positive-delta-in-proximity-gapCopy head branch name to clipboard