zkFold Smart Wallet Contracts

Public smart contract source for Smart Wallet.

This repository contains the EVM and Cardano contract implementations, contract tests, verification fixtures, and gas/execution-budget reports needed to inspect and reproduce the contract builds.

Layout

• evm/: Foundry Solidity project.
• cardano/: Aiken validator workspace.
• test-vectors/: protocol fixtures used by contract tests.
• scripts/: contract-only helper scripts for Cardano fixtures and budget checks.
• docs/gas/: gas and execution-budget reports.

Toolchains

EVM contracts are built with Foundry and Solidity 0.8.30.

Cardano validators use Plutus V3 and currently require a pinned Aiken build that exposes the exp_mod_integer builtin:

aiken v1.1.23+115682a

Install that temporary Aiken build as documented in cardano/README.md.

Checks

pnpm install
pnpm run ci

Run chain-specific checks with:

pnpm run evm:test
pnpm run cardano:test
pnpm run cardano:contract-test
pnpm run cardano:budget

Verification Artifacts

The Cardano blueprint is committed at cardano/plutus.json. Rebuild it with:

pnpm run cardano:build

Current gas and execution-budget reports are in docs/gas.

License

EVM Solidity files carry MIT SPDX identifiers. The Cardano Aiken package declares Apache-2.0 in cardano/aiken.toml.