Repository navigation

fix(drive-abci)!: record and check the nullifiers of shielding transitions (PV14) - #5014

Merged

shumkov merged 126 commits into

v5.0-devfrom

claude/strange-elbakyan-00b175

Oct 5, 2026

Merged

fix(drive-abci)!: record and check the nullifiers of shielding transitions (PV14)#5014
shumkov merged 126 commits into
v5.0-devfrom
claude/strange-elbakyan-00b175

Commits on Sep 22, 2026
- feat(platform)!: token shielded pools
  
  authored and
  shumkov
  committed
  64d5905
- fix(dpp): append the token pool state error as the last StateError variant
  
  authored and
  shumkov
  committed
  c040457
- feat(dpp): require a pooled token to disable freeze and confiscation rules
  
  authored and
  shumkov
  committed
  150ce15
- feat(platform): mint, burn, claim and purchase into token shielded pools
  
  authored and
  shumkov
  committed
  8f47d59
- feat(platform)!: gate token shielded pools on protocol version 15 and pay document token costs from a pool
  
  authored and
  shumkov
  committed
  6a85f42
- fix(platform): box the shielded token payment and clone the payment info in the SDK
  
  authored and
  shumkov
  committed
  6de6ff3
- feat(platform)!: identity-less token pool transitions paid from the credit shielded pool
  
  authored and
  shumkov
  committed
  9f636ba
- fix(drive-abci): drop trailing whitespace rustfmt refused in the pool purchase validator
  
  authored and
  shumkov
  committed
  c46dfd8
- fix(platform): bind a group burn from the pool to its proposer and harden the pool purchase builder
  
  authored and
  shumkov
  committed
  f67c8e4
- fix(platform): reconcile token pools with protocol 14 changes
  
  QuantumExplorer
  authored and
  shumkov
  committed
  5f53958
- fix!: address token shielded pool review findings
  
  QuantumExplorer
  authored and
  shumkov
  committed
  faf5fa1
- fix(platform)!: pin mint-to-pool destinations, drop pool frozen checks and tidy the pool validators
  
  authored and
  shumkov
  committed
  a4ee83d
- fix(drive): stop pricing an existing token pool in contract update estimates
  
  authored and
  shumkov
  committed
  c1ba639
- fix(platform): count a pool purchase in the batch's required balance, pause every pool inflow
  
  authored and
  shumkov
  committed
  039ac9f
- fix(platform)!: land token shielded pools in protocol version 14
  
  shumkov
  and
  claude
  committed
  f539bfa
- test(drive-abci): pin the token pool admission and anchor bookkeeping rules
  
  shumkov
  and
  claude
  committed
  cad8634
- chore(platform): tighten the token pool freeze tests, comments and cost constants
  
  shumkov
  and
  claude
  committed
  f963665
- fix(drive-abci)!: make the unreleased shielded proof dispatchers exhaustive
  
  shumkov
  and
  claude
  committed
  7e142c7
- test(drive-abci): pin that a token pool's anchors and nullifiers are its own
  
  shumkov
  and
  claude
  committed
  52facec
- docs(platform): correct two claims the token pool chapter contradicts itself on
  
  shumkov
  and
  claude
  committed
  adde743
- fix(drive): describe the GroveDB root the same way in both shielded pools
  
  shumkov
  and
  claude
  committed
  bda2cf0
Commits on Sep 23, 2026
- Merge v4.2-dev into the token shielded pools branch
  
  shumkov
  and
  claude
  committed
  efc3983
- Merge remote-tracking branch 'origin/v4.2-dev' into claude/tokens-shielded-pools-6642a6
  shumkov
  committed
  5d9b500
- fix(platform): bind the pool and kind into outputs-only token bundle sighashes
  
  shumkov
  and
  claude
  committed
  4f82752
Commits on Sep 24, 2026
- fix(platform): correct the outputs-only bundle tag rationale, docs and tests
  
  shumkov
  and
  claude
  committed
  4cb0576
- Merge v4.2-dev into the token shielded pools branch
  
  shumkov
  and
  claude
  committed
  2f94a4e
- Merge v4.2-dev into the token shielded pools branch
  
  shumkov
  and
  claude
  committed
  1e1a635
- fix(drive-abci): give the seven document base action constructors the shielded payment field
  
  shumkov
  and
  claude
  committed
  c3070c7
- Merge remote-tracking branch 'origin/v4.2-dev' into claude/tokens-shielded-pools-6642a6
  shumkov
  committed
  9b68f9c
