nooschain / chain/smt-state-store / createInMemorySmtStateStoreForBenchmark
Function: createInMemorySmtStateStoreForBenchmark()
createInMemorySmtStateStoreForBenchmark():
SmtStateStore
Defined in: chain/smt-state-store.ts:611
Creates an empty in-memory SMT for benchmarks and isolated verification.