chore(encoding): use sp1s kzg-rs to verify c-kzg generated proofs

Author: rymnc

Cargo.lock

@@ -99,3 +99,5 @@ walkdir = { version = "2.5", default-features = false }
 zip = { version = "2.1", default-features = false }
 cynic = { version = "3.1", default-features = false }
 cynic-codegen = { version = "3.10", default-features = false }
+kzg-rs = { git = "https://github.com/rymnc/kzg-rs", rev = "a3af3fd", default-features = false }
+sha2 = { version = "0.10.8", default-features = false }

Cargo.toml

@@ -23,6 +23,8 @@ itertools = { workspace = true, features = ["use_std"] }
 postcard = { workspace = true, features = ["use-std"] }
 serde = { workspace = true }
 static_assertions = { workspace = true }
+kzg-rs = { workspace = true, optional = true }
+sha2 = { workspace = true, optional = true }
 
 [dev-dependencies]
 alloy = { workspace = true, features = ["consensus", "eips", "kzg"] }
@@ -36,5 +38,6 @@ rand = { workspace = true, features = ["std", "std_rng", "small_rng"] }
 test-case = { workspace = true }
 
 [features]
-default = []
+default = ["native-kzg-verify"]
 kzg = ["alloy/kzg", "dep:c-kzg"]
+native-kzg-verify = ["dep:kzg-rs", "dep:sha2"]