- style(dpp): drop the stray blank line the manual enum tail moves left behind
  
  shumkov
  and
  claude
  committed
  d7ebc84
- docs(dpp): say what the outputs-only sighash actually binds and what it leaves open
  
  shumkov
  and
  claude
  committed
  6b1559b
- fix(platform)!: record and check the dummy nullifiers of outputs-only token pool bundles
  
  shumkov
  and
  claude
  committed
  0658194
- feat(platform)!: let a token set how few notes its shielded pool may be left holding
  
  shumkov
  and
  claude
  committed
  ac0661b
- test(wallet): pin that two notes sharing a nullifier count once
  
  shumkov
  and
  claude
  committed
  b84ed91
- fix(platform): name what the batch cap protects and stop a group check resting on one call
  
  shumkov
  and
  claude
  committed
  45c9ff8
- feat(platform)!: bind the owner into outputs-only token pool bundle sighashes
  
  shumkov
  and
  claude
  committed
  8b4c29f
- docs(drive): say at the pool writers that they rely on the caller's duplicate check
  
  shumkov
  and
  claude
  committed
  f1d007e
Commits on Sep 25, 2026
- feat(platform)!: give the credit pool's outputs-only bundles a sighash layout
  
  shumkov
  and
  claude
  committed
  b73f92f
Commits on Sep 26, 2026
- fix(drive-abci)!: record and check the nullifiers of shielding transitions (PV14)
  
  QuantumExplorer
  and
  claude
  committed
  6aaeeb0
- Merge remote-tracking branch 'origin/v4.2-dev' into claude/strange-elbakyan-00b175
  QuantumExplorer
  committed
  de7ba02
- Merge remote-tracking branch 'origin/v4.2-dev' into claude/tokens-shielded-pools-6642a6
  
  shumkov
  and
  claude
  committed
  604cd1e
- fix(drive-abci): report the boundary a transition version actually missed
  
  shumkov
  and
  claude
  committed
  a07d5d2
- Merge #4760 (token shielded pools) into the nullifier recording branch
  
  shumkov
  and
  claude
  committed
  6017d9e
- test(drive-abci): a batch does need the is_allowed check on this branch
  
  shumkov
  and
  claude
  committed
  1caa49e
- test(drive-abci): prove each shield's bundle against the funder that pays for it
  
  shumkov
  and
  claude
  committed
  8d13671
- Merge the is_allowed fixture correction from #4760
  
  shumkov
  and
  claude
  committed
  37fe378
- test(drive): drop four evonode reward-ratio tests that test only themselves
  
  shumkov
  and
  claude
  committed
  39f4916
- test(drive-abci): put the shield repeat back on the block path
  
  shumkov
  and
  claude
  committed
  8216d2f
Commits on Sep 27, 2026
- test(drive-abci): pin the boundary the below-range arm reports
  
  shumkov
  and
  claude
  committed
  92e2d55
- test(drive-abci): keep platform_version last and drop a shadowing import
  
  shumkov
  and
  claude
  committed
  93fa8d6
- docs(platform): say why each shipped generation this edits stays inert, and show it
  
  shumkov
  and
  claude
  committed
  b55bba7
- fix(dpp): tell the two sides of an inactive version apart in the message
  
  shumkov
  and
  claude
  committed
  b166742
- test(drive-abci): stop a transition kind from losing its is_allowed phase unnoticed
  
  shumkov
  and
  claude
  committed
  e98f147
- test(drive-abci): drop an assertion that could not fire
  
  shumkov
  and
  claude
  committed
  b1c7bb1
- fix(drive): let a wallet verify a proof of a token pool transition
  
  shumkov
  and
  claude
  committed
  1793ba1
- test(drive-abci): pin the per-token namespace for a bundle's dummy nullifiers
  
  shumkov
  and
  claude
  committed
  b76c536
- style(drive-abci): wrap the dummy nullifier collection as rustfmt asks
  
  shumkov
  and
  claude
  committed
  030ea54
- fix(drive-abci)!: hold a shielded-pool purchase to the pool's anonymity set
  
  shumkov
  and
  claude
  committed
  ead553e
- fix(dpp): drop a token config validator nothing calls, and the claim it earned
  
  shumkov
  and
  claude
  committed
  c66ceb5
- fix(drive-abci): answer not-found for a shielded pool the chain does not have
  
  shumkov
  and
  claude
  committed
  256fe51
