fix: rust verkle update

* update verkle to point to commit with block fix

* uncomment code and test

Author: kevaundray

Cargo.lock

@@ -15,9 +15,9 @@ default = ["console_error_panic_hook"]
 serde = { version = "1.0", features = ["derive"] }
 serde-wasm-bindgen = "0.3.0"
 wasm-bindgen = { version = "0.2.90", features = ["serde-serialize"] }
-ipa-multipoint = { git = "https://github.com/crate-crypto/rust-verkle", rev = "594a70e3df16db9d870b7d3c82479d041cfd1b2d" }
-banderwagon = { git = "https://github.com/crate-crypto/rust-verkle", rev = "594a70e3df16db9d870b7d3c82479d041cfd1b2d" }
-ffi_interface = { git = "https://github.com/crate-crypto/rust-verkle", rev = "594a70e3df16db9d870b7d3c82479d041cfd1b2d" }
+ipa-multipoint = { git = "https://github.com/crate-crypto/rust-verkle", rev = "1c2cd88661e0bf54df29239333baba4bd115c3d3" }
+banderwagon = { git = "https://github.com/crate-crypto/rust-verkle", rev = "1c2cd88661e0bf54df29239333baba4bd115c3d3" }
+ffi_interface = { git = "https://github.com/crate-crypto/rust-verkle", rev = "1c2cd88661e0bf54df29239333baba4bd115c3d3" }
 
 hex = "0.4.3"
 # This is needed so that we can enable the js feature, which is being used in ark-serialize

src.rs/Cargo.toml

@@ -4,7 +4,7 @@ import { beforeAll, describe, expect, test } from 'vitest'
 import { VerkleCrypto, loadVerkleCrypto } from '../index.js'
 import { verifyExecutionWitnessPreState, Context as VerkleFFI } from '../wasm/rust_verkle_wasm.js'
 import kaustinenBlock72 from './data/kaustinen6Block72.json'
-// import kaustinenBlock73 from './data/kaustinen6Block73.json'
+import kaustinenBlock73 from './data/kaustinen6Block73.json'
 
 describe('bindings', () => {
   let ffi: VerkleFFI
@@ -192,16 +192,15 @@ describe('bindings', () => {
     expect(verified).toBe(true)
   })
 
-  // TODO: Investigate why this fails
   // This one is for a much larger block (~100 txs) and currently fails
-  // test('verifyExecutionProof: block with many txs', () => {
-  //   // Src: Kaustinen6 testnet, block 72 state root (parent of block 73)
-  //   const prestateRoot = '0x18d1dfcc6ccc6f34d14af48a865895bf34bde7f3571d9ba24a4b98122841048c'
-  //   const executionWitness = JSON.stringify(kaustinenBlock73.executionWitness)
-
-  //   const verified = verifyExecutionWitnessPreState(prestateRoot, executionWitness)
-  //   expect(verified).toBe(true)
-  // })
+  test('verifyExecutionProof: block with many txs', () => {
+    // Src: Kaustinen6 testnet, block 72 state root (parent of block 73)
+    const prestateRoot = '0x18d1dfcc6ccc6f34d14af48a865895bf34bde7f3571d9ba24a4b98122841048c'
+    const executionWitness = JSON.stringify(kaustinenBlock73.executionWitness)
+
+    const verified = verifyExecutionWitnessPreState(prestateRoot, executionWitness)
+    expect(verified).toBe(true)
+  })
 
   test('smoke test errors are thrown', () => {
     const scalar = new Uint8Array([0])