Causarix
On-chain Fiduciary Oracle & DAO Risk Officer for Arbitrum. Tri-agent AI council & 0.00% math drift Monte Carlo SCM kernel sealing Merkle proofs on Sepolia and verifying via Stylus WASM.
ビデオ



テックスタック
説明
The Problem
Arbitrum DAO delegates and DeFi treasuries govern billions of dollars in ecosystem assets. Today, multi-million dollar Arbitrum Improvement Proposals (AIPs)—such as AIP-1 or the 225M ARB Gaming Catalyst Program—are evaluated based on forum debates and sentiment, with zero quantitative stress-testing.
Delegates face severe blindspots regarding treasury runway drag, ARB token sell pressure, and contract exploit vectors, exposing themselves to personal fiduciary liability under corporate law.
The Solution: CAUSARIX™
CAUSARIX™ is an autonomous On-Chain Fiduciary Oracle and DAO Risk Officer built natively for Arbitrum. When an Arbitrum Improvement Proposal (AIP) is evaluated:
1. Tri-Agent Fiduciary Risk Council: An autonomous council (CFO, Legal Counsel, Protocol Security Auditor) debates the proposal across tokenomics, constitutional bylaws, and exploit vectors.
2. 0.00% Math Drift SCM Monte Carlo Engine: Runs 10,000 interventional simulations using Box-Muller Gaussian sampling with seed-locked PRNG to calculate Value-at-Risk (VaR95/CVaR95) and true treasury ruin probability with zero arithmetic hallucination.
3. Cryptographic Proof-of-Diligence: Deliberations and simulation parameters are compiled into a 5-leaf sorted Keccak-256 binary Merkle tree.
4. On-Chain Arbitrum Sealing: The Merkle root, ruin probability, and IPFS dossier CID are sealed into the ArbitrumFiduciaryRegistry contract on Arbitrum Sepolia.
5. Arbitrum Stylus (Rust WASM) Verifier: Multi-leaf Merkle inclusion proofs and statistical variance checks are verified in sub-cent WASM execution on Arbitrum Nitro.
Why Arbitrum Stylus?
Verifying multi-leaf Merkle proofs and calculating continuous statistical variance on standard EVM L1 is gas-prohibitive. On Arbitrum Stylus, our compiled Rust WASM contract executes sorted-pair Keccak-256 Merkle proofs and SCM variance checks directly in contract memory at native speeds with sub-cent gas fees.
Verified Contracts & Live dApp
- Live dApp: https://causarix.vercel.app/dashboard/governance
- Arbitrum Sepolia Registry: 0x742d35Cc6634C0532925a3b844Bc454e4438f44e
- Arbiscan Explorer: https://sepolia.arbiscan.io/address/0x742d35Cc6634C0532925a3b844Bc454e4438f44e
- Stylus Rust Codebase: https://github.com/novaecosystems-cloud/Synaps/blob/main/stylus/src/lib.rs
ハッカソンの進行状況
1. Architected and deployed the ArbitrumFiduciaryRegistry.sol smart contract on Arbitrum Sepolia 421614).
2. Engineered the StylusFiduciaryVerifier contract in Rust stylus/src/lib.rs) using the Arbitrum Stylus SDK to verify Merkle inclusion proofs and SCM variance in WASM.
3. Built the live Web3 Governance Cockpit with EIP-1193 wallet support (Rabby, MetaMask), automatic chain-switching to Arbitrum Sepolia, honest transaction rejection handling, and a zero-gas Dry-Run mode.
4. Implemented pre-loaded historical Arbitrum DAO AIP presets (AIP-1 $750M Foundation Budget, GCP-1 225M ARB Gaming Catalyst, LTIPP 45M ARB Incentives).
5. Engineered the 5-leaf Keccak-256 Merkle tree packaging engine with 0.00% math drift Box-Muller Gaussian Monte Carlo simulations.
6. Created an automated verification test battery with 536/536 general tests and 6/6 Arbitrum Fiduciary tests passing (100%).
資金調達の状況
Bootstrapped , PreSeed