- fix(dpp)!: refuse a token configuration key its format version does not carry
  
  shumkov
  and
  claude
  committed
  3341739
- fix(dpp): show a pool mint or burn's public note on a pending group action
  
  shumkov
  and
  claude
  committed
  4dab688
- Merge the shielded query not-found fix
  
  shumkov
  and
  claude
  committed
  15043e4
- fix(drive-abci)!: bound a token pool mint by the supply's sum-item ceiling
  
  shumkov
  and
  claude
  committed
  c8370ce
- Merge the token pool mint supply-ceiling fix
  
  shumkov
  and
  claude
  committed
  d44efba
- Merge the token configuration strictness and pool note fixes
  
  shumkov
  and
  claude
  committed
  c8cc388
- fix(dpp)!: price a token unshield's balance write as the insert it is
  
  shumkov
  and
  claude
  committed
  d5dcf15
- docs(drive): put two detached doc paragraphs back on the code they describe
  
  shumkov
  and
  claude
  committed
  bd707cc
- Merge the unshield new-holder storage fee fix
  
  shumkov
  and
  claude
  committed
  eab906b
- fix(dpp): decode a shielded payment's byte fields from base64, not base58
  
  shumkov
  and
  claude
  committed
  4fb3a18
- Merge v4.2-dev into the token shielded pools branch
  
  shumkov
  and
  claude
  committed
  3c467a8
- fix(wasm-dpp2): name the TokenEvent fields the serializer actually emits
  
  shumkov
  and
  claude
  committed
  dfe2d36
- refactor(dpp): give the token shielded pool kinds one home
  
  shumkov
  and
  claude
  committed
  b460834
- Merge the client-facing encoding and field-name fixes
  
  shumkov
  and
  claude
  committed
  bd8e2ce
- fix(drive): verify a token pool group action's proof while it is still open
  
  shumkov
  and
  claude
  committed
  65a9bc7
- fix(dpp): name a batch's shielded pool nullifiers among its mempool identifiers
  
  shumkov
  and
  claude
  committed
  d9f638f
- Merge the pool group-action proof fixes
  
  shumkov
  and
  claude
  committed
  36ba9e8
- test(drive-abci): name the credit pool in the encrypted notes tests
  
  shumkov
  and
  claude
  committed
  6951d7c
- fix(drive): meter a token pool's total-balance read when estimating
  
  shumkov
  and
  claude
  committed
  9b4eaf0
- docs(platform): record why each in-place edit to a shipped generation is inert
  
  shumkov
  and
  claude
  committed
  6e9cc74
- Merge the audit of in-place edits to shipped generations
  
  shumkov
  and
  claude
  committed
  ea57df6
- docs(drive): state why two shipped verifier edits cannot move consensus
  
  shumkov
  and
  claude
  committed
  1c159fc
- Merge the pool total read's fee estimate
  
  shumkov
  and
  claude
  committed
  f7f73dc
- fix(drive-abci): read a token pool's spent nullifiers before verifying a batch's bundles
  
  shumkov
  and
  claude
  committed
  f4896bc
- fix(drive-abci): evict a batch from the mempool once its pool note is spent
  
  shumkov
  and
  claude
  committed
  3954a98
- refactor(drive-abci): gate every token shielded pool kind from one question
  
  shumkov
  and
  claude
  committed
  25bf31a
- test(drive-abci): pin that an absent token pool reads as nothing spent
  
  shumkov
  and
  claude
  committed
  f8fb7fc
- Merge the pool nullifier mempool and CheckTx fixes
  
  shumkov
  and
  claude
  committed
  f187212
- Merge the is_allowed pool-kind conversion and the GroveDB absence tests
  
  shumkov
  and
  claude
  committed
  2c322ed
- fix(drive-abci): drop a pool-existence read the nullifier check does not need
  
  shumkov
  and
  claude
  committed
  75a423c
- Merge v4.2-dev into the token shielded pools branch
  
  shumkov
  and
  claude
  committed
  d9f5e1f
- style(drive-abci): put the credit pool path import in rustfmt order
  
  shumkov
  and
  claude
  committed
  f78f4cb
- docs(dpp): correct five comments that justified an edit by an untrue claim
  
  shumkov
  and
  claude
  committed
  d3f8d91
- docs: stop four comments claiming more than is true or tested
  
  shumkov
  and
  claude
  committed
  2477312
- Revert "test(drive): drop four evonode reward-ratio tests that test only themselves"
  
  shumkov
  and
  claude
  committed
  b153be9
