feat: add nulla cross-chain firewall demo

Author: beautifulrem

.env.example

@@ -0,0 +1,45 @@
+ETH_SEPOLIA_RPC_URL=
+BASE_SEPOLIA_RPC_URL=
+LASNA_RPC_URL=
+ETH_SEPOLIA_CHAIN_ID=11155111
+BASE_SEPOLIA_CHAIN_ID=84532
+LASNA_CHAIN_ID=5318007
+REACTIVE_DEPLOY_VALUE=3000000000000000000
+
+ETH_SEPOLIA_PRIVATE_KEY=
+BASE_SEPOLIA_PRIVATE_KEY=
+LASNA_PRIVATE_KEY=
+DEMO_SAFE_OWNER_PRIVATE_KEY=
+
+DEMO_SAFE_SHARED_ADDRESS=0x23BB5F9b7D50f2ecdE6305E6cdB71c1e7Ba698F0
+DEMO_SAFE_OWNER_ADDRESS=0xbA64397d50D71fE0c38a86B51fc77BedB580C8A4
+
+ETH_SEPOLIA_CALLBACK_PROXY_ADDRESS=0xc9f36411C9897e7F959D99ffca2a0Ba7ee0D7bDA
+BASE_SEPOLIA_CALLBACK_PROXY_ADDRESS=0xa6eA49Ed671B8a4dfCDd34E36b7a75Ac79B8A5a6
+SAFE_SINGLETON_ADDRESS=0x41675C099F32341bf84BFc5382aF534df5C7461a
+SAFE_PROXY_FACTORY_ADDRESS=0x4e1DCf7AD4e460CfD30791CCC4F9c8a4f820ec67
+SAFE_FALLBACK_HANDLER_ADDRESS=0xfd0732Dc9E303f09fCEf3a7388Ad10A83459Ec99
+
+NULLA_REGISTRY_ADDRESS=
+ETH_TOKEN_ADDRESS=
+BASE_TOKEN_ADDRESS=
+ETH_SERVICE_ADDRESS=
+BASE_SERVICE_ADDRESS=
+ETH_MODULE_ADDRESS=
+BASE_MODULE_ADDRESS=
+ETH_GUARD_ADDRESS=
+BASE_GUARD_ADDRESS=
+REACTIVE_LASNA_ADDRESS=
+
+CRON10_TOPIC0=0x04463f7c1651e6b9774d7f85c85bb94654e3c46ca79b0c16fb16d4183307b687
+CRON_TICK_DIVISOR=10
+SHIELD_DURATION_TICKS=10
+CALLBACK_GAS_LIMIT=500000
+DESTINATION_DEPLOY_VALUE=10000000000000000
+
+DEFAULT_ALLOWED_SPENDER=0x0000000000000000000000000000000000000000
+DEFAULT_ALLOWED_CAP=100000000
+DEFAULT_BLACKLISTED_SPENDER=0x301E4F2bA24b4C009BfDCc5F7F192f6A0f9C8e8d
+
+DEMO_RISK_SPENDER=
+DEMO_RISK_AMOUNT=150000000

.github/workflows/test.yml

@@ -0,0 +1,38 @@
+name: CI
+
+permissions: {}
+
+on:
+  push:
+  pull_request:
+  workflow_dispatch:
+
+env:
+  FOUNDRY_PROFILE: ci
+
+jobs:
+  check:
+    name: Foundry project
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+    steps:
+      - uses: actions/checkout@v5
+        with:
+          persist-credentials: false
+          submodules: recursive
+
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+
+      - name: Show Forge version
+        run: forge --version
+
+      - name: Run Forge fmt
+        run: forge fmt --check
+
+      - name: Run Forge build
+        run: forge build --sizes
+
+      - name: Run Forge tests
+        run: forge test -vvv

.gitignore

@@ -0,0 +1,21 @@
+# Compiler files
+cache/
+out/
+
+# Ignores development broadcast logs
+!/broadcast
+/broadcast/*/31337/
+/broadcast/**/dry-run/
+
+# Docs
+# docs are tracked in this repo
+
+# Dotenv file
+.env
+web/.env.local
+
+# Frontend build artifacts
+web/node_modules/
+web/.next/
+web/test-results/
+web/tsconfig.tsbuildinfo

.gitmodules

