What Proven Does

Proven is a habit-accountability app where participants stake tokens into a challenge escrow, submit daily proof, and get paid out according to completion performance. The on-chain program handles stake custody, settlement, and payout distribution.

On-Chain Program Snapshot

• Program name: proven_stake
• Program ID:
• Framework: Anchor on Solana
• Core on-chain file: programs/proven-stake/src/lib.rs
• Code size: 1,573 total lines (1,418 non-empty, ~1,283 non-comment)
• Instruction handlers: 15
• #[derive(Accounts)] context structs: 15
• Persistent state accounts: 3 (EscrowFactory, ChallengeEscrow, Participant)
• Events: 16
• Custom errors: 36
• Explicit guard checks: 65 require! validations

Contract State Model

• EscrowFactory (113 bytes): global authority config (authority, treasury, oracle), challenge_count, day_length_seconds, bump
• ChallengeEscrow (226 bytes): per-challenge config + lifecycle + payout accounting (stake_amount, total_days, threshold_bps, status, timestamps, winner/loser counters, forfeiture and remainder tracking, claim counters, bump)
• Participant (82 bytes): per-user challenge state (stake_deposited, proof_days, is_winner, is_settled, claim flags, bump)

PDA Model

• Factory PDA: ["factory"]