Skip to content

Commit bacf47a

Browse files
committed
uncomment code and test
1 parent 3a1198b commit bacf47a

File tree

2 files changed

+15
-16
lines changed

2 files changed

+15
-16
lines changed

Cargo.lock

Lines changed: 6 additions & 6 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

src.ts/tests/ffi.spec.ts

Lines changed: 9 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ import { beforeAll, describe, expect, test } from 'vitest'
44
import { VerkleCrypto, loadVerkleCrypto } from '../index.js'
55
import { verifyExecutionWitnessPreState, Context as VerkleFFI } from '../wasm/rust_verkle_wasm.js'
66
import kaustinenBlock72 from './data/kaustinen6Block72.json'
7-
// import kaustinenBlock73 from './data/kaustinen6Block73.json'
7+
import kaustinenBlock73 from './data/kaustinen6Block73.json'
88

99
describe('bindings', () => {
1010
let ffi: VerkleFFI
@@ -192,16 +192,15 @@ describe('bindings', () => {
192192
expect(verified).toBe(true)
193193
})
194194

195-
// TODO: Investigate why this fails
196195
// This one is for a much larger block (~100 txs) and currently fails
197-
// test('verifyExecutionProof: block with many txs', () => {
198-
// // Src: Kaustinen6 testnet, block 72 state root (parent of block 73)
199-
// const prestateRoot = '0x18d1dfcc6ccc6f34d14af48a865895bf34bde7f3571d9ba24a4b98122841048c'
200-
// const executionWitness = JSON.stringify(kaustinenBlock73.executionWitness)
201-
202-
// const verified = verifyExecutionWitnessPreState(prestateRoot, executionWitness)
203-
// expect(verified).toBe(true)
204-
// })
196+
test('verifyExecutionProof: block with many txs', () => {
197+
// Src: Kaustinen6 testnet, block 72 state root (parent of block 73)
198+
const prestateRoot = '0x18d1dfcc6ccc6f34d14af48a865895bf34bde7f3571d9ba24a4b98122841048c'
199+
const executionWitness = JSON.stringify(kaustinenBlock73.executionWitness)
200+
201+
const verified = verifyExecutionWitnessPreState(prestateRoot, executionWitness)
202+
expect(verified).toBe(true)
203+
})
205204

206205
test('smoke test errors are thrown', () => {
207206
const scalar = new Uint8Array([0])

0 commit comments

Comments
 (0)