Security
Security Model
Prova was designed with STRIDE analysis from day one. Every threat vector has a mitigating control.
STRIDE
Spoofing
Ed25519 signature verification on-chain — every attestation must be signed by the agent key.
Tampering
Immutable Solana accounts — no update instruction exists for attestation accounts.
Repudiation
Cryptographic signature linked to agent PDA — agent cannot deny issuance.
Information Disclosure
Privacy mode via Vanish Core opt-in — payload hash is public but content is encrypted.
Denial of Service
Fee-based prioritization — spam is economically bounded by SOL fees.
Elevation of Privilege
Authority checks in every instruction — no admin backdoors in program code.
Audit
Audit Status
External security audit by Otter Security / Halborn is planned pre-mainnet. Bug bounty program will launch at mainnet.
To report a security issue: security@prova.io