New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

IPA / Verkle tree cleanups #367

Open

1 of 8 tasks

mratsim opened this issue Mar 9, 2024 · 0 comments

Labels

refactoring 🚂 verkle trees 🌴

Owner

mratsim commented Mar 9, 2024 •

edited

From #364 (review)

Easy

there is a newSeq introduced that needs to be replaced to avoid dependency on Nim runtime, especially if we want to expose IPA through C/Go/Rust
some proc like absIntChecker are exported but might be local-only
scalarMul needs an overload for field element and not just big ints
views need a splitMiddle functions and StridedView can then be replaced

Medium

Fixing verkle tests on Windows (out of stack space) Add Verkle IPA to constantine.nimble #330
createIPAProof initialization is incomplete and need zero-init: da06949

Complex

evalInDomain / evalOutside domain and the Lagrange form of IPA are duplicates of KZG the polynomial functions (used in EIP-4844) need to be deduplicated and parallelized. See Polynomial refactoring #361.
Constant-time dlog square root precomp square root in constant time #358 and Sage script for dlog precomp constants calculation #359

The text was updated successfully, but these errors were encountered:

mratsim added verkle trees 🌴 refactoring 🚂 labels

mratsim mentioned this issue

PR #330 - enable test verkle ipa #389

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment