Repository navigation

feat(sdk)!: let wasm-sdk and evo-sdk opt into the verified quorum context provider - #5721

Merged

PastaPastaPasta merged 23 commits into

v5.1-devfrom

feat/wasm-verified-context-provider

Nov 4, 2026

Merged

feat(sdk)!: let wasm-sdk and evo-sdk opt into the verified quorum context provider#5721
PastaPastaPasta merged 23 commits into
v5.1-devfrom
feat/wasm-verified-context-provider

Commits on Nov 4, 2026
- feat(sdk): let wasm-sdk and evo-sdk opt into the verified quorum context provider
  
  PastaPastaPasta
  and
  claude
  committed
  2072a08
- fix(sdk): keep verified SDK contracts apart and tighten the verified context binding
  
  PastaPastaPasta
  and
  claude
  committed
  ff39a0a
- fix(sdk): refuse to build a verified wasm SDK with proofs turned off
  
  PastaPastaPasta
  and
  claude
  committed
  552c19b
- feat(sdk): refuse context providers whose network or proof needs the SDK cannot meet
  
  PastaPastaPasta
  and
  claude
  committed
  4578ea3
- fix(sdk): resume the verified provider from a continuation, not its newest state
  
  PastaPastaPasta
  and
  claude
  committed
  b28964e
- refactor(sdk): name the trust partition of the persisted contract store
  
  PastaPastaPasta
  and
  claude
  committed
  8a03707
- fix(sdk): resume browser verified contexts from a continuation and leave checks to rs-sdk
  
  PastaPastaPasta
  and
  claude
  committed
  e1e1fb8
- fix(sdk): check continuation states in one ordered pass and say when an anchor can strand
  
  PastaPastaPasta
  and
  claude
  committed
  1c9a89b
- style(sdk): format the contract-store slot calls in the cache tests
  
  PastaPastaPasta
  and
  claude
  committed
  cb5670f
- fix(sdk): anchor a continuation below the lowest height the provider served
  
  PastaPastaPasta
  and
  claude
  committed
  d25efa1
- fix(sdk): let the quorum context attached last win in the wasm builder
  
  PastaPastaPasta
  and
  claude
  committed
  758713a
- fix(sdk): advance the continuation anchor only from verified Core heights
  
  PastaPastaPasta
  and
  claude
  committed
  d5eb97f
- fix(sdk): anchor a continuation one DKG interval below verified heights
  
  PastaPastaPasta
  and
  claude
  committed
  09f0f00
- fix(sdk): ask for the lower target from the checkpoint when no state is below it
  
  PastaPastaPasta
  and
  claude
  committed
  e37b76a
- docs(sdk): note the checkpoint anchors a continuation when no kept state is far enough below
  
  PastaPastaPasta
  and
  claude
  committed
  a087d1b
- feat(sdk): expose the lowest verified Core height of a verified provider
  
  PastaPastaPasta
  and
  claude
  committed
  33a82c8
- test(sdk): verify a proved query end to end with a cold verified provider
  
  PastaPastaPasta
  and
  claude
  committed
  6df5625
- test(sdk): make the never-proven quorum type test fail when the provider would fetch
  
  PastaPastaPasta
  and
  claude
  committed
  8066f43
- chore(sdk): make dash-core-proof a dev-dependency of wasm-sdk
  
  PastaPastaPasta
  and
  claude
  committed
  f0069bd
- docs(sdk): describe verified mode in the book and key saved continuations by network
  
  PastaPastaPasta
  and
  claude
  committed
  c5c9d37
- docs(sdk): drop a saved continuation only when starting without it works
  
  PastaPastaPasta
  and
  claude
  committed
  d462dc0
- test(sdk): check a provider refused with proofs off leaves the current one
  
  PastaPastaPasta
  and
  claude
  committed
  f2291b4
- ci: build only the provider's library and integration tests for wasm32
  
  PastaPastaPasta
  and
  claude
  committed
  55132a7

Commits

Commits on Nov 4, 2026