feat(prover): proof of equivalence using rust-kzg

[CeciliaZ030]

#292

• Impl (de)serialization in https://github.com/grandinetech/rust-kzg
• patched revm feat(kzg): Replace c-kzg with rust-kzg revm#9
• merged in feat: prove blocks using reth #226 and patched Reth
• Serialize concrete types KZGSetting with bincode and include_bytes at guest compiled time
• host's interface change with ProofRequest allowing users to choose btw
  - Proof of Equivalance: g neration of y = p(x) where x=sha(256(blob), kzg_commit(blob)) passed from host
  - Proof of Commitment: recomputation of entire Kzg commitment in guests
• hash (x, y) intoProtocolInstance

TODO in some next PR

• Other backend support with [features] kzg-arkworks = ["dep:rust-kzg-arkworks"] and kzg-blst = ["dep:rust-kzg-blst"]
• Make Risc0 Guest compile with blst backend because it's performant

Patched crates tracker

taikoxyz/revm#9

revm = { git = "https://github.com/taikoxyz/revm.git", branch = "v36-taiko-kzg", default-features = false, features = [
   "std",
   "serde",
   "taiko",
]}

CeciliaZ030/rust-kzg#1

rust-kzg-zkcrypto = { git = "https://github.com/CeciliaZ030/rust-kzg.git", branch = "sp1-patch", default-features = false }
kzg = { git = "https://github.com/CeciliaZ030/rust-kzg.git", branch = "sp1-patch", default-features = false }

taikoxyz/taiko-reth#7

reth-evm-ethereum = { git = "https://github.com/taikoxyz/taiko-reth.git", branch = "v1.0.0-rc.2-taiko-kzg", default-features = false }