Compatability changes to work with arb nitro #4

afkbyte · 2024-05-30T23:52:04Z

Add functions to perform IFFT/FFT on fr arrays and the polynomial
Bring in ethen's versioning changes for compatibility with the arbitrum arbitrator
Adds from_padded_bytes to blob.rs to be able to construct blobs with data that is already padded according to DA specs
Adds the field form to the polynomial struct of type

pub enum PolynomialFormat {
    InCoefficientForm,
    InEvaluationForm,
}

Uses these fields to determine if the G1 points should be IFFT'd when computing the kzg commitment or proof

Currently Blocked: Builds but can't run cargo test to test new functions, there's some versioning issue here that I'm struggling to resolve.

EDIT: tests run in CI and are passing now, still can't get them running locally though.

change to older version commit generated lock update tracing dependency able to create already padded blobs add function to commit to polynomial that already has data as evaluations also add function to commit to kzg proof with polynomial that already has data as evaluation update num_cpus dep update tracing-core update traciing

…ions

… has data as evaluation

Afk/master

… has data as evaluation

Cargo.toml

src/blob.rs

src/kzg.rs

src/polynomial.rs

…rm what SRS to use when commiting and computing proofs for a polynomial

anupsv

More tests will be added in next PR since there's a problem with the rust environment being used and unable to run tests locally.

afkbyte and others added 20 commits May 30, 2024 15:17

add getter for expanded roots of unity to debug midmatch

e14f7bf

change to older version

ddb2289

commit generated lock

91c0c6e

update tracing dependency

231c53e

able to create already padded blobs

1ff337e

add function to commit to polynomial that already has data as evaluat…

2f747d2

…ions

also add function to commit to kzg proof with polynomial that already…

bda93f8

… has data as evaluation

update num_cpus dep

cb41718

update tracing-core

a71041b

update traciing

5073ea5

Update toolchain to get build working

588e3e4

Merge branch 'master' into afk/master

50996c1

Merge pull request #1 from afkbyte/afk/master

99c67bc

Afk/master

remove duplicate functions

5dd301f

update tracing dependency

41e673e

also add function to commit to kzg proof with polynomial that already…

c8fa0cc

… has data as evaluation

added funtionality needed for arbitrum

13e1187

add more tests and error type for polynomial fft

fbad250

update false to true in a test

2cfab03

afkbyte requested review from teddyknox, anupsv and epociask May 30, 2024 23:52

afkbyte added 7 commits May 30, 2024 19:53

readd is_padded

0d93340

remove get_expanded_roots_of_unity

5a51bae

readd Cargo.lock to .gitignore

0040227

remove Cargo.lock

f2449c3

remove now reduntant compute_kzg_proof_with_evaluation_polynomial

b685fbb

cargo fmt

89f297f

update variable name in test

6ecc853