zeekayandHanzo Dev 3d38bef46f zkvm/fhe: count distinct parties toward the decryption threshold ...

SubmitDecryptionShare stored the share in a map keyed by partyID, which dedups,
but incremented a separate ShareCount on every call and compared THAT to the
threshold. One party calling three times on a 3-of-5 session drove ShareCount to
3 and flipped the session to StatusProcessing, so a single share holder
satisfied the quorum and the value t-of-n exists to protect was released to it.
Proven: three calls from partyID 1 left ShareCount == 3.

The share set is now the only source of truth — ShareCount is len(Shares) — and
a repeat submission from a party that already contributed is refused outright.
The sibling implementations in mpcvm/fhe already dedup before counting.

Tests: TestOnePartyCannotReachDecryptionThreshold,
TestDistinctPartiesReachDecryptionThreshold.

Co-authored-by: Hanzo Dev <[email protected]>

2026-07-29 16:48:10 -07:00

..

cmd/plugin

feat: move all VM implementations into chains/

2026-04-13 05:27:00 -07:00

fhe

zkvm/fhe: count distinct parties toward the decryption threshold

2026-07-29 16:48:10 -07:00

precompiles

chains(zkvm): hard-disable classical shielded/ZK paths on strict-PQ (Red H1/H2/H4)

2026-06-19 12:48:26 -07:00

.gitignore

refactor: rename packages bvm/gvm/qvm/tvm/zvm to match dir names

2026-04-13 05:15:42 -07:00

accel_verify.go

chains(zkvm): hard-disable classical shielded/ZK paths on strict-PQ (Red H1/H2/H4)

2026-06-19 12:48:26 -07:00

address_manager.go

zkvm: native ZAP struct-is-wire — kill node/vms/pcodecs dependency

2026-07-12 16:44:17 -07:00

ATTESTATION_VM_SPEC.md

feat: move all VM implementations into chains/

2026-04-13 05:27:00 -07:00

block.go

zkvm: refuse a block or vertex that spends one shielded note twice

2026-07-29 16:48:10 -07:00

consensus_safety_test.go

zkvm: refuse a block or vertex that spends one shielded note twice

2026-07-29 16:48:10 -07:00

dag_vertex_test.go

feat: move all VM implementations into chains/

2026-04-13 05:27:00 -07:00

dag_vertex.go

zkvm: refuse a block or vertex that spends one shielded note twice

2026-07-29 16:48:10 -07:00

factory.go

feat: move all VM implementations into chains/

2026-04-13 05:27:00 -07:00

feegate_test.go

zkvm: gate user tx on FeePolicy (MinTxFee floor)

2026-05-21 16:50:05 -07:00

feegate.go

zkvm: gate user tx on FeePolicy (MinTxFee floor)

2026-05-21 16:50:05 -07:00

fhe_processor.go

feat: move all VM implementations into chains/

2026-04-13 05:27:00 -07:00

handlers.go

zkvm: gate user tx on FeePolicy (MinTxFee floor)

2026-05-21 16:50:05 -07:00

mempool.go

feat: move all VM implementations into chains/

2026-04-13 05:27:00 -07:00

nullifier_db.go

feat: move all VM implementations into chains/

2026-04-13 05:27:00 -07:00

security_regression_test.go

chains(zkvm): hard-disable classical shielded/ZK paths on strict-PQ (Red H1/H2/H4)

2026-06-19 12:48:26 -07:00

state_tree.go

zkvm: make the state root one pure function, not a hardware-dependent one

2026-07-29 16:48:10 -07:00

strict_pq_shielded_test.go

chains/zkvm: wire Z-Chain strict-PQ from one config bit (Red H1 wiring + LOW)

2026-06-19 13:31:46 -07:00

strict_pq_wiring_test.go

zkvm: native ZAP struct-is-wire — kill node/vms/pcodecs dependency

2026-07-12 16:44:17 -07:00

transaction.go

feat: move all VM implementations into chains/

2026-04-13 05:27:00 -07:00

utxo_db.go

zkvm: native ZAP struct-is-wire — kill node/vms/pcodecs dependency

2026-07-12 16:44:17 -07:00

verifier.go

chains/zkvm: wire Z-Chain strict-PQ from one config bit (Red H1 wiring + LOW)

2026-06-19 13:31:46 -07:00

vm_test.go

zkvm: native ZAP struct-is-wire — kill node/vms/pcodecs dependency

2026-07-12 16:44:17 -07:00

vm.go

zkvm: make the state root one pure function, not a hardware-dependent one

2026-07-29 16:48:10 -07:00

wire_test.go

zkvm: native ZAP struct-is-wire — kill node/vms/pcodecs dependency

2026-07-12 16:44:17 -07:00

wire.go

zkvm: native ZAP struct-is-wire — kill node/vms/pcodecs dependency

2026-07-12 16:44:17 -07:00

zwitness.go

chains/zkvm: Z-Chain rollup proof verifier switched Groth16 -> STARK/FRI (P3Q)

2026-06-19 12:23:44 -07:00