Skip to content

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