diff --git a/Cargo.lock b/Cargo.lock index aa10cae7..cfb315bb 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -3695,7 +3695,7 @@ dependencies = [ [[package]] name = "kona-client" version = "0.1.0" -source = "git+https://github.com/succinctlabs/kona?rev=94bfb0e7eeee25ee76e19d584cf12bc57c1c281b#94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" +source = "git+https://github.com/succinctlabs/kona?rev=8ec836eae1cfe2ebad4624ae4f29839011382425#8ec836eae1cfe2ebad4624ae4f29839011382425" dependencies = [ "alloy-consensus", "alloy-eips", @@ -3728,7 +3728,7 @@ dependencies = [ [[package]] name = "kona-common" version = "0.1.0" -source = "git+https://github.com/succinctlabs/kona?rev=94bfb0e7eeee25ee76e19d584cf12bc57c1c281b#94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" +source = "git+https://github.com/succinctlabs/kona?rev=8ec836eae1cfe2ebad4624ae4f29839011382425#8ec836eae1cfe2ebad4624ae4f29839011382425" dependencies = [ "cfg-if", "linked_list_allocator", @@ -3738,7 +3738,7 @@ dependencies = [ [[package]] name = "kona-common-proc" version = "0.1.0" -source = "git+https://github.com/succinctlabs/kona?rev=94bfb0e7eeee25ee76e19d584cf12bc57c1c281b#94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" +source = "git+https://github.com/succinctlabs/kona?rev=8ec836eae1cfe2ebad4624ae4f29839011382425#8ec836eae1cfe2ebad4624ae4f29839011382425" dependencies = [ "anyhow", "cfg-if", @@ -3751,7 +3751,7 @@ dependencies = [ [[package]] name = "kona-derive" version = "0.1.0" -source = "git+https://github.com/succinctlabs/kona?rev=94bfb0e7eeee25ee76e19d584cf12bc57c1c281b#94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" +source = "git+https://github.com/succinctlabs/kona?rev=8ec836eae1cfe2ebad4624ae4f29839011382425#8ec836eae1cfe2ebad4624ae4f29839011382425" dependencies = [ "alloy-consensus", "alloy-eips", @@ -3770,7 +3770,7 @@ dependencies = [ [[package]] name = "kona-driver" version = "0.1.0" -source = "git+https://github.com/succinctlabs/kona?rev=94bfb0e7eeee25ee76e19d584cf12bc57c1c281b#94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" +source = "git+https://github.com/succinctlabs/kona?rev=8ec836eae1cfe2ebad4624ae4f29839011382425#8ec836eae1cfe2ebad4624ae4f29839011382425" dependencies = [ "alloy-consensus", "alloy-primitives 0.8.12", @@ -3788,7 +3788,7 @@ dependencies = [ [[package]] name = "kona-executor" version = "0.1.0" -source = "git+https://github.com/succinctlabs/kona?rev=94bfb0e7eeee25ee76e19d584cf12bc57c1c281b#94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" +source = "git+https://github.com/succinctlabs/kona?rev=8ec836eae1cfe2ebad4624ae4f29839011382425#8ec836eae1cfe2ebad4624ae4f29839011382425" dependencies = [ "alloy-consensus", "alloy-eips", @@ -3806,7 +3806,7 @@ dependencies = [ [[package]] name = "kona-host" version = "0.1.0" -source = "git+https://github.com/succinctlabs/kona?rev=94bfb0e7eeee25ee76e19d584cf12bc57c1c281b#94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" +source = "git+https://github.com/succinctlabs/kona?rev=8ec836eae1cfe2ebad4624ae4f29839011382425#8ec836eae1cfe2ebad4624ae4f29839011382425" dependencies = [ "alloy-consensus", "alloy-eips", @@ -3845,7 +3845,7 @@ dependencies = [ [[package]] name = "kona-mpt" version = "0.1.0" -source = "git+https://github.com/succinctlabs/kona?rev=94bfb0e7eeee25ee76e19d584cf12bc57c1c281b#94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" +source = "git+https://github.com/succinctlabs/kona?rev=8ec836eae1cfe2ebad4624ae4f29839011382425#8ec836eae1cfe2ebad4624ae4f29839011382425" dependencies = [ "alloy-primitives 0.8.12", "alloy-rlp", @@ -3857,7 +3857,7 @@ dependencies = [ [[package]] name = "kona-preimage" version = "0.1.0" -source = "git+https://github.com/succinctlabs/kona?rev=94bfb0e7eeee25ee76e19d584cf12bc57c1c281b#94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" +source = "git+https://github.com/succinctlabs/kona?rev=8ec836eae1cfe2ebad4624ae4f29839011382425#8ec836eae1cfe2ebad4624ae4f29839011382425" dependencies = [ "alloy-primitives 0.8.12", "async-trait", @@ -3869,7 +3869,7 @@ dependencies = [ [[package]] name = "kona-proof" version = "0.1.0" -source = "git+https://github.com/succinctlabs/kona?rev=94bfb0e7eeee25ee76e19d584cf12bc57c1c281b#94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" +source = "git+https://github.com/succinctlabs/kona?rev=8ec836eae1cfe2ebad4624ae4f29839011382425#8ec836eae1cfe2ebad4624ae4f29839011382425" dependencies = [ "alloy-consensus", "alloy-eips", @@ -7213,13 +7213,14 @@ dependencies = [ [[package]] name = "substrate-bn" version = "0.6.0" -source = "git+https://github.com/sp1-patches/bn?tag=substrate_bn-v0.6.0-patch-v1#9b0e986d32ea128a08cebfe90767072beccdb45f" +source = "git+https://github.com/sp1-patches/bn?tag=substrate_bn-v0.6.0-patch-v2#8ef05d3969312eca34fa9f1f566a469022badda6" dependencies = [ "bytemuck", "byteorder", "cfg-if", "crunchy", "lazy_static", + "num-bigint 0.4.6", "rand", "rustc-hex", "sp1-lib 3.3.0", diff --git a/Cargo.toml b/Cargo.toml index ebe83ee5..bf05ad31 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -44,18 +44,18 @@ tracing-subscriber = { version = "0.3.18", features = ["fmt"] } # kona # Note: Switch to latest version of kona once the std::process::Command issue is resolved. # Branch: patch-kona-proof-v0.1.0 -kona-common = { git = "https://github.com/succinctlabs/kona", rev = "94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" } -kona-common-proc = { git = "https://github.com/succinctlabs/kona", rev = "94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" } -kona-preimage = { git = "https://github.com/succinctlabs/kona", rev = "94bfb0e7eeee25ee76e19d584cf12bc57c1c281b", features = [ +kona-common = { git = "https://github.com/succinctlabs/kona", rev = "8ec836eae1cfe2ebad4624ae4f29839011382425" } +kona-common-proc = { git = "https://github.com/succinctlabs/kona", rev = "8ec836eae1cfe2ebad4624ae4f29839011382425" } +kona-preimage = { git = "https://github.com/succinctlabs/kona", rev = "8ec836eae1cfe2ebad4624ae4f29839011382425", features = [ "rkyv", ] } -kona-mpt = { git = "https://github.com/succinctlabs/kona", rev = "94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" } -kona-driver = { git = "https://github.com/succinctlabs/kona", rev = "94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" } -kona-derive = { git = "https://github.com/succinctlabs/kona", rev = "94bfb0e7eeee25ee76e19d584cf12bc57c1c281b", default-features = false } -kona-executor = { git = "https://github.com/succinctlabs/kona", rev = "94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" } -kona-client = { git = "https://github.com/succinctlabs/kona", rev = "94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" } -kona-host = { git = "https://github.com/succinctlabs/kona", rev = "94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" } -kona-proof = { git = "https://github.com/succinctlabs/kona", rev = "94bfb0e7eeee25ee76e19d584cf12bc57c1c281b" } +kona-mpt = { git = "https://github.com/succinctlabs/kona", rev = "8ec836eae1cfe2ebad4624ae4f29839011382425" } +kona-driver = { git = "https://github.com/succinctlabs/kona", rev = "8ec836eae1cfe2ebad4624ae4f29839011382425" } +kona-derive = { git = "https://github.com/succinctlabs/kona", rev = "8ec836eae1cfe2ebad4624ae4f29839011382425", default-features = false } +kona-executor = { git = "https://github.com/succinctlabs/kona", rev = "8ec836eae1cfe2ebad4624ae4f29839011382425" } +kona-client = { git = "https://github.com/succinctlabs/kona", rev = "8ec836eae1cfe2ebad4624ae4f29839011382425" } +kona-host = { git = "https://github.com/succinctlabs/kona", rev = "8ec836eae1cfe2ebad4624ae4f29839011382425" } +kona-proof = { git = "https://github.com/succinctlabs/kona", rev = "8ec836eae1cfe2ebad4624ae4f29839011382425" } # op-succinct op-succinct-prove = { path = "scripts/prove" } @@ -105,5 +105,5 @@ lto = "fat" tiny-keccak = { git = "https://github.com/sp1-patches/tiny-keccak", tag = "tiny_keccak-v2.0.2-patch-v1" } sha2 = { git = "https://github.com/sp1-patches/RustCrypto-hashes", package = "sha2", tag = "sha2-v0.10.8-patch-v1" } ecdsa = { git = "https://github.com/sp1-patches/signatures", tag = "ecdsa-v0.16.8-patch-v1" } -substrate-bn = { git = "https://github.com/sp1-patches/bn", tag = "substrate_bn-v0.6.0-patch-v1" } +substrate-bn = { git = "https://github.com/sp1-patches/bn", tag = "substrate_bn-v0.6.0-patch-v2" } sha3 = { git = "https://github.com/sp1-patches/RustCrypto-hashes", package = "sha3", tag = "sha3-v0.10.8-patch-v1" } diff --git a/elf/fault-proof-elf b/elf/fault-proof-elf index b9ca0090..9c25600d 100755 Binary files a/elf/fault-proof-elf and b/elf/fault-proof-elf differ diff --git a/elf/range-elf b/elf/range-elf index 3e12567c..e3fb0b7c 100755 Binary files a/elf/range-elf and b/elf/range-elf differ diff --git a/utils/client/src/oracle/mod.rs b/utils/client/src/oracle/mod.rs index 151732b3..92ac60fe 100644 --- a/utils/client/src/oracle/mod.rs +++ b/utils/client/src/oracle/mod.rs @@ -185,6 +185,7 @@ impl InMemoryOracle { .values() .map(|blob| KzgRsBlob::from_slice(&blob.data.0).unwrap()) .collect_vec(); + println!("Verifying {} blobs", blob_datas.len()); // Verify reconstructed blobs. kzg_rs::KzgProof::verify_blob_kzg_proof_batch( blob_datas,