- fix(dpp): keep the pool result variants out of the TryInto derive
  
  shumkov
  and
  claude
  committed
  7da8622
- test(drive-abci): compare the Tokens Merk's own shape, not only its children
  
  shumkov
  and
  claude
  committed
  ae86bd0
- refactor(wasm-dpp): report shielded-pool token transitions as unsupported
  
  shumkov
  and
  claude
  committed
  1ff727f
- fix(dpp): refuse a fresh mint-to-pool bundle for a group co-signer
  
  shumkov
  and
  claude
  committed
  e63e1eb
- Merge the legacy wasm-dpp trim
  
  shumkov
  and
  claude
  committed
  fe2f812
- test(dpp): decode the whole StateError discriminant, not its first byte
  
  shumkov
  and
  claude
  committed
  0396ed9
- fix(drive): make the token example contract fixture decodable again
  
  shumkov
  and
  claude
  committed
  1b17e20
- test(drive): cover the evonode claim's epoch cap at the drive method
  
  shumkov
  and
  claude
  committed
  9f64005
- Merge direct coverage of the epoch-capped evonode reward claim
  
  shumkov
  and
  claude
  committed
  24e177a
- docs(drive-abci): record that the token format predicate is the only defence
  
  shumkov
  and
  claude
  committed
  0f73b27
- Merge four small fixes found by reviewing this branch
  
  shumkov
  and
  claude
  committed
  d81e2eb
- fix(dpp): name the discriminator these deserializers actually accept
  
  shumkov
  and
  claude
  committed
  819ac00
- fix(drive): refuse a token nullifier spend status for a pool the chain lacks
  
  shumkov
  and
  claude
  committed
  a0c5e40
- Merge a pool the chain does not have being provably unspent
  
  shumkov
  and
  claude
  committed
  b236bd5
- fix(drive-abci): reserve the shielded compute fee in the batch balance pre-check
  
  shumkov
  and
  claude
  committed
  2fcd709
- Merge the shielded compute fee into the batch balance pre-check
  
  shumkov
  and
  claude
  committed
  26104d6
- test: make the token shielded pool tests able to fail
  
  shumkov
  and
  claude
  committed
  a0837c2
- Merge honest replacements for tests that could not fail
  
  shumkov
  and
  claude
  committed
  c8b5cb3
- docs(book): state the deadline a group burn from a pool inherits
  
  shumkov
  and
  claude
  committed
  586c465
Commits on Sep 28, 2026
- fix(dpp)!: refuse an unrecognized token configuration key at format version 1
  
  shumkov
  and
  claude
  committed
  3ab258d
Commits on Sep 29, 2026
- docs(dpp): say why the payment info accessor clones
  
  shumkov
  and
  claude
  committed
  b46f473
- feat(wasm-dpp2): set a token's shielded pool notes threshold at creation
  
  shumkov
  and
  claude
  committed
  74822b0
- Merge the pool note threshold onto the JavaScript surface
  
  shumkov
  and
  claude
  committed
  0911847
- Merge origin/v4.2-dev into the token shielded pools branch
  
  shumkov
  and
  claude
  committed
  3789286
- fix(dpp): check the balance allowance ordering when the crate is built
  
  shumkov
  and
  claude
  committed
  3d52fee
- chore(dapi-grpc): regenerate the python client for the token shielded pool protos
  
  shumkov
  and
  claude
  committed
  dde09b1
- Merge the token shielded pools branch into the nullifier recording branch
  
  shumkov
  and
  claude
  committed
  bcc91b6
Commits on Oct 3, 2026
- Merge v5.0-dev into the nullifier recording branch
  
  shumkov
  and
  claude
  committed
  cc34e92
Commits on Oct 4, 2026
- fix(dpp): preserve shielded token purchase fees
  shumkov
  committed
  9b176c5
- fix!: cover identity shield admission estimates
  shumkov
  committed
  ee44bba
Commits on Oct 5, 2026
- chore: merge v5.0-dev into shielding nullifier fix
  shumkov
  committed
  d20652a

Commits

Commits on Sep 22, 2026

Commits on Sep 23, 2026

Commits on Sep 24, 2026

Commits on Sep 25, 2026

Commits on Sep 26, 2026

Commits on Sep 27, 2026

Commits on Sep 28, 2026

Commits on Sep 29, 2026

Commits on Oct 3, 2026

Commits on Oct 4, 2026

Commits on Oct 5, 2026