@@ -0,0 +1,12 @@
+[submodule "lib/forge-std"]
+	path = lib/forge-std
+	url = https://github.com/foundry-rs/forge-std
+[submodule "lib/reactive-lib"]
+	path = lib/reactive-lib
+	url = https://github.com/Reactive-Network/reactive-lib
+[submodule "lib/safe-smart-account"]
+	path = lib/safe-smart-account
+	url = https://github.com/safe-global/safe-smart-account
+[submodule "lib/openzeppelin-contracts"]
+	path = lib/openzeppelin-contracts
+	url = https://github.com/OpenZeppelin/openzeppelin-contracts

AGENTS.md

@@ -0,0 +1,28 @@
+# Repository Guidelines
+
+## Project Structure & Module Organization
+This repository is a minimal Foundry project for Ethereum smart contracts. Core contracts live in `src/`, deployment and broadcast scripts live in `script/`, and tests live in `test/`. Third-party dependencies are vendored in `lib/`, currently including `forge-std`. Foundry outputs build artifacts to `out/`, as configured in `foundry.toml`; treat generated output as disposable unless a task explicitly requires it.
+
+## Build, Test, and Development Commands
+Run all local commands through `rtk`, per workspace instructions.
+
+- `rtk forge build`: compile contracts.
+- `rtk forge build --sizes`: compile and report contract size, matching CI.
+- `rtk forge test -vvv`: run the full test suite with verbose traces.
+- `rtk forge fmt`: format Solidity files.
+- `rtk forge fmt --check`: verify formatting without rewriting files.
+- `rtk forge snapshot`: record gas snapshots when gas changes matter.
+- `rtk anvil`: start a local EVM node for manual testing.
+- `rtk forge script script/Counter.s.sol:CounterScript --rpc-url <RPC_URL> --private-key <KEY>`: run a deployment script.
+
+## Coding Style & Naming Conventions
+Use Solidity `^0.8.13`, matching the current codebase. Follow `forge fmt` output for spacing and line wrapping; the existing code uses 4-space indentation. Name contracts in `PascalCase` (`Counter`), state variables and functions in `camelCase` (`setNumber`, `increment`), and test files with the `.t.sol` suffix. Keep one primary contract per file where practical, and place deployment scripts in files ending with `.s.sol`.
+
+## Testing Guidelines
+Tests use Foundry’s `forge-std/Test.sol`. Add unit tests in `test/` alongside the feature they validate, and prefer descriptive names such as `test_Increment()` and `testFuzz_SetNumber(uint256 x)`. Cover happy paths, reverts, and relevant fuzz cases for state-changing logic. Before opening a PR, run `rtk forge fmt --check`, `rtk forge build --sizes`, and `rtk forge test -vvv`.
+
+## Commit & Pull Request Guidelines
+This repository currently has no commit history, so no established convention can be inferred yet. Use short, imperative commit subjects, ideally scoped by area, for example: `feat: add ownership checks` or `test: cover counter underflow guard`. PRs should include a concise summary, testing notes, linked issues when applicable, and command output or screenshots only when they help explain behavior changes.
+
+## Security & Configuration Tips
+Do not commit private keys, RPC URLs, or `.env` secrets. Pass credentials through environment variables or CLI flags during local runs. Treat `lib/` as external code: avoid editing vendored dependencies unless the task explicitly requires a dependency update.

README.md

@@ -0,0 +1,66 @@
+## Foundry
+
+**Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.**
+
+Foundry consists of:
+
+- **Forge**: Ethereum testing framework (like Truffle, Hardhat and DappTools).
+- **Cast**: Swiss army knife for interacting with EVM smart contracts, sending transactions and getting chain data.
+- **Anvil**: Local Ethereum node, akin to Ganache, Hardhat Network.
+- **Chisel**: Fast, utilitarian, and verbose solidity REPL.
+
+## Documentation
+
+https://book.getfoundry.sh/
+
+## Usage
+
+### Build
+
+```shell
+$ forge build
+```
+
+### Test
+
+```shell
+$ forge test
+```
+
+### Format
+
+```shell
+$ forge fmt
+```
+
+### Gas Snapshots
+
+```shell
+$ forge snapshot
+```
+
+### Anvil
+
+```shell
+$ anvil
+```
+
+### Deploy
+
+```shell
+$ forge script script/Counter.s.sol:CounterScript --rpc-url <your_rpc_url> --private-key <your_private_key>
+```
+
+### Cast
+
+```shell
+$ cast <subcommand>
+```
+
+### Help
+
+```shell
+$ forge --help
+$ anvil --help
+$ cast --help
+```