BridgeSeal

Lean ile doğrulanan, attested/custodial eERC ↔ Zcash testnet köprüsü.

Durum: aktif hackathon geliştirmesi. Bu depo IronSeal değildir; eERC, Zcash interoperability ve formal verification üçlüsünü aynı çalışan dikey kesitte birleştirmek için ayrı oluşturulmuştur.

Doğrulanan kapsam

Yerel dikey kesit uçtan uca çalışır: bağımsız Rust reducer ve pinned Lean checker aynı tam state'i üretmeden v2 EIP-712 authorization oluşmaz; BridgeGateway authorization'ı tüketir, wZEC mint eder ve resmi EncryptedERC converter gerçek production registration/withdrawal zkey'leriyle encrypted balance üretip geri çeker. Fail-closed saldırı paketi ve official upstream 109 test geçer.

Gerçek Zcash public-testnet legacy output'u 18b56d1d…9825446c:0, 10,000,000 zat olarak gözlendi ve hiçbir zaman authorize/mint edilmedi. Faucet cooldown'u bypass etmek yerine bu değer açıkça disclosed bir custodial rollover ile, recipient-signed intent'in ab09211 predeposit commit'inden sonra yeni 548a9e8da70a678ef5d62927938ca4a0d9e3b6cff7e3297884914a9e0a41c593:0 output'una taşındı: 9,990,000 zat, height 4,280,385. Successor exact Zebra UTXO sandwich'i ve mandatory Rust+Lean full-state gate'ini online geçti; claim/intent journal'da one-shot reserve edildi ve EIP-712 authorization üretildi. Bu net-new custody veya reserve proof değildir. İlk short-lived authorization claim edilmeden expire oldu ve aynı reserved output tekrar kredilendirilemez. Exact production-artifact stack daha sonra nonce 0..8 ile gerçek Avalanche Fuji'ye deploy edildi; dokuz receipt canonical ve tüm runtime/getter kontrolleri geçti. wZEC supply hâlâ sıfırdır; mint veya converter deposit yapılmadı. Height 4,280,442 anchor'ındaki exact 100,000 zat bağımsız fresh-inflow intent'i recipient tarafından precommit edildi ve ayrı operator wallet'tan funding transaction broadcast edildi; output henüz mined olmadığından deposit/authorization iddiası yoktur. Canonical Zcash payout future work'tür.

Sistem attested/custodial public-testnet araştırma prototipidir; trustless veya production değildir. Ayrıntılar: docs/mint-authorization-v2.md, docs/deployment-fuji.md ve docs/fuji-vertical-slice.md.

Tek cümlede

BridgeSeal, Zcash public testnet'te kesin bir txid:vout custody deposit'ini Zebra ile gözlemler; aynı append-only lifecycle trace'ini bağımsız Rust reducer ve Lean checker kabul etmeden Avalanche Fuji'de wZEC mint authorization üretmez. Kullanıcı mint edilen wZEC'i resmi Ava Labs EncryptedERC converter kontratına yatırarak encrypted eERC bakiyesine dönüştürür. Ters yönde converter withdrawal sonrasında wZEC burn edilmeden Zcash payout authorization üretilmez.

Neden converter modu?

Official EncryptedERC standalone privateMint/privateBurn, mevcut public surface'te özel miktarı bir Zcash bridge claim ID'sine bağımsız olarak bağlamaz. Bunu görmezden gelmek yerine:

1. Bridge liability'yi 1 wZEC unit = 1 zatoshi olacak şekilde açık ERC-20 supply olarak tutuyoruz.
2. Official converter wZEC'i escrow'a alıp encrypted eERC balance üretir.
3. Converter içindeki private transferler bridge liability'sini değiştirmez.
4. Reverse leg'de kullanıcı converter'dan wZEC çıkarır, gateway'de burn eder ve ancak bundan sonra Zcash payout lifecycle'ı başlar.

Bu tercih eERC'yi dekor değil gerçek data path yapar; fakat bridge deposit ve withdrawal miktarlarının privacy sağlamadığını da dürüstçe kabul eder.

Çalışan hedef akış

Zcash public testnet transparent deposit
  -> Zebra canonical block + confirmation evidence
  -> strict DepositKeyV1 / intent binding
  -> Rust reducer AND pinned Lean checker
  -> EIP-712 mint authorization
  -> BridgeGateway mint wZEC on Avalanche Fuji
  -> user approve + official EncryptedERC converter deposit
  -> encrypted eERC balance

