Roadmap: it builds & tests pass — open contributions to finish HIMSHA

[himanshu64]

It builds, and the tests are green — come help finish it 🛠️

Someone once said nobody could build this. It's built: the workspace compiles and
182 tests pass (cargo test --workspace), with an enforced core security model.
HIMSHA is fully open source — use it, test it, break it, and contribute.

This is an educational proof of concept (see the README disclaimer). What follows is
an honest map of what's done vs. what's still open — pick anything and open a PR.

✅ Done & enforced (tested)

• BIP-340 Schnorr transaction signature verification
• Replay protection (signed recent_blockhash + chain_id, txid dedup)
• Writable account enforcement · CPI-depth limit · atomic per-tx state
• ZK receipt binding gate (native integrity)
• Programs: system, token, ATA, swap (AMM), lending, money-market (interest-bearing
  cToken lending), yield vault (CPI lending strategy), NFT-metadata, runes, oracle

🧪 Open contributions (the "Under testing / partial" list)

Each is a real, scoped piece — great first issues:

• ZK proving soundness — wire the --features zkvm RISC Zero path so receipts are
  cryptographically proven (and proof_bytes carries a re-verifiable seal, not the journal).
• Account owner enforcement — thread each program's id through so only the owning
  program may write (writability is already enforced).
• Compute metering — bound in-program compute on the native path (CPI depth is bounded today).
• Execution timing — move execution to block-inclusion time (per-tx writes are already atomic).
• Bitcoin L1 anchoring — commit block/state roots to Bitcoin.
• Consensus replication — add log replication / commit index (election safety exists today).
• Threshold custody — wire the FROST/Taproot committee into live settlement (replace the single hot wallet).
• Lightning — verify the LND integration end-to-end.

See the Implementation Status table in the README
and CONTRIBUTING.md. New here? The cost/hardware guide
(docs/deployment/cost-estimates.md) shows you can
even run a node on a Raspberry Pi.

Comment below with what you'd like to take. 🙌