[ Autonomous Execution ]

ERC-7579 Smart Account Guard

Turn Tereno into the native onchain firewall of your agent's modular smart account. Intercepts swaps and interactions before execution, verifying cryptographic EIP-712 proofs and blocking honeypots automatically.

Instead of relying on autonomous agents remembering to perform manual HTTP preflight checks, ERC-7579 enables modular smart contract wallets (Safe7579, Biconomy Nexus, Kernel v3, ZeroDev) to enforce security rules at the account level. The TerenoGuardHook module runs directly inside your agent wallet's execution pipeline.

Execution Pipeline

When an agent or automated session key triggers a transaction on Base:

1. Pre-Check Interception: The smart account calls TerenoGuardHook.preCheck() before state changes occur.
2. Target Code & Safety Audit: The hook inspects the interaction target against Tereno's canonical security proofs (VerdictProof).
3. Enforced Reversion: If the target contract was flagged as a honeypot, pause trap, or cabal cluster (verdict: "block"), the transaction reverts onchain before any funds or gas are lost.

Deployed Module Addresses

Network	CAIP-2	Contract Address	Type
Base Mainnet	`eip155:8453`	`0x7579c4a8E161C689d71c4c8A72B8D361F89C402E`	ERC-7579 Hook (Type 4)
Base Sepolia	`eip155:84532`	`0x7579bA78e25dAc4aE612056B4e321e9C3e7C921F`	ERC-7579 Hook (Type 4)

Installing the Module

Safe (Safe7579)

Install the hook into your agent's Safe smart account using the standard module manager:

typescript

import { installModule } from "@rhinestone/module-sdk";

const installTx = installModule({
  client,
  account: safeAccount,
  module: {
    type: "hook",
    address: "0x7579c4a8E161C689d71c4c8A72B8D361F89C402E",
    initData: "0x",
  },
});
await safeAccount.sendTransaction(installTx);

Biconomy (Nexus)

Configure Nexus accounts to route executions through the Tereno guard:

typescript

await nexusClient.installModule({
  moduleAddress: "0x7579c4a8E161C689d71c4c8A72B8D361F89C402E",
  type: "hook",
  data: "0x",
});

3
Inspect Module Metadata API
Smart wallet orchestrators can query module parameters, ABI, and attester coordinates programmatically via:
shell
```
curl -s https://www.tereno.xyz/api/erc7579/module | jq .
```

Why Modular Agents Use Onchain Hooks

Zero Human In The Loop: Session keys and background trading agents cannot inadvertently drain the account on malicious tokens.
EIP-712 Cryptographic Binding: Smart contracts verify proofs directly via ecrecover against Tereno's canonical agent (agentId: 63721).
Shared Defense Economics: If another agent previously paid to audit a token, your smart account reuses the verified verdict instantly.