Why This Fits Stellar Hacks
AidShield closes the exact gap the hackathon describes: proofs are generated off-chain, verified by a Stellar smart contract, and used to control a real settlement workflow.
Hackathon Alignment Map
Circom + snarkjs generate a Groth16 proof in the beneficiary browser.
Soroban verifier contract checks the BLS12-381 Groth16 proof before payout.
Aid moves from XLM escrow to a beneficiary wallet or approved vendor.
No valid proof means no settlement, no voucher redemption, and no successful claim.
Escrow, nullifier, contract IDs, claim count, and settlement transaction stay auditable.
Names, IDs, Merkle path, credential secret, and aid-list membership stay off-chain.
Protocol Stack
Verification Anchors
The Standout Claim
ZK AidShield turns Stellar into a privacy-preserving crisis-aid settlement rail: beneficiaries prove eligibility privately, Soroban verifies the proof, XLM settles from escrow, and donors audit outcomes without seeing the beneficiary list.