fhenix-encrypted-inputs

Warn

Audited by Snyk on Jun 22, 2026

Risk Level: MEDIUM
Full Analysis

MEDIUM W009: Direct money access capability detected (payment gateways, crypto, banking).

  • Direct money access detected (high risk: 1.00). The documentation includes a concrete "transfer" Solidity example that converts encrypted user inputs (InEuint32/InEaddress) into compute types and then updates account balances via FHE.add/FHE.sub and _updateBalance. The AI prompt explicitly asks to write a Solidity function that accepts encrypted address and amount, converts them with FHE.asE…, updates state, and grants ACL access. This is a specific, built-in mechanism to move value within a contract (on-chain token/balance transfers), i.e. direct financial execution on a blockchain contract.

Issues (1)

W009
MEDIUM

Direct money access capability detected (payment gateways, crypto, banking).

Audit Metadata
Risk Level
MEDIUM
Analyzed
Jun 22, 2026, 07:10 PM
Issues
1
Security Audit — snyk — fhenix-encrypted-inputs