Native Ledger Bridge

Move-native balance management with ZK-proven state transitions

✅

Implementation Complete

157 tests passing • Safety invariants enforced • ZK integration ready

Native Ledger Architecture

The Native Ledger Bridge integrates balance management directly into the Move VM, providing gas-efficient operations with ZK-proven state transitions.

Key Features

  • ✓
    AssetId Derivation — BLAKE3-based deterministic asset identifiers
  • ✓
    Native VM Functions — ledger::transfer, mint, burn, balance directly in Move
  • ✓
    Asset Registry — Fungible & Non-Fungible asset class support
  • ✓
    Transaction Atomicity — Savepoints and rollback for multi-operation txns
  • ✓
    ZK Circuit Integration — Public inputs for balance state transitions
  • ✓
    Committee Sharding — Parallel execution with conflict detection
  • ✓
    Fee Model — USD-indexed base fees with cross-shard premiums
  • ✓
    Privacy Hooks — Future commitment-based privacy layer
  • ✓
    Safety Invariants — Runtime validation of correctness properties

Implementation Status

✓Core Ledger Operationscomplete
✓AssetId & Registrycomplete
✓ZK Integrationcomplete
✓Committee Shardingcomplete
✓Safety Invariantscomplete
⟳Property-Based Testingin progress
○SDK & Examplesplanned
⚡

Committee Sharding

Parallel execution via deterministic BLAKE3 shard assignment

  • • No conflicts: O(1)
  • • Cross-shard: 2-3x fee
  • • 10 shards default
🔐

ZK Verification

Every ledger operation proven via public inputs

  • • Burn: 36 tests
  • • Transfer: proven
  • • NFT: supported
💰

Fee Model

USD-indexed with cross-shard premiums

  • • Transfer: 500 gas
  • • Mint: 400 gas
  • • Burn: 400 gas

Test Coverage

Execution Tests (121 passing)

  • • Ledger operations: 35
  • • Gas metering: 8
  • • Privacy hooks: 5
  • • Invariants: 16

ZK Circuit Tests (36 passing)

  • • Ledger circuit: 7
  • • Execution bridge: 3
  • • Mock backend: 5

Developer Resources

Quick Start Guide

Get started with native balance operations

→ Read docs

Asset Registry

Register and manage fungible & non-fungible assets

→ Read docs

Safety Invariants

Enforced correctness properties

→ Read docs

ZK Integration

Ledger circuits and public inputs

→ Read docs