Protocol Comparisons

BTC ←→ ZEC ←→ DOGE
     NEXUS

┌─────────────────────────────────────────────────────────────┐
│                    NEXUS on Zcash                           │
├─────────────────────────────────────────────────────────────┤
│  1. NEXUS executes WASM contracts off-chain                 │
│                     ↓                                       │
│  2. Generates Groth16 proof of correct execution            │
│                     ↓                                       │
│  3. Submits proof to Zcash L1 transaction                   │
│                     ↓                                       │
│  4. Zcash nodes VERIFY proof on-chain (native!)             │
│                     ↓                                       │
│  5. Invalid proofs rejected by consensus                    │
└─────────────────────────────────────────────────────────────┘

Base Fee Adjustment:
- Block > 40% full → base fee increases (up to 12.5%)
- Block < 40% full → base fee decreases (up to 12.5%)
- Block = 40% full → base fee unchanged

┌─────────────────────────────────────────┐
│           NEXUS Vault (2-of-2)          │
├─────────────────────────────────────────┤
│  Normal Path: User + Protocol sign      │
│       ↓                                 │
│  Instant withdrawal                     │
│  ─────────────────────────────────────  │
│  Exit Path: User's pre-signed tx        │
│       ↓                                 │
│  2-week timelock → Funds to user        │
└─────────────────────────────────────────┘

// Solidity-style mappings
static BALANCES: Mapping<Address, U256> = Mapping::new(b"bal");
static ALLOWANCES: DoubleMapping<Address, Address, U256> = DoubleMapping::new(b"allow");

// SafeMath operations
let sum = a.add(b);  // Reverts on overflow
let diff = a.sub(b); // Reverts on underflow

// Reentrancy protection
nexus_fn! {
    fn withdraw(amount: U256) {
        let _guard = ReentrancyGuard::new();
        // Protected logic
    }
}

// Context access (like Solidity's msg.sender)
let sender = Blockchain::msg.sender();
let value = Blockchain::msg.value();

// Register template at VM level
processor.register_template("amm_pair", pair_wasm_bytes);

// Deploy from template in contract
let pair_id = xcc::deploy_template("amm_pair", &init_args, &salt);