Skip to content

MCP-14: add vote-gate threshold and delayed-bankhash checks#38

Open
aeyakovenko wants to merge 306 commits intoanza-xyz:masterfrom
aeyakovenko:issue-16-mcp-vote-gate
Open

MCP-14: add vote-gate threshold and delayed-bankhash checks#38
aeyakovenko wants to merge 306 commits intoanza-xyz:masterfrom
aeyakovenko:issue-16-mcp-vote-gate

Conversation

@aeyakovenko
Copy link
Copy Markdown

@aeyakovenko aeyakovenko commented Feb 8, 2026

Summary

  • add core::mcp_vote_gate module implementing MCP consensus vote-gate rules
  • enforce leader checks and delayed-bankhash gating, including explicit rejection when delayed bankhash is unavailable
  • enforce global relay threshold (REQUIRED_ATTESTATIONS) from valid relay signatures only
  • apply implied-proposer inclusion and equivocation exclusion rules using REQUIRED_INCLUSIONS
  • enforce local reconstruction threshold (REQUIRED_RECONSTRUCTION) before voting
  • add focused unit tests for signature/index gates, bankhash availability, threshold failures, equivocation exclusion, and success path

Testing

  • cargo test -p solana-core --lib mcp_vote_gate -- --nocapture

Closes #16

@aeyakovenko aeyakovenko force-pushed the issue-16-mcp-vote-gate branch from c5ffd71 to fd4fc28 Compare February 8, 2026 15:24
@aeyakovenko
mcp-09: persist verified relay shreds and prune cache
97a50d7
@aeyakovenko
mcp-16: add stateful proposer reconstruction tracker
fa57a26
@aeyakovenko
mcp: accept legacy tx bytes and apply fee components
9c69a9f
@aeyakovenko
mcp-02: add domain-separated proposer/relay schedules
e5bfc4a
@aeyakovenko
turbine: derive MCP roles from slot schedules
93a5050
@aeyakovenko
mcp-02: add domain-separated proposer/relay schedules
e2cff1f
@aeyakovenko
core: verify MCP shred roles against slot schedules
aafd471
@aeyakovenko
mcp: harden legacy/latest transaction parsing
f2ba73c
@aeyakovenko
mcp-01: add MCP v1 feature gate and protocol constants
570d8e1
@aeyakovenko
banking-stage: enforce MCP fee payer tracker in scheduler
6e7e6d5
@aeyakovenko
mcp-06: add MCP erasure encode/reconstruct helper
a4b0325
@aeyakovenko
mcp-01: add MCP v1 feature gate and protocol constants
4a9d025
@aeyakovenko
turbine: RS-encode MCP proposer dispatch and harden state
d186a76
@aeyakovenko
mcp-01: add MCP v1 feature gate and protocol constants
a93a0ab
@aeyakovenko
core: harden MCP relay verification and fallback handling
0b2790c
@aeyakovenko
mcp-01: add MCP v1 feature gate and protocol constants
1879ea1
@aeyakovenko
core: validate relay attestation entry bounds and encoding
6e623c6
@aeyakovenko
mcp-01: add MCP v1 feature gate and protocol constants
085a08b
@aeyakovenko
ledger: preserve aggregate signature validity under filtering
8a5bd1b
@aeyakovenko
ledger: domain-separate consensus block signatures
2ba7c98
@aeyakovenko
mcp-01: add MCP v1 feature gate and protocol constants
e3cc3cc
@aeyakovenko
core: harden MCP vote gate fallback and thresholds
3ead825
@aeyakovenko
mcp-01: add MCP v1 feature gate and protocol constants
4056f16
@aeyakovenko
ledger: preserve reconstruction shards on failure
e98b284
@aeyakovenko
mcp-01: add MCP v1 feature gate and protocol constants
3883b3a
@aeyakovenko
runtime: gate MCP fee components behind feature flag
1ada6b4
@aeyakovenko
ledger: centralize MCP schedule and erasure constants
32fb71b
@aeyakovenko
ledger: centralize MCP schedule and erasure constants
5056f82
@aeyakovenko
ledger: keep relay attestations when filtering invalid proposer entries
0461276
@aeyakovenko
mcp: harden integration paths and strict local-cluster validation
f624b04
@aeyakovenko
mcp: harden replay bridge and local-cluster integration checks
6d9be2c
@aeyakovenko
plan: sync MCP audit follow-ups and integration invariants
ecc7d67
@aeyakovenko
mcp: harden issue-20 5-node integration and align replay safety
fff3e42
@aeyakovenko
plan: encode MCP cutover and blocker decisions
fcb13dc
@aeyakovenko
mcp: align plan policy details and refresh audit blockers
4666348
@aeyakovenko
plan: integrate 81bc269-compatible deltas and refresh audit
d021ca2
@aeyakovenko
plan: sync to authoritative internal commit 81bc269
9d394e1
@aeyakovenko
mcp: resolve audit gaps and align plan with implementation
8a39669
@aeyakovenko
mcp: tighten replay prep and block_id sidecar wiring
254e8a0
@aeyakovenko
mcp: enforce consensus-observed strict replay and re-audit plan align…
2711778 
…ment
@aeyakovenko
mcp: close audit gaps and re-audit integrated PR behavior
7079e17
@aeyakovenko
mcp: make relay attestation enqueue non-blocking
503cade
@aeyakovenko
mcp: close remaining audit gaps and sync plan
6258708
@aeyakovenko
mcp: close remaining audit blockers for replay and proposer admission
a019ec5
@aeyakovenko
Close remaining MCP audit gaps and sync plan/audit
0dfd668
@aeyakovenko
Stabilize MCP audit items and fix relay range test expectations
b074eeb
@aeyakovenko
Merge issue-20 MCP integration into master
b819a89 
# Conflicts:
#	ledger/src/shred/mcp_shred.rs
#	plan.md
@aeyakovenko
audit: mark master as integrated MCP audit baseline
edba27f
@aeyakovenko
mcp: harden local-cluster integration checks and sync audit
80bec69
@aeyakovenko
mcp: confirm audit concerns and harden relay attestation check
f8a6de5
@aeyakovenko
mcp: close confirmed audit test gaps and refresh audit
988ca10
@aeyakovenko
mcp: close repair indexing and strict block-id audit blockers
65568a2
@aeyakovenko
mcp: fix audit regressions in replay deferral and block component decode
a45c302
@aeyakovenko
mcp: expand audit coverage for repair and block component paths
c95a559
@aeyakovenko
Wire MCP admission/dispatch/replay gaps and sync plan+audit
f2a87a1
@aeyakovenko
mcp: preserve relay attestation signatures in ingest
db320af
@aeyakovenko
mcp: close audit gaps and align plan with implementation
2f6e8a1
@aeyakovenko
mcp: close latest audit gaps in replay and dispatch
c0fbf8c
@aeyakovenko
mcp: address latest audit findings on repair and replay
e12d490
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

MCP-14 Voting: validate and vote on blocks

1 participant

@aeyakovenko