ZK Proofs on Soroban: Recovery + Privacy Bundle

A proposal to the Stellar Development Foundation.

📄 Read the rendered proposal: https://theahaco.github.io/sdf-zk-proposal/

The Pages site renders the Mermaid architecture and sequence diagrams as visuals; the GitHub markdown viewer renders them too if you read SDF_PROPOSAL.md directly.

Files

File	Purpose
SDF_PROPOSAL.md	Canonical proposal (single document, executive summary + 13 sections + crypto-params and prior-art appendices)
SDF_PROPOSAL.docx	Word version generated by pandoc
index.md, _config.yml	Jekyll wrapper and config for the GitHub Pages site

Two pillars

• Pillar 1 — g2c: ZK account recovery as a universal Soroban Smart Account primitive (BIP-39 seed + Poseidon2 commitment + 30-day time-locked rotation, plugged into OpenZeppelin's do_check_auth pipeline).
• Pillar 2 — neftwerk: ZK privacy circuits for the ARTS-1 token standard ("private title, public provenance"), with the same recovery primitive as Pillar 1.

Bundled because the two pillars share one substrate (Noir + UltraHonk + Poseidon2 + BN254 + Soroban 26.x). Funded as one $190k / 14-week grant with hard track separation between Pillar 1 and Pillar 2 disbursements.