Reproduce a portfolio exit rule on Arbitrum Sepolia: enter market inputs, inspect Vyper contract outputs, and verify the deployed runtime codehash against recorded Python backtest examples.
Zap Pilot’s Verifiable Strategy Calculator makes one portfolio decision rule independently reproducible. Supply prices, 200-day moving averages, allocations, and prior rule state; a public Vyper contract on Arbitrum Sepolia returns the allocation decision through read-only calls.
The calculator includes a recorded 2025-10-18 example, editable scenarios, exact 18-decimal input encoding, and before/after allocations. The client checks deployed runtime bytecode against a pinned codehash before calling the contract. Rabby lets users deploy the deterministic research contract with test ETH without exposing private keys to the app.
Scope: one cross-down exit rule out of six production rules. This proves contract output for supplied inputs; it does not authenticate market data, prove historical production execution, custody funds, or execute trades.
Built with Arbitrum Sepolia, Vyper 0.4.3, CREATE2, Rabby/EIP-6963, viem, React, Next.js, TypeScript, Python, and Vitest.
During the submission period we developed the Vyper DMA cross-down research slice, pinned compiler artifacts, Python/EVM parity checks, recorded-input export, exact decimal encoding, and an interactive calculator. We added Rabby wallet discovery and deterministic CREATE2 deployment on Arbitrum Sepolia, with chain, factory and runtime-codehash checks.
The existing Zap Pilot production strategy and backtest infrastructure are prior work. The submitted research slice covers one of six rules; it does not execute trades. Deployment and public frontend publication are the remaining release steps.