hackquest logo

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.

ビデオ

プロジェクト画像 1
プロジェクト画像 2
プロジェクト画像 3

テックスタック

Solidity
Rust
React
Next
Web3
Python
Node
Arbitrum Stylus

説明

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

チームリーダー
NNova
プロジェクトリンク
エコシステムをデプロイ
Arbitrum OneArbitrum One
業界
DAOAIDeFiOther