Grant Proposal: Iron Shrimper — Versioning Nullifier for Private State Migration
Title: Iron Shrimper: Private Marine Oracle & State Migration Research
Team Lead: StationaryDev37 (GitHub: StationaryDev37)
Contact Details: [Your Email/Telegram Here]
Grant Track: Application State Migration ($60k Pool) / Wave 3 Noir Grants
1. Project Abstract
Iron Shrimper is a privacy-preserving dApp on Aztec allowing marine logistics providers to verify catch legitimacy without revealing proprietary GPS “honey holes.” Utilizing Noir circuits, we generate ZK-proofs of location compliance. This project serves as a live testbed for Private State Migration: researching how long-term private historical data (Logbooks) persists when the underlying “Fishing Zone” contracts are upgraded.
2. The Problem (State Migration Focus)
Privacy vs. Upgradability: Commercial fishermen keep logs for years. If “Legal Zone” contract definitions change, how do we migrate old private Logbook notes to verify against new rules without forcing users to decrypt and re-encrypt their entire history?
The “Orphaned Note” Risk: Current L2 privacy models risk “orphaned” user data during contract upgrades. Iron Shrimper solves this by decoupling the Storage Contract (Logbook) from the Logic Contract (Verifier).
3. The Solution: Noir-Powered “Proof of Catch”
Migration Mechanism (The Innovation): We are building a “Versioning Nullifier” pattern. When the protocol upgrades, the user’s client-side PXE generates a proof that their old notes are valid under previous rules and “re-mints” them into the new contract version in a single atomic transaction. This ensures the fisherman’s history is preserved privately across network upgrades.
4. Technical Architecture
Language: Noir (v0.25+)
Logbook.nr: Persistent private storage (The “State” to be migrated).
Migration Circuit: A specific circuit designed to consume Note_V1 and output Note_V2 only if the user possesses the correct spending key.
5. Funding Request & Milestones
Amount Requested: $5,000 (Initial Phase)
Milestone 1: Finalizing the geo_spatial_check Noir circuit ($2,500).
Milestone 2: Delivering a working reference implementation of a “Migratable Private Logbook” on Aztec Sandbox ($2,500).
6. Team Qualifications
StationaryDev37: 37-year-old domain expert.
Marine & Industrial Authority: Started commercial shrimping at age 15.
Supply Chain Operations: Former Quality Control Lead & Certified Equipment Trainer for major logistics chains. Selected for Polaris Industries’ East Coast export division launch.
Precision Engineering: 5 years as a Steam Turbine Millwright.
Relevance: I am not a theoretical dev. I have manually audited massive supply chains and repaired heavy turbines. I am building Iron Shrimper because I know exactly where the manual logs fail, and I have the discipline to build the cryptographic solution.