Autonomous. Secure. Focused. Infrastructure for financial agents that never sleep and never get distracted.
The security layer for the agent economy in the Machine Economy.
Give an AI agent a wallet and it becomes a liability: it can be tricked, jailbroken, or misconfigured into moving funds it shouldn't. xB77 bounds it with math it can't exceed a semantic constitution it cannot violate, a scoped session key it cannot outspend, and a zero-knowledge receipt that proves both, enforced on-chain in Arbitrum Stylus, compiled directly from Zig to WASM, no Rust SDK, no trust in the model.
Live today: 9 Stylus contracts . Constitution gate, full UltraPlonk and Groth16 ZK verifiers, a VerifierRegistry with EigenLayer AVS hooks, a settlement anchor, and Aave/GMX execution guards deployed and exercising real transactions on both Arbitrum Sepolia and Robinhood Chain testnet. The 2.011% infra tax is enforced atomically: the same transaction that verifies the ZK proof requires msg.value to equal the exact amount the circuit proved, or it reverts.
Privacy. Enforcement. Proof. This is real infrastructure for the machine economy.
Went from "the ZK verifiers exist locally" to a live, atomically-settling, multi-chain product in one week: - Constitution gate actually runs on-chain now — it wasn't executing before; fixed the missing pay_for_memory_grow call and an ABI mismatch so the semantic check (reject/approve by cosine similarity) is real, not mocked. - verifyAnchorAndSettle — verify the ZK proof, anchor the root, and collect the 2.011% infra tax, all in one atomic transaction. Deployed live on Arbitrum Sepolia (1b60f20). - aave_guard + gmx_guard deployed live and wired to the constitution gate; ran a behavioral acceptance test that passed on-chain — the guard blocks disallowed actions at execution time, not just intent-check time (8654b95, 1ffac1b). - anchor_v2 (multi-tenant) deployed live on both Arbitrum Sepolia and Robinhood Chain, with a no-interference test proving one tenant's state can't leak into another's (3a6a8e0, b620dfe, 5af323b). - x402 payment rail: self-hosted facilitator running natively on Arbitrum Sepolia, then extended to accept any ERC-20 via Permit2 witness signing instead of just USDC/EIP-3009 — round-tripped a real USDC settlement on-chain (fba72a1, d69e579, 83690b6). - Shipped a one-URL deploy: dashboard + agent API in a single container, published to GHCR via CI (9c5c24f, 679dc5a). - Closed the week by deploying the full 9-contract stack (constitution, both ZK verifiers, VerifierRegistry, settlement engine, anchor, both guards) to Robinhood Chain testnet and re-running the same verify+anchor+settle flow there with a real transaction — today. Two real atomic settle transactions, not simulations: - Arbitrum Sepolia: https://sepolia.arbiscan.io/tx/0xb1f9ca68a5c31b95a2c4b4f4c2c262b8c61afb07d16d5a90ea4a0776e96bbab9 - Robinhood Chain: https://explorer.testnet.chain.robinhood.com/tx/0x54978a2d745342bde51c804d0d89baad8dc2c492caacf702b95dff7bbb8486dc > (The BN254 pairing math underneath — the Groth16 and full Barretenberg UltraPlonk verifiers in Zig→WASM — was built earlier in the project, in late May/June. Not new this week, but it's the foundation this week's atomic settlement flow runs on.)
None. Zero funding yet. But hoping to build something useful.
