Self-healing nodes for web3

Ethereum execution client written in the Elixir language. If a supermajority client has a bug, the chain finalizes bad state. The BEAM runtime can swap signature verification on live validators without restarting.

ETH's friendly dark pool. You sign an intent, our solvers fill it privately, and a ZK proof clears compliance before settlement. Settles to L1 stealth addresses (ERC-5564) or Aztec L2 shielded notes. Running on 5 chains.

Zero-Knowledge Suspicious Activity Reports. Regulators can verify you're clean without seeing the trade. Six proof types covering sanctions, risk scoring, structuring detection, and retroactive proof-of-innocence. An EIP draft so the next privacy protocol doesn't get sanctioned like Tornado Cash.

ZKSAR reference implementation. Generates zero-knowledge compliance proofs client-side using Noir circuits compiled to UltraHonk. TypeScript, runs on any EVM chain.

Payment routing for AI agents in Elixir. x402 protocol, multi-party payments, agent-to-agent settlement. Built to be the terminal interface for your Gundam.

The crypto libraries behind Xochi, published as @xochi/shared. The interesting bit: ERC-5564 stealth addresses composed with ERC-4337 account abstraction and paymaster sponsorship for gasless claiming.