VeriChain 2.0 (verify-node)

Project Name: VeriChain 2.0
Repo: MeridianAlgo/verify-node
Status: Pre-Alpha (Architecture Validation)

A purpose-built, ultra-lightweight blockDAG node designed to solve content provenance and decentralized stablecoin issuance.

Architecture

• Language: Rust (async tokio, libp2p, sled)
• Consensus: Vesper (Leaderless, round-less PoS BlockDAG)
• Storage: Embedded Sled DB (No external dependencies)
• Networking: Libp2p Gossipsub

Getting Started

Prerequisites

• Rust (latest stable)
• Git

Build & Run

cargo run --release

To run a local cluster of 3 nodes:

./scripts/spawn_cluster.ps1

The node will start, generate keys, initialize storage in data/, and begin producing blocks (visualized with a real-time spinner).

Roadmap

This roadmap outlines the path from the current skeletal implementation to a production-ready testnet.

Core Consensus & DAG (1–10)

1. [x] Full Vesper Parent Selection: Implement VRF-weighted random walk over current tips.
2. [x] Temporal Density Weight: Implement W = stake * e^(-lambda * avg_delta_t) with caching.
3. [x] Weight Memoization: Efficient cumulative weight calculation and invalidation.
4. [x] Virtual Ordering: Deterministic linearization via Pivot Chain & Causal Rank.
5. [x] Tip Set Management: Persistent storage and automatic promotion/demotion logic.
6. [x] Genesis Block: Bootstrap logic for cold starts.
7. [x] Block Validation: Full pipeline (signatures, parents, metadata bounds, timestamps).
8. [x] Re-org Handling: Rollback support in Sled via state deltas.
9. [x] Rate Limiting: Block proposal limits based on stake.
10. [x] Finality Detector: Depths-based probabilistic finality.

Provenance Layer (11–18)

11. [x] pHash Anchoring: img_hash & image crate integration for visual similarity.
12. [x] Lineage Trees: Parent/Child content tracking with bi-directional indexing.
13. [x] Dynamic Trust Score: Stake-weighted aggregation of attestations.
14. [ ] Validation: Conflict detection for attestations.
15. [x] Challenge Txs: Slash false attestations.
16. [x] Phash Bloom Filter: Fast existence checks for content indexing.
17. [ ] Metadata Bounds: Enforce size limits in validation pipeline.
18. [x] Proofs: Exportable Merkle paths.

V-STABLE Stablecoin Layer (19–23)

19. [x] Supply Tracking: Persisted in Sled.
20. [x] Gated Minting: Trust Score thresholds.
21. [x] Proportional Minting: Formula refinement and algorithmic rebalancing.
22. [x] Burn Logic: Reduce supply and balance.
23. [x] Transfers & Persistence: Persistent account balances and transfer primitive.
24. [x] Fee Burn Logic: Fees removed from circulation.

Networking & Distribution (24–28)

24. [x] Bootstrap: Fixed peer seeds & bootnode dialing.
25. [x] Gossipsub: Immediate broadcast and receiver validation.
26. [ ] Peer Scoring: Reputation management.
27. [x] Sync Protocol: Request/Response for history.
28. [x] Local Testnet: Script for multi-node spawn (spawn_cluster.ps1).

Security (29–35)

29. [x] Slashing: Double-proposal detection.
30. [x] Stake Aging: Prevent nothing-at-stake attacks.
31. [x] Min Stake: Thresholds for network participation.
32. [x] Signature Verification Batching: Transaction signatures + Batch validation.
33. [x] Merkle Proofs: Efficient state & transaction inclusion proofs.
34. [x] DoS Protection: Fees/PoW stub.
35. [x] Benchmarks: Criterion for TPS/Latency.
36. [ ] Integration Tests: Large-scale DAG simulation.
37. [ ] Documentation: Full architecture diagrams.