Official EncryptedERC converter withdrawal
  -> public wZEC returned to user
  -> BridgeGateway redeem burns wZEC
  -> EVM finality evidence
  -> Rust reducer AND pinned Lean checker
  -> (future work) guarded Zcash testnet payout

İlk dikey kesit transparent Zcash deposit kullanır; çünkü txid:vout, script ve valueZat herkes tarafından Zebra üzerinden denetlenebilir. Shielded deposit sonraki kilometre taşıdır ve viewing-key watcher'ı TCB'ye ekler.

Formal verification

Lean checker offline rapor değildir. Korunan relayer yolunda karar:

rust_accept && lean_accept && same_full_state

olmadan attestation/mint/payout capability oluşmaz. Başlıca invariant'lar:

• aynı source output/log en fazla bir kez execute edilir;
• finality policy geçmeden mint veya payout yapılamaz;
• wrong-domain, wrong-recipient ve stale authorization reddedilir;
• revoke edilmiş claim execute edilemez;
• liability hiçbir kabul edilmiş state'te custody'yi aşamaz;
• deposit ve withdrawal lifecycle accounting denklemleri korunur.

Lean; gerçek RPC cevabını, Zcash consensus/cryptography'yi, ECDSA'yı, eERC circuit'lerini, custodian dürüstlüğünü veya gerçek rezervi kanıtlamaz. Bunlar TCB ve evidence boundary içinde açıkça belgelenir.

Gerçek entegrasyonlar

• Zcash: public testnet Zebra 6.2.3; canonical block/transaction observation.
• Wallet: released Zallet beta.2 path for dedicated testnet custody/payout.
• eERC: official ava-labs/EncryptedERC pinned at c7eb0e09bc9315e68c35d3c09f5dce4b794d0485, converter mode.
• Destination: Avalanche Fuji, chain ID 43113.
• Formal: Lean 4.19 executable checker plus Rust differential gate.

Tekrarlanabilir doğrulama

git submodule update --init --recursive
./scripts/test-differential.sh
./scripts/test-eerc.sh
npm run gate:eerc:production
npx --no-install tsc --project tsconfig.deployment.json --noEmit
npx --no-install hardhat test test/deployment/FujiDeploymentTool.test.ts
npm run test:fuji:vertical-slice
cargo clippy --workspace --all-targets -- -D warnings
cargo fmt --all -- --check

./scripts/demo.sh yalnız sentetik/local dikey kesiti gösterir. Canlı Fuji komutları default dry-run ve explicit write acknowledgement olmadan işlem göndermez.

Hiçbir canlı private key, RPC cookie, mnemonic, wallet database veya gerçek address fixture/repository içine alınmaz.

Dürüst claim

BridgeSeal; gerçek Zcash public-testnet deposit kanıtını, yerel çalışan official EncryptedERC converter akışını ve zorunlu Rust+Lean full-state admission gate'ini birleştiren attested/custodial araştırma prototipidir. Fuji deployment yolu doğrulanmış ve fail-closed'dur; canlı Fuji deployment henüz fonlanmamıştır.

İddia etmediklerimiz: trustless bridge, light-client proof, production/mainnet hazırlığı, protocol finality, end-to-end privacy, reserve proof, registration anchor'ının bağımsız kriptografik timestamp olduğu, canlı Fuji mint veya formally verified Zcash/eERC cryptography.

Depo düzeni

• crates/ — Zcash watcher, canonical evidence ve runtime gate
• formal/ — Lean model, executable checker ve theorem'ler
• contracts/ — wZEC ve BridgeGateway
• eerc/ — official converter integration adapter/test tooling
• vendor/EncryptedERC/ — exact pinned official upstream submodule
• formal/fixtures/ — synthetic safe/attack traces; canlı secrets içermez
• evidence/public/ — adres içermeyen sanitized network/proof evidence
• docs/ — architecture, threat model, claims ve testnet/deployment runbook

Türkçe video üretim paketi kasıtlı olarak Git dışında tutulur.

Lisans

BridgeSeal original code: Apache-2.0 OR MIT. Official EncryptedERC submodule: Ava Labs Ecosystem License 1.1; ayrıntılar için THIRD_PARTY_NOTICES.md.