Viri Blockchain — v0.1.0-testnet

A production-grade 3-layer modular blockchain built in Go.
L1 HotStuff-2 BFT consensus + L2 EVM/WASM execution + L3 governance/bridge/interop.

What's Included

• L1: HotStuff-2 BFT consensus with TLA+ formal verification (34M+ states, Byzantine model, zero violations), P2P networking, Merkle-Patricia trie state, encrypted keystore
• L2: Full EVM implementation (all standard opcodes), WASM runtime, Groth16 ZK prover/verifier, EIP-1559 gas oracle, account abstraction (ERC-4337), MEV-resistant sequencing, shielded privacy pool, rollup challenge protocol
• L3: On-chain governance DAO, multi-sig cross-chain bridge, IBC-like interop channels, intent solver network, REST API with rate limiting, AppChain management
• Jepsen-style fault injection: Network partition, process kill, pause, clock skew — all safety checks passing
• Fuzz testing: 17 harnesses covering crypto, EVM, consensus, ZK, state
• Monitoring: Prometheus/Grafana/Alertmanager stack with 8 alert rules
• Azure Terraform: One-command deployment to Azure (7 VMs)
• TLA+ Formal Verification: HotStuff-2 BFT consensus verified across 5 invariants under all-honest + Byzantine fault model

Quick Start

git clone https://github.com/RockyOmvi/Viri.git
cd Viri
make build
./build/virid --validator --chain-id 1337 --data-dir ./data --rpc-port 8545

Test Results

• 44 packages, 0 failures
• 17 fuzz harnesses, 0 crashes
• TLA+: 34M+ states, 3.1M+ distinct, zero safety violations
• Jepsen: 4 nemesis types, all safety checks pass